ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-24 07:48:04 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,776 Commits 53 Branches 44 Tags 331 MiB
602a2da067
Commit Graph

9 Commits

Author SHA1 Message Date
howardwu
4eac040178 chore(leo): bump version for new release 2021-04-15 13:49:42 -07:00
howardwu
c336f5a704 Fix asg-passes cargo toml bug 2021-04-09 14:19:35 -07:00
howardwu
62ee4c3b8b chore(leo): bump version for new release 2021-04-09 14:08:52 -07:00
collin
d410d84153 add reduce_statement_alloc comment 2021-03-23 15:04:55 -07:00
Protryon
ba9444ecc4 dead code elimination pass 2021-03-13 06:58:09 -08:00
Protryon
b28f8db4f5 flatten asg-passes 2021-03-10 09:57:27 -08:00
Protryon
823f113149 update asg version in constant-folding 2021-03-10 09:35:11 -08:00
Protryon
0f977707a9 fmt 2021-03-10 09:35:11 -08:00
Protryon
9156068801 constant folding 2021-03-10 09:35:11 -08:00