summaryrefslogtreecommitdiff
path: root/Makefile (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update the Makefile to add hashmap as a test and fix some issuesSon Ho2022-02-081-1/+7
|
* 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
| | | | Option and Vec
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 14:50:15 +0000