schaeff ef53c57769 add verification contract for g16, reorganise backend utils, add warning		2019-02-19 14:58:19 +01:00
..
examples	move merkle tree gadget to example folder	2019-02-01 10:30:43 +01:00
src	add verification contract for g16, reorganise backend utils, add warning	2019-02-19 14:58:19 +01:00
tests	fix integration tests	2019-02-14 21:56:24 +01:00
Cargo.lock	extract fs resolver into new crate, rename crates, refactor importer	2018-07-31 16:57:21 +02:00
Cargo.toml	move metadata to struct, move r1cs_program inside backend, simplify API	2019-02-13 18:21:01 +01:00