schaeff 111e6663fc update stdlib		2019-06-16 10:06:36 +02:00
..
src	change main to lib for stdlib to prevent binary creation	2019-05-29 10:33:15 +02:00
stdlib	update stdlib	2019-06-16 10:06:36 +02:00
tests	fix following review: extract witness with write read, rename scheme to proving scheme, typos	2019-04-08 14:56:07 +02:00
build.rs	use bufwriter in stdlib test generation	2019-04-16 11:09:57 +02:00
Cargo.toml	bump versions	2019-04-18 15:59:50 +02:00