2381 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
collin	869b6ddb33	update tinytemplate	2021-03-04 11:03:25 -08:00
howardwu	689dbad8fe	Adds r1cs dep	2021-03-04 11:03:19 -08:00
howardwu	1735038dee	Update algorithms, curves, and gadget traits	2021-03-04 11:02:31 -08:00
howardwu	4650b5cd80	Update gadget traits	2021-03-04 11:01:00 -08:00
howardwu	3bdf598431	Update field and curves traits	2021-03-04 10:59:43 -08:00
howardwu	8690e35e95	Update field structs	2021-03-04 10:58:50 -08:00
howardwu	c03e1045f2	Update gadgets traits	2021-03-04 10:57:20 -08:00
howardwu	bf43da5a84	Update dpc structs	2021-03-04 10:56:36 -08:00
howardwu	1c5ac21e9c	Update dpc structs	2021-03-04 10:56:03 -08:00
howardwu	dadc57a148	Add r1cs dep	2021-03-04 10:55:22 -08:00
howardwu	e11ef69f74	Add fields dep	2021-03-04 10:54:37 -08:00
howardwu	b029469eca	Remove objects dep	2021-03-04 10:54:21 -08:00
howardwu	4692a2b20e	Update object errors	2021-03-04 10:53:48 -08:00
howardwu	1b0a6dbd69	Update fields traits	2021-03-04 10:52:54 -08:00
howardwu	7b7c1bbef4	Remove object dept	2021-03-04 10:51:59 -08:00
howardwu	1411107d23	Update fields traits	2021-03-04 10:50:26 -08:00
howardwu	4e9576e58d	Fix object errors	2021-03-04 10:49:47 -08:00
howardwu	4fec97083d	Adds gadgets dep	2021-03-04 10:48:48 -08:00
howardwu	d8e9edc941	Update fields structs	2021-03-04 10:48:28 -08:00
howardwu	187f738811	Update fields errors	2021-03-04 10:48:01 -08:00
howardwu	ff4412d7d0	Update curves errors	2021-03-04 10:47:32 -08:00
howardwu	3421e891b6	Adds r1cs dep	2021-03-04 10:46:47 -08:00
howardwu	f65ad89360	Update algo errors	2021-03-04 10:46:19 -08:00
howardwu	24f5b168aa	Updates r1cs traits	2021-03-04 10:45:37 -08:00
howardwu	441edff36f	Adds gadgets dep	2021-03-04 10:44:36 -08:00
howardwu	df4a2e0f4d	Adds r1cs dep	2021-03-04 10:43:59 -08:00
howardwu	18a51cea16	Adds fields dep	2021-03-04 10:43:22 -08:00
howardwu	88e76c7fa3	Adds fields dep	2021-03-04 10:42:34 -08:00
howardwu	78e8a3b456	Update curves traits	2021-03-04 10:42:14 -08:00
howardwu	f3daba63df	Update gadgets traits	2021-03-04 10:41:33 -08:00
howardwu	fc4bc537dd	Update primefield traits	2021-03-04 10:39:56 -08:00
howardwu	b95495bab3	Update r1cs error	2021-03-04 10:39:22 -08:00
howardwu	3c4b8e9f68	Update gadgets traits	2021-03-04 10:38:28 -08:00
howardwu	400e3dd440	Update r1cs traits	2021-03-04 10:36:54 -08:00
howardwu	bfdf3c4dca	Update field trait	2021-03-04 10:36:29 -08:00
howardwu	d2bef646be	Update dpc traits	2021-03-04 10:35:36 -08:00
howardwu	05c6f43018	Update comm and crh traits	2021-03-04 10:35:10 -08:00
howardwu	4f50b44a63	itemize imports	2021-03-04 10:33:51 -08:00
howardwu	c9f70800fd	Update .tomls to 0.2.0	2021-03-04 10:33:21 -08:00
howardwu	23416e9633	cargo update	2021-03-04 10:29:36 -08:00
Collin Chin	0acf0e5c2c	Merge pull request #724 from ljedrz/fix_build_ooms ... Fix build-time OOMs by performing out-of-scope cleanups for CircuitSynthesizer objects	2021-03-04 10:15:50 -08:00
Protryon	d400764e00	parser rewrite	2021-03-03 09:59:24 -08:00
ljedrz	9695442e77	fix: fix build OOMs by performing out-of-scope cleanups for CircuitSynthesizer objects ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2021-03-02 15:54:58 +01:00
bors[bot]	2622a4be63	Merge #712 ... 712: Refactors synthesizer to crate, updates Leo to snarkVM v0.0.6, removes deprecated travis scripts r=collinc97 a=howardwu ## Motivation - Refactors synthesizer to crate - Updates Leo to snarkVM v0.0.6 - Removes deprecated Travis scripts Co-authored-by: howardwu <howardwu@berkeley.edu>	2021-03-02 00:17:26 +00:00
bors[bot]	4253ac9133	Merge #674 ... 674: implicit value at start of array failing fix r=collinc97 a=gluax Resolves #607. Co-authored-by: gluax <jonathan.t.pavlik@gmail.com>	2021-03-01 23:57:43 +00:00
howardwu	315938ec45	Removes unused travis	2021-02-27 13:24:00 -08:00
howardwu	b86e8f01e9	Adds README.md	2021-02-27 13:22:37 -08:00
howardwu	2bfb64f83e	Update synthesizer to support new terminology	2021-02-27 13:21:29 -08:00
howardwu	8a05594b42	Bump snarkvm to v0.0.6	2021-02-27 13:10:39 -08:00
howardwu	a0b6dba14d	Checkpoint for further wasm compatibility	2021-02-27 08:57:44 -08:00