github/ere
1
1
Fork 0
mirror of https://github.com/eth-act/ere.git synced 2026-02-19 11:54:42 -05:00
Code Issues Packages Projects Releases Wiki Activity
280 Commits 11 Branches 19 Tags
master
Commit Graph

4 Commits

Author SHA1 Message Date
Han
daea3f4fff Introduce CompilerKind and refactor ere-dockerized (#221) 2025-11-25 09:59:48 +08:00
Han
7b8bb6adcd Remove default value of RUSTFLAGS (#208) 2025-11-07 09:54:54 +08:00
Han
1d9c16dc8d Support multiple proof kind (#161) 2025-10-14 21:30:07 +08:00
Han
a62e25c62d Refactor ere-dockerized (#160) 2025-10-09 21:47:10 +08:00