Skip to content
Commits on Apr 9, 2013
Commits on Apr 5, 2013
  1. Add start of proof

    committed Apr 5, 2013
  2. add old writeup

    committed Apr 5, 2013
Commits on Feb 2, 2013
Commits on Feb 1, 2013
Commits on Jan 30, 2013
  1. Add replaceVars when a symbolic function becomes concrete. Doesn't se…

    …em to do anything; don't know why.
    committed Jan 30, 2013
Commits on Dec 24, 2012
  1. print constraints

    committed Dec 24, 2012
Commits on Dec 22, 2012
  1. fix a little bit

    committed Dec 22, 2012
Commits on Dec 21, 2012
Commits on Dec 12, 2012
  1. more progress

    committed Dec 12, 2012
  2. some more scontext progress

    Ben Blum committed Dec 12, 2012
Commits on Dec 11, 2012
  1. Convert checker's Context to SContext

    Ben Blum committed Dec 11, 2012
Commits on Nov 27, 2012
  1. fix a bunch, but not enough

    committed Nov 27, 2012
  2. Add possibility for unknowns in types; build broken

    Ben Blum committed Nov 26, 2012
  3. add more constriant boilerplate

    Ben Blum committed Nov 26, 2012
Commits on Nov 26, 2012
  1. Add constraints definitions

    Ben Blum committed Nov 26, 2012
  2. Fix build after a year of disuse

    Ben Blum committed Nov 26, 2012
  3. add todo

    committed Nov 26, 2012
Commits on Oct 30, 2012
  1. Initial commit

    committed Oct 30, 2012
Commits on Dec 15, 2011
Commits on Dec 14, 2011
  1. fix annotation effect compare bug

    committed Dec 14, 2011
Commits on Dec 10, 2011
  1. aan to bin/aan

    committed Dec 10, 2011
  2. add get_language_c

    committed Dec 10, 2011
  3. add note at top of readme

    committed Dec 10, 2011
  4. add link to worldmap

    committed Dec 10, 2011
  5. add world map to readme

    committed Dec 10, 2011
  6. add more test cases

    committed Dec 10, 2011
  7. add basecode

    committed Dec 10, 2011
Commits on Dec 7, 2011
  1. check for null pointer cast

    committed Dec 7, 2011
Commits on Dec 6, 2011
  1. aaa -> aan

    committed Dec 6, 2011
Something went wrong with that request. Please try again.