275 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Alex Ozdemir	1f11b95f01	First cut at circify	2021-02-14 15:16:42 -08:00
Alex Ozdemir	d2d3fe0c5b	mem test	2021-02-13 15:20:21 -08:00
Alex Ozdemir	899c591277	bool->SMT, with qc tests	2021-02-13 12:13:38 -08:00
Alex Ozdemir	28c4623b87	fix check() changes in tests	2021-02-13 01:04:49 -08:00
Alex Ozdemir	cb8874ac95	Memory ckpt	2021-02-12 18:54:21 -08:00
Alex Ozdemir	84816be9d1	Oblivious array elim	2021-02-12 00:53:44 -08:00
Alex Ozdemir	5613c2930c	mem visitor & linear mem pass	2021-02-11 20:07:29 -08:00
Alex Ozdemir	7abb0587bb	SHA CH optimization	2021-02-11 00:01:41 -08:00
Alex Ozdemir	4fb604e0d1	trim some dead constants	2021-02-09 20:11:07 -08:00
Alex Ozdemir	1b84831ae7	cfold for BVs, everything for field elems	2021-02-09 17:02:43 -08:00
Alex Ozdemir	6d6e0a10fb	constant folding for booleans	2021-02-08 20:28:22 -08:00
Alex Ozdemir	2667785def	Include a semantic test for n-ary optimization	2021-02-08 19:37:26 -08:00
Alex Ozdemir	66fbf2e972	n-ary flattening ... with fuzz tests.	2021-02-08 17:54:31 -08:00
Alex Ozdemir	7e4fad6382	profiling release profile	2021-02-07 00:33:26 -08:00
Alex Ozdemir	e473dfad1f	div, shift tests	2021-02-07 00:15:33 -08:00
Alex Ozdemir	ec9f1c464a	Reasonably complete BV->R1CS	2021-02-06 22:48:01 -08:00
Alex Ozdemir	224b056ef4	Bv eval/R1CS ckpt	2021-02-06 01:29:57 -08:00
Alex Ozdemir	9e8a21efd1	debitify	2021-02-05 09:59:14 -08:00
Alex Ozdemir	0e6e987a15	Some docs	2021-02-05 09:51:15 -08:00
Alex Ozdemir	ff0ae80a78	booleans in IR->R1cs	2021-02-05 09:40:27 -08:00
Alex Ozdemir	711f97503a	Started IR->R1cs	2021-02-04 02:04:57 -08:00
Alex Ozdemir	fe7280b10e	R1cs	2021-02-03 01:48:02 -08:00
Alex Ozdemir	343ea2fa63	Random boolean term generation. ... May be useful for benchmarking	2021-02-02 13:33:48 -08:00
Alex Ozdemir	e145a1bbe1	Finish type-checking	2021-02-02 12:13:25 -08:00
Alex Ozdemir	e9e12a32e4	Start type-checking	2021-02-02 01:25:46 -08:00