This website requires JavaScript.
Explore
Help
Register
Sign In
sdgoij
/
lean4
Watch
1
Star
0
Fork
0
You've already forked lean4
mirror of
https://github.com/leanprover/lean4.git
synced
2026-03-17 10:24:07 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
master
Add File
New File
Upload File
Apply Patch
lean4
/
tests
/
ir
History
Mario Carneiro
42e6214a42
feat: lake: GNU/BSD OS detection in test scripts (
#3180
)
...
fixes
#3179
2024-01-14 02:49:38 +00:00
..
lirc
feat: lake: GNU/BSD OS detection in test scripts (
#3180
)
2024-01-14 02:49:38 +00:00
lirc.lean
chore(tests): fix do syntax in tests
2019-06-30 13:04:34 +02:00
tst1.ir
feat(library/init/lean/ir): add compilation unit initializer/finalizer
2018-05-15 11:57:53 -07:00
tst2.ir
feat(runtime/lean_obj): natural number support
2018-05-16 10:28:51 -07:00
tst4.ir
feat(library/init/lean/ir/lirc): add option to specify whether input is in SSA or not
2018-05-17 15:53:49 -07:00
tst5.ir
feat(library/init/lean/ir): add instructions for (big) integer arithmetic
2018-05-17 18:17:23 -07:00
