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
1,329 Commits 544 Branches 9 Tags
51273d2209deb81265ea7dd67ed4a0b071d5ccef
Commit Graph

6 Commits

Author SHA1 Message Date
Leo Alt
607c0043d7 add powdr- prefix to all crates 2024-01-23 18:51:29 +01:00
Lucas Clemente Vella
fca134cb9d Binary CLI renamed to powdr 2023-05-18 16:10:08 +01:00
schaeff
0b23b5bd40 make everything generic over FieldElementTrait 2023-05-12 14:56:30 +02:00
chriseth
a323e04671 Auto-detect if argument is crate or not. 2023-04-24 18:40:37 +02:00
schaeff
6616f66d10 workaround regex feature unification issue 2023-04-21 18:39:13 +02:00
schaeff
82cfa54696 split into small crates 2023-04-21 17:16:22 +02:00