Edward Chen e16fbc773e addressed comments

2022-01-19 23:56:48 -05:00

..

opt

addressed comments

2022-01-19 23:56:48 -05:00

term

added binarize opt pass

2022-01-17 15:28:08 -05:00

mod.rs

Generalize Constraints to Computation.

2021-06-18 12:38:19 -07:00

proof.rs

Resolve lints and add clippy to CI (#35)

2022-01-01 12:27:36 -08:00