13 Commits

Author	SHA1	Message	Date
Pranav Gaddamadugu	745d7268ae	Fix	2024-05-30 11:35:15 -07:00
damirka	0b49f0c9ad	one more fix for cargo config	2021-06-16 15:05:29 +03:00
damirka	796d687b22	fix cargo config	2021-06-16 14:52:23 +03:00
damirka	505aac2dc2	fixes cargo config	2021-06-16 14:48:29 +03:00
damirka	d0b05778fc	adds build for apple silicon	2021-06-16 14:23:22 +03:00
Howard Wu	6b3aa7a7d0	Update config	2021-04-01 14:27:25 -07:00
Howard Wu	2aabb09468	Adds a noconfig feature for release builds	2021-03-31 22:14:03 -07:00
howardwu	b751e870e5	Adds initial wasm template	2021-02-04 19:23:58 -08:00
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