summaryrefslogtreecommitdiff
path: root/Makefile (unfollow)
Commit message (Expand)AuthorFilesLines
2022-02-10Add an option to deactivate the invariant checksSon Ho1-1/+1
2022-02-10Move the generated files to subdirectoriesSon Ho1-1/+4
2022-02-09Cleanup a bitSon Ho1-1/+1
2022-02-09Implement extration to different filesSon Ho1-1/+1
2022-02-09Add more command line arguments for the decrease clausesSon Ho1-2/+2
2022-02-09Fix the Makefile to make sure the translation options are correctSon Ho1-2/+3
2022-02-09Update the Makefile to make it more genericSon Ho1-14/+24
2022-02-09Update the Makefile so as not to generate and check traces anymoreSon Ho1-17/+2
2022-02-09Make minor modifications with regards to unit testsSon Ho1-1/+1
2022-02-08Update the Makefile to add hashmap as a test and fix some issuesSon Ho1-1/+7
2022-02-08Make a minor modifications to Makefile and main.mlSon Ho1-1/+1
2022-02-08Make progress on implementing support for types and functions likeSon Ho1-5/+5
2022-02-04Update the MakefileSon Ho1-10/+12
2022-02-03Fix an issue with the assumed box functions being considered as monadicSon Ho1-4/+4
2022-02-03Make minor modificationsSon Ho1-2/+4
2022-01-29Update the MakefileSon Ho1-4/+3
2022-01-26Change the test file to no_nested_borrows.cfimSon Ho1-3/+8
2022-01-06Update the Makefile to always regenerate the cfim fileSon Ho1-2/+6
2022-01-06Update the traceSon Ho1-0/+8
2021-12-15Parsing of command-line argumentsJonathan Protzenko1-1/+1
2021-12-07Make minor modifications to the MakefileSon Ho1-5/+12
2021-12-07Add comments in the MakefileSon Ho1-0/+4
2021-12-07Move files aroundSon Ho1-2/+3
2021-12-07Update the Makefile to make sure the execution trace always remains theSon Ho1-1/+3
2021-11-02Setup the projectSon Ho1-0/+5