223 Commits

Author	SHA1	Message	Date
Alex Ozdemir	ec9ef12415	SV Comp-style tests for C front-end. (#100) ... * SV Comp-style tests for C front-end. Very minimal, since the C front-end is. * more tests for shl	2023-01-22 14:18:08 -05:00
Ubuntu	0a20e14615	fix kmeans	2022-12-09 20:30:31 +00:00
Clive2312	76019fe05f	update opa ilp	2022-10-28 03:52:23 +00:00
Clive2312	89661acd75	Fix if with array and add biomatches	2022-10-05 01:50:56 +00:00
Edward Chen	fec70ff925	minor bug fixes	2022-08-18 07:14:51 -04:00
Clive2312	2a0b949275	fix script	2022-08-17 01:31:56 +00:00
Clive2312	8e31a92802	fix mnist bug	2022-08-16 23:02:48 +00:00
Clive2312	480ef73243	update test suite	2022-08-16 00:34:51 +00:00
Clive2312	8ccce57b8c	opt for dusg extend	2022-08-16 00:04:14 +00:00
Clive2312	91f0308d50	test script	2022-08-15 04:51:10 +00:00
Edward Chen	4c50c8eabf	HACKY NEW ARRAY OP	2022-08-13 22:49:45 -04:00
Edward Chen	3290e42650	merged	2022-08-13 20:39:51 -04:00
Edward Chen	8b1ef7c6b0	all working test cases	2022-08-11 07:06:18 +00:00
Edward Chen	4b68bdc7da	merged	2022-08-11 05:31:23 +00:00
Edward Chen	da4b41e262	merged	2022-08-11 05:13:46 +00:00
Edward Chen	dbf1ad83fa	created db_join_5	2022-08-11 05:13:21 +00:00
Clive2312	11b389cb57	merge ite and fix some	2022-08-11 04:32:25 +00:00
Clive2312	83b874066f	done with css mnist	2022-08-10 22:30:38 +00:00
Edward Chen	c27f471999	added ITE optimization	2022-08-10 04:07:24 -04:00
Edward Chen	ff44f05726	added gcd and psi test cases	2022-08-10 03:21:52 -04:00
Clive2312	80296cc86e	css but buggy	2022-08-09 05:14:18 +00:00
Clive2312	58c08d6851	merge func_with_mut buggy	2022-08-04 03:31:07 +00:00
Clive2312	8e71c8eb9b	new ILP formulation	2022-08-04 03:11:59 +00:00
Edward Chen	11e5365076	merged with mpc_aws	2022-08-03 21:43:24 -04:00
Edward Chen	e3dd225540	removed test files	2022-08-03 21:40:50 -04:00
Edward Chen	1947a1d880	merged	2022-08-03 21:40:09 -04:00
Edward Chen	ca4d4b3aea	updated test cases to fit within 30 gb of memory	2022-08-03 21:34:12 -04:00
Edward Chen	8c20cc1e19	added mnist decomp convolution testcase	2022-08-03 22:52:19 +00:00
Edward Chen	0c1c91c903	updated test suite for mnist decomp	2022-08-03 21:46:48 +00:00
Edward Chen	2295e254e1	merged	2022-08-03 17:29:26 -04:00
Edward Chen	3d68cb5124	mnist decomp main testcase	2022-08-03 17:29:06 -04:00
Edward Chen	7bcb8919cb	updated benchmarks	2022-08-02 15:03:17 -04:00
Edward Chen	2f8b8926d9	updated circ benchmarks	2022-08-02 12:28:30 -04:00
Edward Chen	a05a76db02	merged	2022-08-02 12:26:28 -04:00
Edward Chen	0b7fd20a5d	updated test cases	2022-08-02 12:12:26 -04:00
Edward Chen	c7ef792070	Merge branch 'function_calls' of github.com:circify/circ into function_calls	2022-08-02 11:24:45 -04:00
Edward Chen	547dd9a64a	adding mnist and cryptonets testcase	2022-08-02 11:24:41 -04:00
Edward Chen	5030b51466	added benchmark spec files	2022-08-02 03:57:33 -04:00
Edward Chen	985818c8be	removed unecessary bench logs	2022-08-02 06:42:44 +00:00
Edward Chen	12084fb5f2	added back benchmark	2022-08-02 06:42:02 +00:00
Edward Chen	b42fc93a67	removed benchmark cmd and minior updates to benchmarking scripts	2022-08-02 05:18:12 +00:00
Edward Chen	58720bf977	removed benchmark cmd and minior updates to benchmarking scripts	2022-08-02 04:48:27 +00:00
Edward Chen	6805789405	update	2022-07-31 01:02:05 -04:00
Edward Chen	98a9a417bd	updated circ build script	2022-07-30 23:12:42 -04:00
Edward Chen	d6a2feef4b	Cleaned trans.rs and added benchmark logging	2022-07-30 22:39:09 -04:00
Clive2312	be5f6643b0	merge latest lowering	2022-07-31 01:45:44 +00:00
Edward Chen	08f8cbdb1c	updated compiler warnings and cleaned print statements	2022-07-30 20:53:51 -04:00
Clive2312	59b1b8f5b0	Enable def use graph	2022-07-30 18:23:50 +00:00
Edward Chen	4c410e45ef	merged with function calls, built test cases	2022-07-30 13:40:46 -04:00
Edward Chen	957b0ad028	moved array semantics to aby interpeter	2022-07-30 01:13:49 -04:00