Suzanne Dupéron 2372f30ed3 ADT generator: promote until-clean

2020-04-29 21:36:55 +01:00

..

.gitignore

ADT generator: promote until-clean

2020-04-29 21:36:55 +01:00

amodule_utils.ml

Adt generator: split structure into smaller structures; use the monad; reordered function, state and value arguments to match the order of List.fold_left.

2020-04-13 19:23:12 +02:00

amodule.ml

moved adt_generator tests to a separate folder

2020-04-13 19:23:12 +02:00

dune

ADT generator: promote until-clean

2020-04-29 21:36:55 +01:00

fold.ml

moved adt_generator tests to a separate folder

2020-04-13 19:23:12 +02:00

test_adt_generator.ml

moved adt_generator tests to a separate folder

2020-04-13 19:23:12 +02:00

use_a_fold.ml

moved core and solver types to the AST, removed functor hell (Map, Set, UnionFind)

2020-04-29 21:32:50 +01:00