summaryrefslogtreecommitdiff
path: root/Makefile (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Make a minor modifications to Makefile and main.mlSon Ho2022-02-081-1/+1
* Make progress on implementing support for types and functions likeSon Ho2022-02-081-5/+5
* Update the MakefileSon Ho2022-02-041-10/+12
* Fix an issue with the assumed box functions being considered as monadicSon Ho2022-02-031-4/+4
* Make minor modificationsSon Ho2022-02-031-2/+4
* Update the MakefileSon Ho2022-01-291-4/+3
* Change the test file to no_nested_borrows.cfimSon Ho2022-01-261-3/+8
* Update the Makefile to always regenerate the cfim fileSon Ho2022-01-061-2/+6
* Update the traceSon Ho2022-01-061-0/+8
* Parsing of command-line argumentsJonathan Protzenko2021-12-151-1/+1
* Make minor modifications to the MakefileSon Ho2021-12-071-5/+12
* Add comments in the MakefileSon Ho2021-12-071-0/+4
* Move files aroundSon Ho2021-12-071-2/+3
* Update the Makefile to make sure the execution trace always remains theSon Ho2021-12-071-1/+3
* Setup the projectSon Ho2021-11-021-0/+5
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 14:05:22 +0000