19 Commits

Author	SHA1	Message	Date
damirka	0b798dc950	console + definition + core	2021-05-03 16:47:33 +03:00
Protryon	534f36a077	compiler tests	2021-04-19 18:08:14 -07:00
collin	f16bb70da9	test pedersen hash constraint numbers	2021-03-23 14:16:51 -07:00
ljedrz	34f5ab782a	refactor: introduce a helper ConstraintSet object ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2021-03-11 13:40:15 +01:00
howardwu	2e7b542b8b	Format and clean up, enable default on snarkvm_algorithms	2021-03-04 11:09:24 -08:00
howardwu	4650b5cd80	Update gadget traits	2021-03-04 11:01:00 -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	24f5b168aa	Updates r1cs traits	2021-03-04 10:45:37 -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	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	4f50b44a63	itemize imports	2021-03-04 10:33:51 -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
howardwu	2bfb64f83e	Update synthesizer to support new terminology	2021-02-27 13:21:29 -08:00
howardwu	ec056a2877	Migrates synthesizer to a dedicated module	2021-02-27 08:48:20 -08:00