5 Commits

Author	SHA1	Message	Date
howardwu	9db8b3e364	Update .cargo/config	2020-08-21 04:23:52 -07:00
howardwu	375019673b	Update .cargo/config	2020-08-21 04:20:13 -07:00
howardwu	61d92ecc91	Remove revision peg for snarkOS dependency, change Leo to groth16, update to proper calling convention for snarks	2020-07-30 19:09:27 -07:00
howardwu	47bfd2e096	Adds serialization of Leo AST for unit testing and rformal verification	2020-07-28 21:18:43 -07:00
howardwu	45710a775d	Adds .cargo directory	2020-05-16 20:39:54 -07:00