summaryrefslogtreecommitdiff
path: root/tests/coq/misc/Constants.v (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-24Tweak a pathNadrieril1-31/+31
2024-04-04Regenerate the test filesSon Ho1-18/+17
2024-03-18Regenerate the test filesSon Ho1-18/+18
2024-03-18Regenerate the constants tests and update Primitives/Base.leanSon Ho1-18/+35
2024-03-11Update the generated filesSon Ho1-29/+30
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho1-9/+9
2023-11-27Generate a dedicated file for the external typesSon Ho1-1/+1
2023-11-21Regenerate the filesSon Ho1-28/+56
2023-11-21Regenerate most of the test filesSon Ho1-1/+1
2023-11-09Regenerate the Coq test filesSon Ho1-5/+5
2023-10-27Regenerate the Coq test filesSon Ho1-29/+27
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-08-04Update the Makefile and regenerate the test filesSon Ho1-0/+2
2023-07-06Improve the generated commentsSon Ho1-8/+8
2023-06-04Make good progress on generating code for HOL4Son Ho1-13/+13
2023-06-04Start updating simplify_aggregatesSon Ho1-3/+3
2023-06-04Make sure let-bindings in Lean end with line breaks and improve formattingSon Ho1-4/+8
2023-02-03Regenerate the filesSon Ho1-21/+11
2022-11-16Generate record field projectors for CoqSon Ho1-3/+1
2022-11-16Improve formattingSon Ho1-59/+65
2022-11-14Make good progress on the Coq backendSon Ho1-0/+138