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
424 Commits 19 Branches 0 Tags
490de9e606c452466f47a74df37ccfee2cc70306
Commit Graph

140 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
517553457c Merge branch 'function_calls' of github.com:circify/circ into function_calls 2022-07-20 15:33:11 -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
Clive2312
68453a8d22 merged 2022-07-19 03:30:02 +00: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
4a76549dff dynamically generated share map 2022-07-13 16:37:48 -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
8863fd94a1 compiled mnist test case 2022-07-07 01:00:43 +00:00
Edward Chen
38280f5d47 revert share map merge 2022-07-06 14:04:37 -04:00
Clive2312
58d1811ac6 testing db_join 2022-07-06 16:35:22 +00:00
Clive2312
0a1e9a81ec temp 2022-07-05 22:09:21 +00:00
Clive2312
32d2715c6a fixing memory inefficiencies in trans aby 2022-07-05 17:54:00 +00:00
Clive2312
c08276f152 disabled opt passes 2022-07-05 16:02:16 +00:00
Edward Chen
72172c05ec testing db join 2022-06-29 23:20:55 -04: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
da7aa75cfb added struct semantics 2022-06-21 18:24:02 -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
Clive2312
7e7aa20b16 uncleaned with lots of print statements 2022-05-26 23:35:10 +00:00
Clive2312
7337bd4023 test 2022-05-26 17:15:19 +00:00
Edward Chen
1821dc7721 merged master 2022-05-25 09:44:23 -04:00
Edward Chen
8a9fd407d3 test 2022-05-25 02:45:21 -04:00
Edward Chen
01d5b3bcfa updated tuple pass 2022-05-25 02:42:24 -04:00
Edward Chen
f29eec8d7b fixed return type for calls 2022-05-24 21:32:42 -04:00
Edward Chen
094b45e76b test 2022-05-23 15:06:58 -04:00
Edward Chen
e36957bbc1 minor 2022-05-23 01:34:29 -04:00
Edward Chen
03bd078b67 minor 2022-05-20 14:19:43 -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
ee43df20e2 memory explosion 2022-05-19 22:47:11 -04:00
Edward Chen
4a2255c0e5 testing calls 2022-05-18 13:17:52 -04:00
Alex Ozdemir
c1293464d2 Precomputations (or, as-known-for-proofs, witness extension) (#80) 
Co-authored-by: Riad S. Wahby <rsw@jfet.org>
 2022-05-17 08:54:04 -07:00