github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
2b2006d6db4db9658b7c244bdab56ba564ad2ed3
powdr/cli/src
History
Thibaut Schaeffer 3ae17c7fcb Remove halo2 (#2740) 
Remove halo2 from the backends, as well as the tutorials which heavily
reference it.
2025-05-21 12:08:50 +00:00
..
main.rs
Remove halo2 (#2740)
2025-05-21 12:08:50 +00:00
util.rs
Add KoalaBear field (#1923)
2024-10-18 14:18:28 +00:00