summaryrefslogtreecommitdiff
path: root/Makefile (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-06Update the Makefile to always regenerate the cfim fileSon Ho1-2/+6
2022-01-06Update the traceSon Ho1-0/+8
2021-12-15Parsing of command-line argumentsJonathan Protzenko1-1/+1
2021-12-07Make minor modifications to the MakefileSon Ho1-5/+12
2021-12-07Add comments in the MakefileSon Ho1-0/+4
2021-12-07Move files aroundSon Ho1-2/+3
2021-12-07Update the Makefile to make sure the execution trace always remains theSon Ho1-1/+3
2021-11-02Setup the projectSon Ho1-0/+5