schaeff cfd3b2c3f5 remove intermediate definition in lt check		2018-12-17 17:53:35 +01:00
..
lib	use solidity implementation of G2 addition	2018-11-22 18:38:30 +01:00
src	remove intermediate definition in lt check	2018-12-17 17:53:35 +01:00
build.rs	implement gm17, verification contract not working for now	2018-11-13 15:31:37 +01:00
Cargo.lock	extract fs resolver into new crate, rename crates, refactor importer	2018-07-31 16:57:21 +02:00
Cargo.toml	bump patch	2018-11-30 17:10:30 +01:00