summaryrefslogtreecommitdiff
path: root/compiler/InterpreterExpansion.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-30Remove the cps.eval_result typeSon Ho1-4/+3
2024-05-30Remove the options from the functions synthesizing the symbolic ASTSon Ho1-4/+3
2024-05-24Rename meta into spanAymeric Fromherz1-7/+7
2024-05-23Update the interpreter so that it is not written in CPS style (#120)Escherichia1-29/+17
2024-03-28formattingEscherichia1-4/+15
2024-03-28Inverted meta and config argument orders (from meta -> config to config -> meta)Escherichia1-8/+8
2024-03-28WIP: translate.ml and extract.ml do not compile. Some assert left to do and w...Escherichia1-4/+6
2023-11-27Fix the issues with the cross-references for OCaml docSon Ho1-1/+1
2023-11-21Rename PrimitiveValues to ValuesSon Ho1-1/+0
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-31/+15
2023-02-03Fix the comments for ocamldocSon Ho1-1/+1
2022-11-10Reorganize branching symbolic expansions to prepare for the join operationSon Ho1-21/+55
2022-11-10Reorganize the symoblic expansions to separate the branching/non-branching onesSon Ho1-12/+6
2022-11-07Add some .mli filesSon Ho1-0/+73
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 23:28:48 +0000