Alex Ozdemir e362f9501b change ffOP to ff.OP in SMT backend (#94)

2022-08-01 17:12:04 -07:00

..

circify

Precomputations (or, as-known-for-proofs, witness extension) (#80)

2022-05-17 08:54:04 -07:00

front

ZoKrates assertion bugfix and option to isolate (#89)

2022-06-23 22:14:58 -07:00

ir

lint (#93)

2022-07-27 13:26:04 -07:00

target

change ffOP to ff.OP in SMT backend (#94)

2022-08-01 17:12:04 -07:00

util

field flexibility ; add limit for linearity reduction (#66)

2022-03-25 15:03:09 -07:00

lib.rs

Resolve lints and add clippy to CI (#35)

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