summaryrefslogtreecommitdiff
path: root/compiler/InterpreterExpansion.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement a Config.ml file which groups all the global options in referencesSon Ho2022-11-101-1/+1
* Reorganize branching symbolic expansions to prepare for the join operationSon Ho2022-11-101-54/+52
* Reorganize the symoblic expansions to separate the branching/non-branching onesSon Ho2022-11-101-57/+88
* Add some .mli filesSon Ho2022-11-071-52/+14
* Take care of some TODOsSon Ho2022-10-281-1/+1
* Fix some comment referencesSon Ho2022-10-271-1/+1
* Move constant_value to PrimitiveValues.mlSon Ho2022-10-271-3/+4
* Reorganize a bit the projectSon Ho2022-10-271-0/+733