summaryrefslogtreecommitdiff
path: root/Makefile (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Incorrect assumptions, incorrect recursive makeJonathan Protzenko2022-09-271-2/+7
* Add a `format` target in the MakefileSon Ho2022-09-221-0/+5
* Update MakefileSon HO2022-09-221-1/+1
* Merge branch 'main' of github.com:Kachoc/aeneas into constants-v2Sidney Congard2022-06-301-5/+10
|\
| * Make minor modificationsSon Ho2022-06-201-2/+2
| * Add makefiles to test the F* filesSon Ho2022-06-201-4/+9
* | concrete & symbolic evaluation work with new LLBC formatSidney Congard2022-06-211-1/+1
* | crude generation working - missing unit tests & special constants handlingSidney Congard2022-06-131-2/+5
|/
* Update the Makefile for the betreeSon Ho2022-05-061-1/+5
* Fix minor issues for the translation of hashmap_on_diskSon Ho2022-03-041-18/+22
* Fix a minor issue with external function declarationsSon Ho2022-03-041-1/+4
* Make minor modifications in the MakefileSon Ho2022-03-031-3/+3
* Update the Makefile to call Charon's Makefile on the testsSon Ho2022-03-031-15/+6
* Change the extension of the serialized files to .llbcSon Ho2022-03-031-15/+15
* Fix minor issues due to updates in CharonSon Ho2022-02-281-1/+2
* Add the betree_nll.rs testSon Ho2022-02-261-0/+13
* Start updating the Makefile for the NLL testsSon Ho2022-02-261-5/+17
* Finish writing the code which generates the state-error monadSon Ho2022-02-241-1/+1
* Add an option to control the translation to error monad or state-errorSon Ho2022-02-231-9/+10
* Make minor modifications to the MakefileSon Ho2022-02-231-1/+4
* Add support for "fused" match branchesSon Ho2022-02-221-1/+2
* Merge branch 'main' of github.com:Kachoc/aeneas into mainSon Ho2022-02-181-3/+3
|\
| * More stuff for the paper + interactive mode makefileJonathan Protzenko2022-02-171-3/+3
* | Update the MakefileSon Ho2022-02-181-3/+4
|/
* Add an option to deactivate the invariant checksSon Ho2022-02-101-1/+1
* Move the generated files to subdirectoriesSon Ho2022-02-101-1/+4
* Cleanup a bitSon Ho2022-02-091-1/+1
* Implement extration to different filesSon Ho2022-02-091-1/+1
* Add more command line arguments for the decrease clausesSon Ho2022-02-091-2/+2
* Fix the Makefile to make sure the translation options are correctSon Ho2022-02-091-2/+3
* Update the Makefile to make it more genericSon Ho2022-02-091-14/+24
* Update the Makefile so as not to generate and check traces anymoreSon Ho2022-02-091-17/+2
* Make minor modifications with regards to unit testsSon Ho2022-02-091-1/+1
* Update the Makefile to add hashmap as a test and fix some issuesSon Ho2022-02-081-1/+7
* Make a minor modifications to Makefile and main.mlSon Ho2022-02-081-1/+1
* Make progress on implementing support for types and functions likeSon Ho2022-02-081-5/+5
* Update the MakefileSon Ho2022-02-041-10/+12
* Fix an issue with the assumed box functions being considered as monadicSon Ho2022-02-031-4/+4
* Make minor modificationsSon Ho2022-02-031-2/+4
* Update the MakefileSon Ho2022-01-291-4/+3
* Change the test file to no_nested_borrows.cfimSon Ho2022-01-261-3/+8
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 17:52:01 +0000