summaryrefslogtreecommitdiff
path: root/src/main.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Start working on ExtractAstSon Ho2022-01-281-0/+1
* Make a lot of small modificationsSon Ho2022-01-281-0/+1
* Move some definitions from SymbolicToPure to PureToExtractSon Ho2022-01-271-1/+1
* Add more printing facilities and fix minor bugsSon Ho2022-01-271-1/+3
* Make minor modifications and add commentsSon Ho2022-01-271-1/+4
* Start testing translation to pureSon Ho2022-01-271-3/+7
* Cleanup a bit by removing useless `open`Son Ho2022-01-271-2/+0
* Implement Translate.translate_functionSon Ho2022-01-271-0/+1
* Implement the borrow_content case of end_abstraction_borrowsSon Ho2022-01-271-1/+1
* Fix various issuesSon Ho2022-01-261-2/+2
* Test the generation of the symbolic ASTSon Ho2022-01-261-1/+1
* Start working on signatures for the assumed functionsSon Ho2022-01-261-1/+1
* Fix a typoSon Ho2022-01-261-1/+1
* Remove SymbolicAstUtils.mlSon Ho2022-01-261-1/+0
* Implement SymbolicToPure.translate_fun_sigSon Ho2022-01-251-1/+2
* Start working on name generation for the synthesisSon Ho2022-01-241-0/+1
* Start working on printing for symbolic ASTSon Ho2022-01-241-0/+2
* Add invariant checks at the end of [end_borrow] and [end_abstraction]Son Ho2022-01-211-1/+1
* Start working on Pure.mlSon Ho2022-01-191-0/+1
* Start working on TypesAnalysisSon Ho2022-01-181-0/+1
* Implement greedy expansion of symbolic variables and expansion beforeSon Ho2022-01-141-1/+2
* Start working on greedy symbolic value expansion and expansion beforeSon Ho2022-01-141-2/+10
* Update end_borrow to check if there are loans in borrowed valuesSon Ho2022-01-121-1/+1
* Merge remote-tracking branch 'refs/remotes/origin/main'Jonathan Protzenko2022-01-101-2/+15
|\
| * Make more modifications to loggingSon Ho2022-01-071-2/+5
| * Add logging information for borrowsSon Ho2022-01-071-1/+2
| * Make more improvements to loggingSon Ho2022-01-071-0/+1
| * Improve logging and introduce eval_operands_prepareSon Ho2022-01-071-0/+8
* | Merge remote-tracking branch 'refs/remotes/origin/main'Jonathan Protzenko2022-01-061-23/+26
|\|
| * Make minor modificationsSon Ho2022-01-061-1/+1
| * Implement tests for the symbolic interpreterSon Ho2022-01-061-2/+5
| * Make good progress on implementing utilities to test symbolic executionSon Ho2022-01-061-1/+1
| * Cleanup a bitSon Ho2022-01-051-6/+0
| * Introduce the type_context definitionSon Ho2022-01-051-17/+23
* | one remarkJonathan Protzenko2022-01-041-1/+2
|/
* Parsing of command-line argumentsJonathan Protzenko2021-12-151-1/+25
* Cleanup a bitSon Ho2021-12-011-1/+1
* Start deriving formatters for debuggingSon Ho2021-11-291-0/+4
* Improve formattingSon Ho2021-11-291-1/+1
* Test the unit functionsSon Ho2021-11-291-1/+5
* Debug pretty-printingSon Ho2021-11-291-1/+1
* Fix some issues and start printing modulesSon Ho2021-11-291-4/+4
* Move some definitions from CfimOfJson.ml to a new Modules.mlSon Ho2021-11-291-0/+4
* Start working logging and make progress on printing ASTsSon Ho2021-11-291-1/+1
* Update the env definition to make the frames easier to manipulateSon Ho2021-11-261-0/+1
* Make a minor modificationSon Ho2021-11-251-1/+0
* Activate exception backtraceSon Ho2021-11-231-0/+5
* Implement end_borrow_get_borrow_in_envSon Ho2021-11-221-3/+1
* Start working on pretty-printingSon Ho2021-11-191-0/+2
* Start working on end_borrowSon Ho2021-11-181-0/+1