summaryrefslogtreecommitdiff
path: root/Makefile (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* 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