summaryrefslogtreecommitdiff
path: root/compiler/Collections.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-10-28Move some files to the Charon projectSon Ho1-378/+1
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-12/+12
2022-10-20Fix the semantics of dropSon Ho1-0/+14
2022-09-22Reformat the project with duneSon Ho1-71/+0
2022-04-26Introduce the Abs expression and continue updating the codeSon Ho1-0/+5
2022-02-03Implement a micro pass to filter the box functionsSon Ho1-0/+5
2022-02-03Make more progress on implementing function extractionSon Ho1-3/+20
2022-01-29Cleanup a bitSon Ho1-0/+17
2022-01-29Make progress on PureToExtractSon Ho1-4/+4
2022-01-27Add name information upon initializing some variables in SymbolicToPureSon Ho1-0/+3
2022-01-25Implement SymbolicToPure.translate_fun_sigSon Ho1-0/+24
2022-01-24Start working on name generation for the synthesisSon Ho1-0/+207
2022-01-21Start working on the generation of the symbolic ASTSon Ho1-0/+14
2022-01-19Commit the forgotten Collections.mlSon Ho1-0/+143
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-18 21:31:21 +0000