arnaucube/Nova
1
0
Fork 0
mirror of https://github.com/arnaucube/Nova.git synced 2026-02-01 08:46:39 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
e373f4633d08c4dda0ae57fb341a4a2afc7733cc
Nova/benches
History
Srinath Setty 63f08c0e4a Support non-determinism with a minimal API (#85) 
* support non-determinism with small changes to the interface

* update benches to use the new API

* add an example that exercises non-deterministic advice at each step of recursion

* tiny rename

* Address clippy; update version
2022-07-07 12:17:56 -07:00
..
compressed-snark.rs
Support non-determinism with a minimal API (#85)
2022-07-07 12:17:56 -07:00
recursive-snark.rs
Support non-determinism with a minimal API (#85)
2022-07-07 12:17:56 -07:00