summaryrefslogtreecommitdiff
path: root/tests/fstar/hashmap_main/HashmapMain.Funs.fst (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-24Rename some subdirectories for consistencyNadrieril1-0/+0
2024-05-24Update test outputsNadrieril1-32/+32
2024-05-24Tweak a pathNadrieril1-32/+32
2024-04-04Regenerate the test filesSon Ho1-38/+32
2024-04-04Regenerate the test filesSon Ho1-6/+6
2024-04-04Regenerate the test filesSon Ho1-9/+8
2024-03-20Regenerate the codeSon Ho1-14/+13
2024-03-19Regenerate the testsSon Ho1-4/+2
2023-12-23Regenerate the filesSon Ho1-5/+5
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho1-276/+156
2023-11-27Update the generation of files for external definitions and regenerate the testsSon Ho1-1/+1
2023-11-21Regenerate the filesSon Ho1-40/+80
2023-11-21Regenerate most of the test filesSon Ho1-58/+58
2023-10-27Fix a minor issue and regenerate some F* test filesSon Ho1-283/+286
2023-09-07Regenerate the test files and fix a proofSon Ho1-5/+1
2023-08-09Update the nix flake and regenerate the codeSon Ho1-1/+1
2023-07-06Improve the generated commentsSon Ho1-40/+49
2023-06-04Make a minor fixSon Ho1-14/+8
2023-06-04Improve simplify_aggregates to introduce structure updatesSon Ho1-51/+15
2023-06-04Start updating simplify_aggregatesSon Ho1-18/+67
2023-06-04Make sure let-bindings in Lean end with line breaks and improve formattingSon Ho1-27/+28
2023-02-03Do not unfold the monadic lets for the generated F* codeSon Ho1-422/+185
2023-02-03Update the hashmap and regenerateSon Ho1-12/+5
2023-02-03Improve the pretty names generation for loopsSon Ho1-3/+3
2023-02-03Fix an issue with the names of the loop decreases clausesSon Ho1-12/+14
2023-02-03Improve the order of the loop input parametersSon Ho1-8/+8
2023-02-03Improve the heuristic to find pretty names for the variables in the loopsSon Ho1-54/+55
2023-02-03Regenerate the hashmap code and update the proofsSon Ho1-90/+164
2023-02-03Regenerate the filesSon Ho1-69/+14
2022-11-14Regenerate the files and fix the proofsSon Ho1-103/+103
2022-11-14Reorganize the project to prepare for new backendsSon Ho1-0/+0
2022-10-20Regenerate the filesSon Ho1-1/+1
2022-08-11Correct assertion for stateless globalsSidney Congard1-11/+10
2022-05-15Regenerate the F* filesSon Ho1-37/+33
2022-05-06Update the extraction to set the fuel to 1 in the Z3 optionsSon Ho1-1/+1
2022-05-05Update the hashmap_on_disk exampleSon Ho1-493/+219
2022-05-04Regenerate the F* files for hashmap_main.rsSon Ho1-180/+241
2022-04-21Regenerate the test filesSon Ho1-40/+49
2022-04-20Regenerate the test filesSon Ho1-66/+66
2022-03-05Make an update in the hash mapSon Ho1-5/+2
2022-03-04Generate hashmap_on_diskSon Ho1-0/+949
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-21 14:20:02 +0000