summaryrefslogtreecommitdiff
path: root/Makefile (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | same
* Setup the projectSon Ho2021-11-021-0/+5