Suzanne Dupéron
|
942000065b
|
Weakly-typed creation of ADT elements
|
2020-06-24 02:07:02 +01:00 |
|
Suzanne Dupéron
|
4a860830b9
|
bugfix: replace very bogus implementation of add_list with a clean one
|
2020-05-29 21:23:11 +02:00 |
|
Suzanne Dupéron
|
8e9ee21cd4
|
Fix Not_found bug (remove redeclaration of the exception)
|
2020-04-29 21:33:07 +01:00 |
|
Suzanne Dupéron
|
0580f21896
|
moved core and solver types to the AST, removed functor hell (Map, Set, UnionFind)
|
2020-04-29 21:32:50 +01:00 |
|
Suzanne Dupéron
|
0704676724
|
Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281
|
2020-04-13 19:23:12 +02:00 |
|