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
415 Commits 19 Branches 0 Tags
1075fd3063001b8397cdb277ede1753022d6f5b2
Commit Graph

133 Commits

Author SHA1 Message Date
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
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
f7995c5a8b merge with master 2022-05-04 17:33:50 -04:00
Edward Chen
c5e85b1ab3 updated test cases 2022-05-04 17:22:54 -04:00
Riad S. Wahby
a3fa232ba2 improve memory consumption ; add Z# strict unary op, ternary ?:, and type aliases (#77) 
* update TODO

* add quiet mode to zxc

* Drop and garbage collection

This commit adds Drop instances and related functionality that force
garbage collection at life cycle end of various structs that contain
Terms.

I didn't implement Drop for Computation because its Terms are generally
moved into a converter. This means that back-ends are responsible for
garbage collecting (see new functionality in ILP, R1cs, and ABY).

* collect the cfold table, too

* prevent double-panic as a result of garbage_collect()

* z# parser: zx is a default extension too

* update Cargo.lock

* strictness un-op #()

also added err messages for asserts and ?: ternary support from ZoK upstream

* for assignments, strict rhs => strict lhs

* zsharp: type definitions WIP

Still missing monomorphization.

* type defns: generic inference

* struct monomorphization for type aliased structs

* different approach: no monomorphization, just canonicalize aliases

* canonicalize struct names

* typedef tests

things work except that importing an alias and not its referent breaks typechecking

* add error message about needing to import referent structs

* update hashconsing pointer in Cargo.toml

* maybe_garbage_collect should also return early when panicking

Co-authored-by: Alex Ozdemir <aozdemir@hmc.edu>
 2022-05-04 10:08:23 -07:00
Edward Chen
c9ec54bc1a broken test case 2022-04-28 23:37:27 -04:00
Edward Chen
4e49788723 broken playground 2022-04-27 21:17:16 -04:00