Lucas Clemente Vella 9306361dc4 Enabling Halo2 via cargo feature. (#406) ...

* Enabling Halo2 via cargo feature.

* Enabling Halo2 by default.

* Renaming get_prover.

2023-07-21 17:57:40 +02:00

..

lib.rs

Enabling Halo2 via cargo feature. (#406)

2023-07-21 17:57:40 +02:00

util.rs

Move analyzed ast into the ast crate.

2023-07-03 15:18:36 +02:00

verify.rs

Fix CSV export #380 (#380)

2023-07-20 10:58:17 +02:00