| Commit message (Expand) | Author | Age | Files | Lines |
* | Move the generated files to subdirectories | Son Ho | 2022-02-10 | 1 | -1/+4 |
* | Cleanup a bit | Son Ho | 2022-02-09 | 1 | -1/+1 |
* | Implement extration to different files | Son Ho | 2022-02-09 | 1 | -1/+1 |
* | Add more command line arguments for the decrease clauses | Son Ho | 2022-02-09 | 1 | -2/+2 |
* | Fix the Makefile to make sure the translation options are correct | Son Ho | 2022-02-09 | 1 | -2/+3 |
* | Update the Makefile to make it more generic | Son Ho | 2022-02-09 | 1 | -14/+24 |
* | Update the Makefile so as not to generate and check traces anymore | Son Ho | 2022-02-09 | 1 | -17/+2 |
* | Make minor modifications with regards to unit tests | Son Ho | 2022-02-09 | 1 | -1/+1 |
* | Update the Makefile to add hashmap as a test and fix some issues | Son Ho | 2022-02-08 | 1 | -1/+7 |
* | Make a minor modifications to Makefile and main.ml | Son Ho | 2022-02-08 | 1 | -1/+1 |
* | Make progress on implementing support for types and functions like | Son Ho | 2022-02-08 | 1 | -5/+5 |
* | Update the Makefile | Son Ho | 2022-02-04 | 1 | -10/+12 |
* | Fix an issue with the assumed box functions being considered as monadic | Son Ho | 2022-02-03 | 1 | -4/+4 |
* | Make minor modifications | Son Ho | 2022-02-03 | 1 | -2/+4 |
* | Update the Makefile | Son Ho | 2022-01-29 | 1 | -4/+3 |
* | Change the test file to no_nested_borrows.cfim | Son Ho | 2022-01-26 | 1 | -3/+8 |
* | Update the Makefile to always regenerate the cfim file | Son Ho | 2022-01-06 | 1 | -2/+6 |
* | Update the trace | Son Ho | 2022-01-06 | 1 | -0/+8 |
* | Parsing of command-line arguments | Jonathan Protzenko | 2021-12-15 | 1 | -1/+1 |
* | Make minor modifications to the Makefile | Son Ho | 2021-12-07 | 1 | -5/+12 |
* | Add comments in the Makefile | Son Ho | 2021-12-07 | 1 | -0/+4 |
* | Move files around | Son Ho | 2021-12-07 | 1 | -2/+3 |
* | Update the Makefile to make sure the execution trace always remains the | Son Ho | 2021-12-07 | 1 | -1/+3 |
* | Setup the project | Son Ho | 2021-11-02 | 1 | -0/+5 |