summaryrefslogtreecommitdiff
path: root/tests (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-26Update the F* clauses for the betreeSon Ho1-2/+1
2024-04-26Update a decreases clauseSon Ho1-1/+7
2024-04-25Regenerate and fix the testsSon Ho23-51/+140
2024-04-25Regenerate the Primitives filesSon Ho13-0/+975
2024-04-25Update the tests for ExternalSon Ho18-237/+320
2024-04-24Fix a couple of testsZyad Hassan4-13/+4
2024-04-24Update testsZyad Hassan7-44/+0
2024-04-24compiler: map `core::mem::swap` to the pure swapRyan Lahfa1-6/+0
2024-04-18Address review commentsNadrieril17-0/+17
2024-04-18Ensure we regenerate files properly in CINadrieril25-25/+0
2024-04-17Bump charonNadrieril3-475/+168
2024-04-11Update a Lean fileSon Ho1-1/+1
2024-04-11Update some Lean proofsSon Ho3-24/+24
2024-04-11Fix a Coq fileSon Ho1-1/+1
2024-04-11Fix some F* proofsSon Ho1-4/+4
2024-04-05Update the lean toolchain and fix the proofsSon Ho3-16/+24
2024-04-04Regenerate the test filesSon Ho55-1577/+1513
2024-04-04Regenerate the test filesSon Ho6-36/+36
2024-04-04Regenerate the test filesSon Ho41-313/+322
2024-03-25backend(/tests)/lean: 4.6.0-rc1 → 4.6.1Ryan Lahfa1-1/+1
2024-03-20Regenerate the codeSon Ho29-454/+431
2024-03-19Regenerate the testsSon Ho22-188/+80
2024-03-19Update the demoSon Ho4-30/+126
2024-03-18Regenerate the test filesSon Ho6-66/+297
2024-03-18Regenerate the constants tests and update Primitives/Base.leanSon Ho3-54/+100
2024-03-11Regenerate the test filesSon Ho14-244/+227
2024-03-11Update the generated filesSon Ho15-380/+389
2024-03-11Update tests/MakefileSon Ho1-1/+1
2024-03-09Regenerate the test filesSon Ho10-0/+420
2024-03-08Remove the split test files for F*Son Ho55-16239/+0
2024-03-08Update the code generated for tuple projectorsSon Ho1-1/+1
2024-03-08Fix tuple indexing for Lean backendZyad Hassan1-1/+1
2024-03-08Update the generation of constant bodies for LeanSon Ho4-24/+23
2024-03-08Regenerate the test filesSon Ho5-46/+46
2024-02-09Remove a file which shouldn't have been addedSon Ho1-49/+0
2024-02-09Add some missing filesSon Ho4-0/+128
2024-02-09Add some demo filesSon Ho11-0/+3390
2024-02-03Fix minor issuesSon Ho2-10/+10
2024-02-02Update the .gitignore filesSon Ho1-1/+2
2024-02-02Rename and regenerate some filesSon Ho21-952/+508
2024-02-02Make progress on fixing the testsSon Ho1-13/+13
2024-02-02Start fixing the testsSon Ho7-80/+98
2024-01-25Update a decreases clauseSon Ho1-0/+5
2024-01-25Regenerate the filesSon Ho13-314/+379
2023-12-23Fix an issue in External_FunsExternal.vSon Ho1-15/+3
2023-12-23Fix an issue when deconstructing tuples in CoqSon Ho1-2/+2
2023-12-23Regenerate the filesSon Ho35-327/+183
2023-12-23Improve the micro passes to eliminate pattern `let f := fun x => g x`Son Ho3-52/+24
2023-12-23Fix a minor issue in the Lean testsSon Ho1-14/+3
2023-12-23Update the proof of the hashmap in LeanSon Ho1-100/+44