schaeff d7a37b6b5f bump versions		2019-06-16 23:15:42 +02:00
..
src	change main to lib for stdlib to prevent binary creation	2019-05-29 10:33:15 +02:00
stdlib	merge spread	2019-06-16 21:17:29 +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-06-16 23:15:42 +02:00