github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-04-21 03:00:54 -04:00
Code Issues Packages Projects Releases Wiki Activity
425 Commits 19 Branches 0 Tags
a210c27deeb91fffff249edcaef5ea74ab609e2b
Commit Graph

108 Commits

Author SHA1 Message Date
Edward Chen
490de9e606 all benchmarks compile with lp per function 2022-07-21 00:00:11 -04:00
Edward Chen
a2cfd987e0 zero bool ilp cost 2022-07-20 22:05:18 -04:00
Edward Chen
e0a22afba1 working benchmarks with reasonable lowering times 2022-07-20 19:19:12 -04:00
Edward Chen
204729ee7f updated db_join compile time 2022-07-20 15:33:07 -04:00
Edward Chen
e98b5d3af9 timing code 2022-07-19 17:25:11 -04:00
Edward Chen
1075fd3063 working test bench 2022-07-18 23:17:34 -04:00
Edward Chen
29c05f686d updating benchmark test cases 2022-07-18 21:45:51 -04:00
Edward Chen
4910ff546c added return struct types 2022-07-18 18:42:22 -04:00
Clive2312
5e5c39fb37 mnist test case 2022-07-18 16:22:11 +00:00
Clive2312
9ffcfc3967 ptr arith and testing mnist 2022-07-18 15:29:36 +00:00
Edward Chen
dce090815f added all db test cases 2022-07-18 02:14:44 -04:00
Clive2312
781b37c09c merged 2022-07-14 18:48:02 +00:00
Edward Chen
858f82d895 ptr arith unit test 2022-07-14 14:40:12 -04:00
Edward Chen
85d53ea534 all tests pass 2022-07-14 13:14:38 -04:00
Edward Chen
8182fdf1bc db_join works 2022-07-14 01:06:40 -04:00
Edward Chen
7b7626d686 working db join case on small input sizes, bug in array semantics for share rewiring 2022-07-13 15:46:03 -04:00
Edward Chen
67968a084a updated gauss test case 2022-07-13 00:30:17 -04:00
Edward Chen
46eb34498c updated biomatching test case -- fixed IN and rewiring in ABY interpreter 2022-07-12 23:36:14 -04:00
Edward Chen
ba23304385 added constant propagation tset cases 2022-07-11 10:19:22 -04:00
Edward Chen
59bf43e63f testing 2022-07-07 02:10:12 -04:00
Clive2312
c08276f152 disabled opt passes 2022-07-05 16:02:16 +00:00
Edward Chen
c7af0e0514 gauss works 2022-06-29 16:55:55 -04:00
Edward Chen
fc85f7c52f kmeans works 2022-06-26 20:04:52 -04:00
Edward Chen
e09ed3688f added tuple update semantics to aby lowering pass 2022-06-21 11:31:32 -04:00
Edward Chen
4a486f270f updated cost model 2022-06-19 22:34:07 -04:00
Edward Chen
08c9ecabbd fixed frontend 2022-06-08 22:32:38 -04:00
Edward Chen
2618ce1f5f tuple pass errors 2022-06-06 16:26:11 -04:00
Edward Chen
1821dc7721 merged master 2022-05-25 09:44:23 -04:00
Edward Chen
7693d30975 Updates to C Frontend (#67) 
Supporting:
- structs
- ptrs
- n-dimension arrays
- nested structs
- typedef
- sizeof
- shift operations

Benchmarks:
- Original HyCC kmeans testcase (without recursion).
- Original HyCC gauss testcase.

Co-authored-by: Alex Ozdemir <aozdemir@hmc.edu>
Co-authored-by: Ubuntu <ubuntu@neptune2.maas>
 2022-05-20 02:20:36 -04:00
Edward Chen
4d0923847f checkpoint 2022-05-14 17:31:04 -04:00
Edward Chen
bc094d4776 merged with master 2022-05-04 18:13:36 -04:00
Edward Chen
c5e85b1ab3 updated test cases 2022-05-04 17:22:54 -04:00
Edward Chen
c9ec54bc1a broken test case 2022-04-28 23:37:27 -04:00
Edward Chen
a8b9e9f11d db test case works 2022-04-27 02:10:24 -04:00
Edward Chen
3586f31c48 working gauss testcase for c frontend 2022-04-21 11:52:08 -04:00
Edward Chen
99e1b11a2e updated cfold and gauss test case 2022-04-21 00:03:32 -04:00
Edward Chen
67624c723a merged master 2022-04-19 15:55:19 -04:00
Edward Chen
63e3bea1b8 Adding benchmark scripts and logging for ABY backend (#72) 2022-04-06 04:04:52 -04:00
Edward Chen
ffa2ac3dc9 Updated ABY tests to ignore logging code (#71) 2022-04-05 02:08:40 -04:00
Edward Chen
fa01772ef5 typedef 2022-03-31 13:41:32 -04:00
Edward Chen
13f9a092b5 Updated ABY VM to include IN bytecode instruction (#65) 
- updated ABY interpreter to include IN gates
- Added tqdm requirement
 2022-03-24 15:53:44 -04:00
Edward Chen
c150068722 fixing aby zokrates build and test pipeline 2022-03-24 12:35:35 -04:00
Edward Chen
dd353e62b1 ptr stores 2022-03-24 11:12:46 -04:00
Edward Chen
740a2851fe working kmeans test case and c_frontend 2022-03-24 03:39:18 -04:00
Edward Chen
9111b6f49b merge with remote 2022-03-23 03:19:52 -04:00
Edward Chen
6020f88d33 updated biomatch testcase 2022-03-23 03:18:23 -04:00
Edward Chen
51abd326ca merged new bytecode 2022-03-23 03:15:19 -04:00
Edward Chen
33b3543c1f biomatch test 2022-03-23 03:14:06 -04:00
Edward Chen
d37e1bb2fe updated ABY interpreter to include IN gates 2022-03-22 18:58:01 -04:00
Edward Chen
2de36e183d broken test case 2022-03-19 01:57:56 +00:00