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
18d5b6095a4ab54493f71c8583f559efe3d5d921
powdr/powdr_cli
History
Leo 93cf6d720d Merge pull request #751 from powdr-labs/allow_println 
Explicitly allow printing to stdout.
2023-11-06 19:24:56 +00:00
..
src
Merge pull request #751 from powdr-labs/allow_println
2023-11-06 19:24:56 +00:00
Cargo.toml
Disable halo2 by default.
2023-08-24 11:07:20 +02:00