GitBucket
|
rename: node -> switch, constraint_tree -> decision_tree
To be coherent with the submission |
|---|
|
|
| engine/equivalence_source_target.ml |
|---|
| engine/main.ml |
|---|
| engine/merge_accessors.ml |
|---|
| engine/source_sym_engine.ml |
|---|
| engine/target_sym_engine.ml |
|---|