summaryrefslogtreecommitdiff
path: root/Makefile (unfollow)
Commit message (Expand)AuthorFilesLines
2022-11-11Add a `bin` folderSon Ho1-4/+9
2022-11-11Make the Nix build workSon Ho1-29/+63
2022-11-10Make a minor modificationSon Ho1-1/+0
2022-11-10Implement a Config.ml file which groups all the global options in referencesSon Ho1-4/+4
2022-11-10Implement the generation of stateful backward functions (controlled by an opt...Son Ho1-6/+28
2022-10-28Update the MakefileSon Ho1-2/+2
2022-10-27Reformat the codeSon Ho1-1/+1
2022-10-27Move constant_value to PrimitiveValues.mlSon Ho1-0/+4
2022-10-27Reorganize a bit the projectSon Ho1-9/+9
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-1/+1
2022-10-26Start generating documentationSon Ho1-4/+13
2022-10-18Update the MakefileSon Ho1-3/+7
2022-10-13Use "polonius" in the names instead of "nll"Son Ho1-8/+9
2022-10-13Make minor modifications to the MakefileSon Ho1-5/+5
2022-09-27Incorrect assumptions, incorrect recursive makeJonathan Protzenko1-2/+7
2022-09-22Add a `format` target in the MakefileSon Ho1-0/+5
2022-09-22Update MakefileSon HO1-1/+1
2022-06-21concrete & symbolic evaluation work with new LLBC formatSidney Congard1-1/+1
2022-06-20Make minor modificationsSon Ho1-2/+2
2022-06-20Add makefiles to test the F* filesSon Ho1-4/+9
2022-06-13crude generation working - missing unit tests & special constants handlingSidney Congard1-2/+5
2022-05-06Update the Makefile for the betreeSon Ho1-1/+5
2022-03-04Fix minor issues for the translation of hashmap_on_diskSon Ho1-18/+22
2022-03-04Fix a minor issue with external function declarationsSon Ho1-1/+4
2022-03-03Make minor modifications in the MakefileSon Ho1-3/+3
2022-03-03Update the Makefile to call Charon's Makefile on the testsSon Ho1-15/+6
2022-03-03Change the extension of the serialized files to .llbcSon Ho1-15/+15
2022-02-28Fix minor issues due to updates in CharonSon Ho1-1/+2
2022-02-26Add the betree_nll.rs testSon Ho1-0/+13
2022-02-26Start updating the Makefile for the NLL testsSon Ho1-5/+17
2022-02-24Finish writing the code which generates the state-error monadSon Ho1-1/+1
2022-02-23Add an option to control the translation to error monad or state-errorSon Ho1-9/+10
2022-02-23Make minor modifications to the MakefileSon Ho1-1/+4
2022-02-22Add support for "fused" match branchesSon Ho1-1/+2
2022-02-18Update the MakefileSon Ho1-3/+4
2022-02-17More stuff for the paper + interactive mode makefileJonathan Protzenko1-3/+3
2022-02-10Add an option to deactivate the invariant checksSon Ho1-1/+1
2022-02-10Move the generated files to subdirectoriesSon Ho1-1/+4
2022-02-09Cleanup a bitSon Ho1-1/+1
2022-02-09Implement extration to different filesSon Ho1-1/+1
2022-02-09Add more command line arguments for the decrease clausesSon Ho1-2/+2
2022-02-09Fix the Makefile to make sure the translation options are correctSon Ho1-2/+3
2022-02-09Update the Makefile to make it more genericSon Ho1-14/+24
2022-02-09Update the Makefile so as not to generate and check traces anymoreSon Ho1-17/+2
2022-02-09Make minor modifications with regards to unit testsSon Ho1-1/+1
2022-02-08Update the Makefile to add hashmap as a test and fix some issuesSon Ho1-1/+7
2022-02-08Make a minor modifications to Makefile and main.mlSon Ho1-1/+1
2022-02-08Make progress on implementing support for types and functions likeSon Ho1-5/+5
2022-02-04Update the MakefileSon Ho1-10/+12
2022-02-03Fix an issue with the assumed box functions being considered as monadicSon Ho1-4/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 11:53:22 +0000