inria-internship / engine /
..
ast.ml Unit is not a variant anymore 11 months ago
dune a more semantic representation of target piops 1 year ago
dune-project link with ocaml-compiler-libs to use the OCaml parser 1 year ago
equivalence_source_target.ml rename: node -> switch, constraint_tree -> decision_tree 11 months ago
lexer.mll finish parser support and convert all examples 1 year ago
main.ml rename: node -> switch, constraint_tree -> decision_tree 11 months ago
manual_parser.ml move the hand-written parser into a new manual_parser.ml unit 1 year ago
menhir_grammar.mly finish parser support and convert all examples 1 year ago
menhir_parser.ml OCamllex lexer and Menhir parser 1 year ago
merge_accessors.ml rename: node -> switch, constraint_tree -> decision_tree 11 months ago
ocaml_parser.ml Unit is not a variant anymore 11 months ago
source_env.ml Unit is not a variant anymore 11 months ago
source_sym_engine.ml rename: node -> switch, constraint_tree -> decision_tree 11 months ago
sym_values.ml Unit is not a variant anymore 11 months ago
target_domain.ml implement canonical_form for comparison between sym_values 1 year ago
target_sym_engine.ml rename: node -> switch, constraint_tree -> decision_tree 11 months ago