summaryrefslogtreecommitdiff
path: root/tests/fstar (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Regenerate the test filesSon Ho2024-03-118-89/+82
|
* Update the generated filesSon Ho2024-03-115-117/+120
|
* Regenerate the test filesSon Ho2024-03-096-0/+173
|
* Add some demo filesSon Ho2024-02-093-0/+1035
|
* Fix minor issuesSon Ho2024-02-031-5/+5
|
* Rename and regenerate some filesSon Ho2024-02-026-127/+127
|
* Regenerate the filesSon Ho2024-01-255-81/+104
|
* Regenerate the filesSon Ho2023-12-2310-105/+58
|
* Improve the micro passes to eliminate pattern `let f := fun x => g x`Son Ho2023-12-231-17/+8
|
* Regenerate the test files and add the fstar-split testsSon Ho2023-12-2226-6691/+1708
|
* Regenerate some of the NoNestedBorrows testsSon Ho2023-12-222-275/+213
|
* Regenerate the test filesSon Ho2023-12-138-61/+99
|
* Regenerate the testsSon Ho2023-12-072-6/+35
|
* Update following changes in CharonSon Ho2023-12-055-119/+175
|
* Regenerate the other filesSon Ho2023-11-297-56/+1113
|
* Generate the Bitwise test filesSon Ho2023-11-291-0/+32
|
* Regenerate the testsSon Ho2023-11-292-31/+41
|
* Regenerate the test filesSon Ho2023-11-291-5/+0
|
* Generate a dedicated file for the external typesSon Ho2023-11-278-11/+43
|
* Update the generation of files for external definitions and regenerate the testsSon Ho2023-11-278-8/+8
|
* Regenerate the filesSon Ho2023-11-241-8/+2
|
* Regenerate the test filesSon Ho2023-11-221-44/+62
|
* Regenerate the filesSon Ho2023-11-211-17/+19
|
* Regenerate the filesSon Ho2023-11-2129-622/+1244
|
* Regenerate the betree filesSon Ho2023-11-218-158/+163
|
* Regenerate the Traits filesSon Ho2023-11-211-59/+62
|
* Regenerate most of the test filesSon Ho2023-11-2116-480/+475
|
* Make administrative updates in the testsSon Ho2023-11-092-405/+49
|
* Update the failing proofsSon Ho2023-11-0912-1699/+1003
|
* Remove a fileSon Ho2023-11-091-387/+0
|
* Regenerate the testsSon Ho2023-11-091-50/+20
|
* Progress on making the traits work for F*Son Ho2023-11-093-0/+1501
|
* Modify some options and update the MakefileSon Ho2023-11-091-0/+784
|
* Update the Makefile and regenerate some testsSon Ho2023-11-081-0/+12
|
* Regenerate more F* filesSon Ho2023-10-2718-1549/+1427
|
* Fix a minor issue and regenerate some F* test filesSon Ho2023-10-279-593/+626
|
* Regenerate some of the F* test filesSon Ho2023-10-2717-434/+526
|
* Make minor modifications and update the array test for F*Son Ho2023-10-263-174/+183
|
* Update Primitives.fstSon Ho2023-10-267-270/+2439
|
* Regenerate the test files and fix a proofSon Ho2023-09-0711-87/+229
|
* Regenerate the array testsSon Ho2023-08-181-0/+8
|
* Add tests which use const generics as valuesSon Ho2023-08-181-0/+4
|
* Update the nix flake and regenerate the codeSon Ho2023-08-095-5/+5
|
* Regenerate the test filesSon Ho2023-08-087-559/+559
|
* Regenerate the test filesSon Ho2023-08-072-8/+140
|
* Generate the array test files for Coq and F*Son Ho2023-08-047-0/+695
|
* Update the Makefile and regenerate the test filesSon Ho2023-08-045-0/+375
|
* Improve the generated commentsSon Ho2023-07-0614-357/+392
|
* Start using namespaces in the Lean backendSon Ho2023-07-054-4/+4
|
* Make a minor fixSon Ho2023-06-044-39/+32
|