summaryrefslogtreecommitdiff
path: root/compiler (unfollow)
Commit message (Expand)AuthorFilesLines
2022-10-28Move some files to the Charon projectSon Ho29-3486/+57
2022-10-27Reorganize Print.mlSon Ho4-270/+279
2022-10-27Reformat the codeSon Ho7-22/+68
2022-10-27Fix some comment referencesSon Ho6-17/+19
2022-10-27Move constant_value to PrimitiveValues.mlSon Ho20-156/+183
2022-10-27Rename driver.ml to Driver.mlSon Ho2-1/+1
2022-10-27Update the README and a commentSon Ho1-2/+3
2022-10-27Reorganize a bit the projectSon Ho57-0/+24491