Permalink
Commits on May 5, 2014
  1. Less locations produced

    committed May 5, 2014
  2. Warnings added + cleaned

    committed May 5, 2014
Commits on May 2, 2014
  1. env printing !

    committed May 2, 2014
Commits on Apr 29, 2014
  1. Test samples

    committed Apr 29, 2014
Commits on Apr 22, 2014
  1. Recursivity termination

    committed Apr 22, 2014
Commits on Mar 21, 2014
  1. Merge pull request #9 from chambart/master

    Less widening
    committed Mar 21, 2014
  2. Less widening

    chambart committed Mar 21, 2014
Commits on Mar 19, 2014
  1. reverting to original place

    committed Mar 19, 2014
  2. Environment indirection, Allocator separation

    A level of indirection was added to the environment so that references could be well supported.
    To make it work, several accessors or setters were added and the allocating
    primitives (callable from a let rec) were separated from the other primitives.
    
    Also, data printing is now specified in a separate file.
    committed Mar 19, 2014
Commits on Mar 18, 2014
  1. Maintaining bgrapha

    committed Mar 18, 2014
Commits on Mar 17, 2014
  1. Making exn_tid global

    committed Mar 17, 2014
Commits on Mar 13, 2014
  1. simplify () id printing

    committed Mar 13, 2014
  2. More varnames

    committed Mar 13, 2014
  3. Merge branch 'chambart'

    committed Mar 13, 2014
  4. Comparison corrections

    committed Mar 13, 2014
  5. Pattern matching tests

    chambart committed Mar 13, 2014
Commits on Mar 12, 2014
  1. Some more tests

    chambart committed Mar 12, 2014
  2. Fix greater or equal

    chambart committed Mar 12, 2014
  3. Fix problem with not

    chambart committed Mar 12, 2014
  4. Some more print

    chambart committed Mar 12, 2014
  5. Assert cp >= 0

    chambart committed Mar 12, 2014
  6. Print unimplemented primitive

    chambart committed Mar 12, 2014
  7. Test primitives

    Uncomment lines when fixed
    chambart committed Mar 12, 2014