summaryrefslogtreecommitdiff
path: root/src/main.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-27Implement the borrow_content case of end_abstraction_borrowsSon Ho1-1/+1
2022-01-26Fix various issuesSon Ho1-2/+2
2022-01-26Test the generation of the symbolic ASTSon Ho1-1/+1
2022-01-26Start working on signatures for the assumed functionsSon Ho1-1/+1
2022-01-26Fix a typoSon Ho1-1/+1
2022-01-26Remove SymbolicAstUtils.mlSon Ho1-1/+0
2022-01-25Implement SymbolicToPure.translate_fun_sigSon Ho1-1/+2
2022-01-24Start working on name generation for the synthesisSon Ho1-0/+1
2022-01-24Start working on printing for symbolic ASTSon Ho1-0/+2
2022-01-21Add invariant checks at the end of [end_borrow] and [end_abstraction]Son Ho1-1/+1
2022-01-19Start working on Pure.mlSon Ho1-0/+1
2022-01-18Start working on TypesAnalysisSon Ho1-0/+1
2022-01-14Implement greedy expansion of symbolic variables and expansion beforeSon Ho1-1/+2
2022-01-14Start working on greedy symbolic value expansion and expansion beforeSon Ho1-2/+10
2022-01-12Update end_borrow to check if there are loans in borrowed valuesSon Ho1-1/+1
2022-01-07Make more modifications to loggingSon Ho1-2/+5
2022-01-07Add logging information for borrowsSon Ho1-1/+2
2022-01-07Make more improvements to loggingSon Ho1-0/+1
2022-01-07Improve logging and introduce eval_operands_prepareSon Ho1-0/+8
2022-01-06Make minor modificationsSon Ho1-1/+1
2022-01-06Implement tests for the symbolic interpreterSon Ho1-2/+5
2022-01-06Make good progress on implementing utilities to test symbolic executionSon Ho1-1/+1
2022-01-05Cleanup a bitSon Ho1-6/+0
2022-01-05Introduce the type_context definitionSon Ho1-17/+23
2022-01-04one remarkJonathan Protzenko1-1/+2
2021-12-15Parsing of command-line argumentsJonathan Protzenko1-1/+25
2021-12-01Cleanup a bitSon Ho1-1/+1
2021-11-29Start deriving formatters for debuggingSon Ho1-0/+4
2021-11-29Improve formattingSon Ho1-1/+1
2021-11-29Test the unit functionsSon Ho1-1/+5
2021-11-29Debug pretty-printingSon Ho1-1/+1
2021-11-29Fix some issues and start printing modulesSon Ho1-4/+4
2021-11-29Move some definitions from CfimOfJson.ml to a new Modules.mlSon Ho1-0/+4
2021-11-29Start working logging and make progress on printing ASTsSon Ho1-1/+1
2021-11-26Update the env definition to make the frames easier to manipulateSon Ho1-0/+1
2021-11-25Make a minor modificationSon Ho1-1/+0
2021-11-23Activate exception backtraceSon Ho1-0/+5
2021-11-22Implement end_borrow_get_borrow_in_envSon Ho1-3/+1
2021-11-19Start working on pretty-printingSon Ho1-0/+2
2021-11-18Start working on end_borrowSon Ho1-0/+1
2021-11-18Cleanup moreSon Ho1-14/+0
2021-11-18Cleanup a bitSon Ho1-28/+0
2021-11-18Remove the automatic derivation of Yojson (de)serializersSon Ho1-2/+0
2021-11-18Make the json deserializer workSon Ho1-3/+17
2021-11-17Start implementing by hand the json deserializersSon Ho1-0/+4
2021-11-17Also generate to_yojson functionsSon Ho1-1/+7
2021-11-17Make minor modificationsSon Ho1-2/+6
2021-11-17Make progress on deserializing modulesSon Ho1-26/+20
2021-11-17Use [@@ëerive of_json] on all the typesSon Ho1-1/+1
2021-11-17Start working on json deserializationSon Ho1-1/+15
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 03:02:23 +0000