summaryrefslogtreecommitdiff
path: root/tests/lean/External (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-23Bump charon versionNadrieril4-6/+6
2024-04-25Update the tests for ExternalSon Ho6-83/+66
2024-04-24Fix a couple of testsZyad Hassan2-6/+2
2024-04-24Update testsZyad Hassan1-6/+0
2024-04-24compiler: map `core::mem::swap` to the pure swapRyan Lahfa1-6/+0
2024-04-18Ensure we regenerate files properly in CINadrieril1-1/+0
2024-04-11Update a Lean fileSon Ho1-1/+1
2024-04-04Regenerate the test filesSon Ho1-6/+6
2024-04-04Regenerate the test filesSon Ho3-6/+10
2024-03-20Regenerate the codeSon Ho1-3/+3
2023-12-23Regenerate the filesSon Ho1-2/+1
2023-12-23Fix a minor issue in the Lean testsSon Ho1-14/+3
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho2-75/+33
2023-11-27Generate a dedicated file for the external typesSon Ho3-7/+25
2023-11-24Regenerate the filesSon Ho1-4/+4
2023-11-21Regenerate the filesSon Ho3-15/+30
2023-11-21Regenerate most of the test filesSon Ho1-2/+2
2023-10-26Regenerate several test files for LeanSon Ho1-8/+8
2023-08-03Make a minor formatting modification for LeanSon Ho2-0/+2
2023-07-12Make the `by inlit` implicitSon Ho1-5/+5
2023-07-06Improve the generated commentsSon Ho3-37/+35
2023-07-05Simplify the names used in Primitives.leanSon Ho1-2/+2
2023-07-05Simplify the generated names for the types in LeanSon Ho3-5/+4
2023-07-05Start using namespaces in the Lean backendSon Ho6-38/+88
2023-07-04Regenerate the Lean test filesSon Ho4-5/+24
2023-07-04Reorganize the Lean testsSon Ho3-0/+127