ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 03:33:44 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,991 Commits 54 Branches 46 Tags 340 MiB
40bc7aef8d
Commit Graph

3 Commits

Author SHA1 Message Date
damirka
c11ca98268 removed cwd arg from compiler tests 2021-05-14 16:42:20 +03:00
damirka
17744f7f7d removes import tests, fix ci, add constraint number check, more tests 2021-05-13 16:56:17 +03:00
damirka
6138f8e719 removed old compiler tests 2021-05-12 19:39:27 +03:00