summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives/Base.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix a minor issueSon Ho2024-03-181-1/+3
* Regenerate the constants tests and update Primitives/Base.leanSon Ho2024-03-181-1/+1
* Update the generation of constant bodies for LeanSon Ho2024-03-081-2/+2
* Update the tuples notationsSon Ho2024-03-081-51/+0
* Add a notation for tuple field accesses in LeanSon Ho2024-03-071-0/+51
* Improve the Lean backendSon Ho2024-01-261-0/+7
* Fix the models for core::mem::replaceSon Ho2023-12-221-1/+1
* Update the Lean standard librarySon Ho2023-12-221-2/+1
* Fix some issues at extraction and add builtinsSon Ho2023-10-251-0/+7
* Handle properly the builtin, non fallible functionsSon Ho2023-10-241-2/+2
* Fix minor issuesSon Ho2023-10-241-2/+2
* Make progress on the proofs of the hashmapSon Ho2023-07-251-1/+1
* Reorganize the Lean backendSon Ho2023-07-171-0/+130