summaryrefslogtreecommitdiff
path: root/tests/lean/lakefile.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* tests: Rename betree_main -> betreeNadrieril2024-05-281-1/+1
* tests: Merge the hashmap test filesNadrieril2024-05-271-1/+0
* Add some demo filesSon Ho2024-02-091-0/+1
* Rename and regenerate some filesSon Ho2024-02-021-2/+2
* Make progress on fixing the testsSon Ho2024-02-021-13/+13
* Merge branch 'main' into son_traits and fix some issuesSon Ho2023-10-161-0/+1
|\
| * Start writing a tutorialSon Ho2023-09-181-0/+1
* | Generate the Traits test files for LeanSon Ho2023-10-061-0/+1
|/
* Fix issuesSon Ho2023-08-031-0/+1
* Start using namespaces in the Lean backendSon Ho2023-07-051-12/+9
* Regenerate the Lean test filesSon Ho2023-07-041-0/+8
* Reorganize the Lean testsSon Ho2023-07-041-0/+14