summaryrefslogtreecommitdiff
path: root/src/SymbolicAst.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Introduce the App expression, and make progress updating the codeSon Ho2022-04-261-1/+1
* Improve the generation of names for given back valuesSon Ho2022-04-211-2/+2
* Rename CFIM to LLBCSon Ho2022-03-031-1/+1
* Cleanup a bitSon Ho2022-02-031-1/+0
* Remove the Aggregated variant from SymbolicAst.meta as it is included inSon Ho2022-01-281-2/+0
* Generate meta-information for the assignmentsSon Ho2022-01-281-10/+10
* Generate meta-information for assignments in the symbolic ASTSon Ho2022-01-271-0/+2
* Rename the meta-places to [mplace] and update some commentsSon Ho2022-01-271-6/+6
* Add meta information for the variable names in SymbolicAstSon Ho2022-01-271-2/+33
* Make more progress on generating the symbolic AST for the backwardSon Ho2022-01-261-3/+5
* Make progress on SymbolicToPure.translate_end_abstractionSon Ho2022-01-251-0/+1
* Make good progress on SymbolicToPure.translate_expansionSon Ho2022-01-251-5/+8
* Implement SymbolicToPure.translate_fun_sigSon Ho2022-01-251-3/+9
* Make minor modificationsSon Ho2022-01-241-0/+1
* Finish updating the calls to the synthesis functions to generate theSon Ho2022-01-211-4/+10
* Start working on the generation of the symbolic ASTSon Ho2022-01-211-0/+47
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 18:30:42 +0000