Mario Carneiro
|
42e6214a42
|
feat: lake: GNU/BSD OS detection in test scripts (#3180)
fixes #3179
|
2024-01-14 02:49:38 +00:00 |
|
Sebastian Ullrich
|
c299e6c0e6
|
chore(tests): fix do syntax in tests
|
2019-06-30 13:04:34 +02:00 |
|
Sebastian Ullrich
|
f34d37c371
|
chore(tests): port tests, fix at least compiler tests
|
2019-03-21 15:11:05 -07:00 |
|
Sebastian Ullrich
|
37e5f03351
|
refactor(library/system/io): move into init
|
2018-08-21 08:43:09 -07:00 |
|
Leonardo de Moura
|
acdcbdb71e
|
feat(library/init/lean/ir): add instructions for (big) integer arithmetic
|
2018-05-17 18:17:23 -07:00 |
|
Leonardo de Moura
|
217fa0e8c9
|
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 |
|
Leonardo de Moura
|
f854d56766
|
test(tests/ir/tst4): map
|
2018-05-17 14:52:18 -07:00 |
|
Leonardo de Moura
|
8cb7511a91
|
feat(runtime/lean_obj): natural number support
|
2018-05-16 10:28:51 -07:00 |
|
Leonardo de Moura
|
0f2a8f09c2
|
chore(library/init/lean/ir): cleanup
|
2018-05-15 12:09:04 -07:00 |
|
Leonardo de Moura
|
5cfb442f2c
|
feat(library/init/lean/ir): add compilation unit initializer/finalizer
|
2018-05-15 11:57:53 -07:00 |
|
Leonardo de Moura
|
b0a4066695
|
test(tests/ir): add basic script for compiling IR definitions
The support libraries are currently hard coded.
|
2018-05-14 17:27:05 -07:00 |
|