ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-22 19:27:13 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,350 Commits 45 Branches 43 Tags 363 MiB
0850da64b5
Commit Graph

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