Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Feb 4, 2013
  1. * update draft and notes

    Phil Nguyen authored
Commits on Feb 1, 2013
  1. * render stuff using customized mix-fix

    Phil Nguyen authored
  2. * edit draft

    Phil Nguyen authored
  3. * edit draft + language + tests

    Phil Nguyen authored
Commits on Jan 30, 2013
  1. * update draft

    Phil Nguyen authored
  2. * fix draft's require

    Phil Nguyen authored
  3. * update draft

    Phil Nguyen authored
  4. * start paper draft

    Phil Nguyen authored
Commits on Jan 29, 2013
  1. * refactor rules

    Phil Nguyen authored
  2. * fix missed blame in havoc

    Phil Nguyen authored
Commits on Jan 18, 2013
Commits on Jan 14, 2013
  1. * render FC also

    Phil Nguyen authored
  2. * update notes

    Phil Nguyen authored
  3. * add tests

    Phil Nguyen authored
  4. * fix language

    Phil Nguyen authored
Commits on Jan 13, 2013
  1. * restrict flat contract's syntax to value

    Phil Nguyen authored
Commits on Jan 11, 2013
  1. * update

    Phil Nguyen authored
Commits on Dec 20, 2012
  1. * remove unnecessary line for acc-o

    Phil Nguyen authored
  2. * add experiment for alternative implementation

    Phil Nguyen authored
Commits on Dec 19, 2012
  1. * add signature for APP and MON relations

    Phil Nguyen authored
  2. * update notes + fix stuff

    Phil Nguyen authored
  3. * implement machine semantics + fix bugs

    Phil Nguyen authored
Commits on Dec 17, 2012
  1. * semantics for language with symbolic value

    Phil Nguyen authored
  2. * redefine eval function in terms of judgment-form

    Phil Nguyen authored
  3. * rename + rewrite some metafunctions

    Phil Nguyen authored
  4. * rewrite rules

    Phil Nguyen authored
Commits on Dec 16, 2012
  1. * update cpcf with new contract evaluation rules

    Phil Nguyen authored
Commits on Dec 10, 2012
  1. * update note

    Phil Nguyen authored
  2. * update note

    Phil Nguyen authored
  3. * fix bugs

    Phil Nguyen authored
  4. * fix machine

    Phil Nguyen authored
Commits on Dec 9, 2012
  1. * write big-step for simpler language (cpcf)

    Phil Nguyen authored
  2. * simplify path representation

    Phil Nguyen authored
  3. * fix language

    Phil Nguyen authored
Something went wrong with that request. Please try again.