Alex Ozdemir ec9ef12415 SV Comp-style tests for C front-end. (#100) ...

* SV Comp-style tests for C front-end.

Very minimal, since the C front-end is.

* more tests for shl

2023-01-22 14:18:08 -05:00

..

C

SV Comp-style tests for C front-end. (#100)

2023-01-22 14:18:08 -05:00

datalog

Datalog (#26)

2021-11-30 13:26:25 -08:00

ZoKrates

Updates to C Frontend (#67)

2022-05-20 02:20:36 -04:00

circ.rs

SV Comp-style tests for C front-end. (#100)

2023-01-22 14:18:08 -05:00

opa_bench.rs

with bug in link

2022-07-20 14:35:39 +00:00

zk.rs

updated compiler warnings and cleaned print statements

2022-07-30 20:53:51 -04:00

zxc.rs

ckpt2, also parse/serialize for Computation, Functions

2022-05-30 15:38:27 -07:00

zxi.rs

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

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