summaryrefslogtreecommitdiff
path: root/tests/misc/NoNestedBorrows.fst (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Merge branch 'main' of github.com:Kachoc/aeneas into constants-v2Sidney Congard2022-06-301-14/+14
| | | | Complete the constants extraction by making all functions fail
* Regenerate the F* filesSon Ho2022-05-151-23/+26
|
* Treat integer casts in a general mannerSon Ho2022-05-151-0/+4
|
* Regenerate a test fileSon Ho2022-05-151-6/+8
|
* Update the extraction to set the fuel to 1 in the Z3 optionsSon Ho2022-05-061-1/+1
|
* Regenerate some of the test filesSon Ho2022-05-011-5/+6
|
* Regenerate the test filesSon Ho2022-04-211-10/+8
|
* Regenerate the test filesSon Ho2022-04-201-17/+17
|
* Update the evaluation of matches for the cases where the scrutinee is aSon Ho2022-04-201-0/+14
| | | | shared loan
* Regenerate a test fileSon Ho2022-04-201-0/+20
|
* Improve variable name generationSon Ho2022-02-231-8/+8
|
* Inline more let-bindings and improve formattingSon Ho2022-02-231-24/+18
|
* Track the generated F* files from tests/miscSon Ho2022-02-231-0/+526
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-28 20:17:41 +0000