Permalink
Switch branches/tags
Nothing to show
Commits on Mar 30, 2016
Commits on Sep 27, 2014
  1. Merge pull request #24 from philnguyen/fix-translation

    dvanhorn committed Sep 27, 2014
    encode (x = y => fx = fy), fixing previous false counterexample
Commits on Sep 24, 2014
  1. Merge pull request #23 from philnguyen/fix-havoc-memoization

    dvanhorn committed Sep 24, 2014
    fix unwatnted memoization + add example illustrating deficiency
Commits on Sep 18, 2014
  1. Merge pull request #22 from philnguyen/finite-maps

    dvanhorn committed Sep 18, 2014
    remember finite mappings in opaque functions
Commits on Sep 16, 2014
  1. Merge pull request #21 from philnguyen/improve-counterexample

    dvanhorn committed Sep 16, 2014
    either print fully concrete counterexample or admit we fail to find one
Commits on Sep 15, 2014
  1. Merge pull request #20 from philnguyen/eval-counterexample

    dvanhorn committed Sep 15, 2014
    print out (possible) conterexample at error/blame message
Commits on Sep 13, 2014
  1. Merge pull request #19 from philnguyen/counterexample

    dvanhorn committed Sep 13, 2014
    Modify `havoc` to build up counter-example
Commits on Sep 12, 2014
  1. Merge pull request #17 from philnguyen/fix-havoc-and-div

    dvanhorn committed Sep 12, 2014
    fix pattern in scpcf's havoc rule + fix implementation of `/`
Commits on Sep 11, 2014
  1. Moar tests.

    dvanhorn committed Sep 11, 2014
  2. F.

    dvanhorn committed Sep 11, 2014
  3. Comment on lift.

    dvanhorn committed Sep 11, 2014
  4. Merge pull request #16 from philnguyen/fix-alloc-compress-scpcf

    dvanhorn committed Sep 11, 2014
    compress `alloc` before splitting expression into context/redex
  5. Merge pull request #14 from philnguyen/fix-pcf-delta

    dvanhorn committed Sep 11, 2014
    fix implementation of `even?` and `odd?`
Commits on Sep 10, 2014
  1. Another test.

    dvanhorn committed Sep 10, 2014
  2. Add some prim semantics.

    dvanhorn committed Sep 10, 2014
  3. Compress alloc steps.

    dvanhorn committed Sep 10, 2014