summaryrefslogtreecommitdiff
path: root/src/SynthesizeSymbolic.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Reformat the project with duneSon Ho2022-09-221-5/+3
|
* Corrected translation without using functions, remaining bug in hashmap ↵Sidney Congard2022-08-101-0/+6
| | | | translation
* Improve the generation of names for given back valuesSon Ho2022-04-211-3/+3
|
* Rename CFIM to LLBCSon Ho2022-03-031-1/+1
|
* Remove the Aggregated variant from SymbolicAst.meta as it is included inSon Ho2022-01-281-6/+0
| | | | the Assignment variant
* Generate meta-information for assignments in the symbolic ASTSon Ho2022-01-271-0/+6
|
* Rename the meta-places to [mplace] and update some commentsSon Ho2022-01-271-19/+23
|
* Add meta information for the variable names in SymbolicAstSon Ho2022-01-271-16/+45
|
* Cleanup a bit by removing useless `open`Son Ho2022-01-271-2/+0
|
* Make progress on SymbolicToPure.translate_end_abstractionSon Ho2022-01-251-8/+11
|
* Make good progress on SymbolicToPure.translate_expansionSon Ho2022-01-251-23/+16
|
* Finish updating the calls to the synthesis functions to generate theSon Ho2022-01-211-2/+38
| | | | symbolic AST
* Start working on the generation of the symbolic ASTSon Ho2022-01-211-0/+89