Skip to content
Commits on Apr 3, 2015
  1. Update README.md

    committed Apr 3, 2015
Commits on Aug 22, 2014
  1. Update README.md

    committed Aug 22, 2014
Commits on Feb 28, 2014
  1. Update RW wrt sampling

    committed Feb 28, 2014
  2. Intro

    committed Feb 28, 2014
  3. Fair scaffolding

    committed Feb 28, 2014
  4. Modified the definition of the size for bags and sets. Do not fix it …

    …to 1000...
    
    -> Saw the bug
    committed Feb 28, 2014
  5. Version des avls avec le bug

    committed Feb 28, 2014
Commits on Feb 25, 2014
  1. Merge branch 'sample'

    committed Feb 25, 2014
Commits on Feb 19, 2014
  1. New example: skew-heaps

    committed Feb 19, 2014
  2. Wip

    committed Feb 19, 2014
  3. Zdd + Bdd

    committed Feb 19, 2014
Commits on Feb 18, 2014
  1. Merge branch 'performance'

    Conflicts:
    	src/arti.ml
    committed Feb 18, 2014
  2. Merge branch 'refs/heads/bdd'

    Conflicts:
    	src/arti.ml
    committed Feb 18, 2014
  3. Removed the inefficient combinator that was used in eval. Clearly, we

    should refrain from building big intermediate data-structures
    committed Feb 18, 2014
  4. Add the BDD example

    committed Feb 18, 2014
Commits on Feb 17, 2014
Commits on Feb 16, 2014
  1. Merge pull request #23 from braibant/graph-based

    Graph based
    committed Feb 16, 2014
Commits on Feb 14, 2014
  1. AVL (broken)

    committed Feb 14, 2014
Commits on Feb 13, 2014
  1. Merge pull request #21 from braibant/graph-based

    Graph based implementation
    committed Feb 13, 2014
  2. Close issue #14

    committed Feb 13, 2014
Commits on Feb 12, 2014
Commits on Feb 11, 2014
  1. Big modification

    - using sets implemented as lists is way too slow, so let's use a
    poor's man polymorphic sets implemented using RBTs. By the way, there
    is a problem with the current code, when it comes to the insertion of
    one element that is already there.
    - there is no real reason to use fix, I think. That is, the graph of
    dependency between types is static, so we can always compute it before
    hand. Fix would be nice if the dependencies were unknown, or dynamic,
    but this is not our case. Right now, my implementation is pretty
    disgusting, but this is a good start.
    committed Feb 11, 2014
  2. WIP

    committed Feb 11, 2014
Commits on Feb 7, 2014
  1. Typo

    committed Feb 7, 2014
Something went wrong with that request. Please try again.