ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-10-11 13:48:55 +03:00
Code Issues Packages Projects Releases Wiki Activity
17744f7f7d
leo/tests/compiler/integers/i32
History
damirka 17744f7f7d removes import tests, fix ci, add constraint number check, more tests
2021-05-13 16:56:17 +03:00
..
add.leo i* 2021-05-10 20:19:19 +03:00
console_assert.leo i* 2021-05-10 20:19:19 +03:00
div.leo i* 2021-05-10 20:19:19 +03:00
eq.leo i* 2021-05-10 20:19:19 +03:00
ge.leo i* 2021-05-10 20:19:19 +03:00
gt.leo i* 2021-05-10 20:19:19 +03:00
le.leo i* 2021-05-10 20:19:19 +03:00
lt.leo i* 2021-05-10 20:19:19 +03:00
max_fail.leo i* 2021-05-10 20:19:19 +03:00
max.leo removes import tests, fix ci, add constraint number check, more tests 2021-05-13 16:56:17 +03:00
min_fail.leo i* 2021-05-10 20:19:19 +03:00
min.leo removes import tests, fix ci, add constraint number check, more tests 2021-05-13 16:56:17 +03:00
mul.leo i* 2021-05-10 20:19:19 +03:00
ne.leo i* 2021-05-10 20:19:19 +03:00
negate_min.leo removes import tests, fix ci, add constraint number check, more tests 2021-05-13 16:56:17 +03:00
negate_zero.leo i* 2021-05-10 20:19:19 +03:00
negate.leo i* 2021-05-10 20:19:19 +03:00
no_space_between_literal.leo i* 2021-05-10 20:19:19 +03:00
pow.leo i* 2021-05-10 20:19:19 +03:00
sub.leo i* 2021-05-10 20:19:19 +03:00
ternary.leo i* 2021-05-10 20:19:19 +03:00