Commit Graph

  • 496f346376 reverse constindex and add emp cost model Clive2312 2022-08-14 06:10:37 +00:00
  • 1aa73f0017 Merge branch 'mpc_aws' of clivehaha.github.com:circify/circ into mpc_aws Clive2312 2022-08-14 03:52:10 +00:00
  • 72f65e07ce for array Clive2312 2022-08-14 03:51:51 +00:00
  • 8b41bb0f6b moved const aarray to frontend Edward Chen 2022-08-13 23:39:13 -04:00
  • 71e599de47 Merge branch 'mpc_aws' of clivehaha.github.com:circify/circ into mpc_aws Clive2312 2022-08-14 02:52:21 +00:00
  • 93eff2e5fd clean up Clive2312 2022-08-14 02:52:18 +00:00
  • 4c50c8eabf HACKY NEW ARRAY OP Edward Chen 2022-08-13 22:49:45 -04:00
  • 3290e42650 merged Edward Chen 2022-08-13 20:39:51 -04:00
  • ab0685fcf1 merge Clive2312 2022-08-13 22:28:40 +00:00
  • 57d32ae6af opt def use mem Clive2312 2022-08-13 22:27:42 +00:00
  • ce9729fae0 add assignment time Edward Chen 2022-08-12 18:24:41 -04:00
  • 77ffa2b8fc Merge branch 'mpc_aws' of clivehaha.github.com:circify/circ into mpc_aws Clive2312 2022-08-12 15:31:00 +00:00
  • 4686854248 fmt (#98) Alex Ozdemir 2022-08-12 04:32:57 -07:00
  • 05ca4eda11 bv uext in smt output (#97) Alex Ozdemir 2022-08-12 04:07:34 -07:00
  • 8b1ef7c6b0 all working test cases Edward Chen 2022-08-11 07:06:18 +00:00
  • 8757fc55e4 enable smart_glp Clive2312 2022-08-11 06:13:10 +00:00
  • 4b68bdc7da merged Edward Chen 2022-08-11 05:31:23 +00:00
  • da4b41e262 merged Edward Chen 2022-08-11 05:13:46 +00:00
  • dbf1ad83fa created db_join_5 Edward Chen 2022-08-11 05:13:21 +00:00
  • 11b389cb57 merge ite and fix some Clive2312 2022-08-11 04:32:25 +00:00
  • 83b874066f done with css mnist Clive2312 2022-08-10 22:30:38 +00:00
  • 1ce7832f3c updated ite opt Edward Chen 2022-08-10 14:49:42 -04:00
  • c27f471999 added ITE optimization Edward Chen 2022-08-10 04:07:24 -04:00
  • ff44f05726 added gcd and psi test cases Edward Chen 2022-08-10 03:21:52 -04:00
  • 80296cc86e css but buggy Clive2312 2022-08-09 05:14:18 +00:00
  • 58c08d6851 merge func_with_mut buggy Clive2312 2022-08-04 03:31:07 +00:00
  • 8e71c8eb9b new ILP formulation Clive2312 2022-08-04 03:11:59 +00:00
  • 11e5365076 merged with mpc_aws Edward Chen 2022-08-03 21:43:24 -04:00
  • 7d348c1fa5 updated .gitignore Edward Chen 2022-08-03 21:42:41 -04:00
  • 6406dc070f removed test cases Edward Chen 2022-08-03 21:41:22 -04:00
  • e3dd225540 removed test files Edward Chen 2022-08-03 21:40:50 -04:00
  • 1947a1d880 merged Edward Chen 2022-08-03 21:40:09 -04:00
  • ca4d4b3aea updated test cases to fit within 30 gb of memory Edward Chen 2022-08-03 21:34:12 -04:00
  • 8c20cc1e19 added mnist decomp convolution testcase Edward Chen 2022-08-03 22:52:19 +00:00
  • 0c1c91c903 updated test suite for mnist decomp Edward Chen 2022-08-03 21:46:48 +00:00
  • 20198e9012 add.c: mpc_main -> main (#96) Riad S. Wahby 2022-08-03 17:38:18 -04:00
  • 2295e254e1 merged Edward Chen 2022-08-03 17:29:26 -04:00
  • 3d68cb5124 mnist decomp main testcase Edward Chen 2022-08-03 17:29:06 -04:00
  • 862e970fad add.c: mpc_main -> main fix_add_c Riad S. Wahby 2022-08-03 16:31:54 -04:00
  • 8d08f4fb6a ignore tests Edward Chen 2022-08-02 19:04:12 +00:00
  • 7bcb8919cb updated benchmarks Edward Chen 2022-08-02 15:03:17 -04:00
  • 2f8b8926d9 updated circ benchmarks Edward Chen 2022-08-02 12:28:30 -04:00
  • a05a76db02 merged Edward Chen 2022-08-02 12:26:28 -04:00
  • 0b7fd20a5d updated test cases Edward Chen 2022-08-02 12:12:26 -04:00
  • c7ef792070 Merge branch 'function_calls' of github.com:circify/circ into function_calls Edward Chen 2022-08-02 11:24:45 -04:00
  • 547dd9a64a adding mnist and cryptonets testcase Edward Chen 2022-08-02 11:24:41 -04:00
  • 5030b51466 added benchmark spec files Edward Chen 2022-08-02 03:57:33 -04:00
  • b2631689b1 assigment hack Edward Chen 2022-08-02 03:20:26 -04:00
  • 985818c8be removed unecessary bench logs Edward Chen 2022-08-02 06:42:44 +00:00
  • 12084fb5f2 added back benchmark Edward Chen 2022-08-02 06:42:02 +00:00
  • b42fc93a67 removed benchmark cmd and minior updates to benchmarking scripts Edward Chen 2022-08-02 04:48:27 +00:00
  • 58720bf977 removed benchmark cmd and minior updates to benchmarking scripts Edward Chen 2022-08-02 04:48:27 +00:00
  • e362f9501b change ffOP to ff.OP in SMT backend (#94) Alex Ozdemir 2022-08-01 17:12:04 -07:00
  • 6805789405 update Edward Chen 2022-07-31 01:02:05 -04:00
  • f30627ea24 update aws setup Edward Chen 2022-07-31 00:08:32 -04:00
  • 98a9a417bd updated circ build script Edward Chen 2022-07-30 23:12:42 -04:00
  • d6a2feef4b Cleaned trans.rs and added benchmark logging Edward Chen 2022-07-30 21:45:40 -04:00
  • be5f6643b0 merge latest lowering func_with_mut Clive2312 2022-07-31 01:45:44 +00:00
  • 08f8cbdb1c updated compiler warnings and cleaned print statements Edward Chen 2022-07-30 20:53:51 -04:00
  • 7b8cc0c5a3 updated refresh script Edward Chen 2022-07-30 15:31:19 -04:00
  • 7436b44771 updated aws setup script Edward Chen 2022-07-30 15:13:48 -04:00
  • 308739c59b update aws script Edward Chen 2022-07-30 14:54:47 -04:00
  • aefc7a78e4 updated aws script Edward Chen 2022-07-30 14:49:36 -04:00
  • 4cd96efa15 added HyCC build to aws script Edward Chen 2022-07-30 14:40:12 -04:00
  • 59b1b8f5b0 Enable def use graph Clive2312 2022-07-30 18:23:50 +00:00
  • 4c410e45ef merged with function calls, built test cases Edward Chen 2022-07-30 13:40:46 -04:00
  • 957b0ad028 moved array semantics to aby interpeter Edward Chen 2022-07-30 01:13:49 -04:00
  • b8f00a7950 db join 50x50 test case Edward Chen 2022-07-29 11:34:05 -04:00
  • 6249947570 updated aws setup script Edward Chen 2022-07-28 02:57:31 -04:00
  • 52b994be8f updated benchmark Edward Chen 2022-07-28 02:44:39 -04:00
  • 99bbf0db70 benchmark script Edward Chen 2022-07-28 01:47:08 -04:00
  • c497c25bda updated setup script Edward Chen 2022-07-28 01:20:08 -04:00
  • 45270c8627 aws setup script Edward Chen 2022-07-28 01:14:34 -04:00
  • 174622d6ef millionaires test case Edward Chen 2022-07-27 19:03:04 -04:00
  • b7db675c3e updated to match aby interpeter Edward Chen 2022-07-27 18:58:49 -04:00
  • 19dd0a5bb9 kmeans exec ok Clive2312 2022-07-27 21:21:48 +00:00
  • 59d5087ab0 lint (#93) Alex Ozdemir 2022-07-27 13:26:04 -07:00
  • 106af9e016 integer constant folding (#92) Alex Ozdemir 2022-07-27 13:16:06 -07:00
  • 49a20584bf fix kmeans Clive2312 2022-07-27 19:56:15 +00:00
  • f1cfac1772 minor Edward Chen 2022-07-27 14:37:30 -04:00
  • 803abcf830 all test cases pass Edward Chen 2022-07-26 22:25:47 -04:00
  • 47b1a5cec0 done with crypotnet Clive2312 2022-07-27 01:36:33 +00:00
  • 24c6fcbd47 merge in function_calls Clive2312 2022-07-26 22:42:31 +00:00
  • 863ad3df9e better ilp and fix performance Clive2312 2022-07-26 22:36:27 +00:00
  • 3347bca5ce minor Edward Chen 2022-07-26 18:19:30 -04:00
  • 0b3c936a40 Integers (#91) Alex Ozdemir 2022-07-26 15:12:14 -07:00
  • faf7cc4d64 broken cryptonets but removed additional consts Edward Chen 2022-07-25 12:59:38 -04:00
  • dced032515 merge hack but still slow Clive2312 2022-07-25 03:02:00 +00:00
  • a72442fb6b working histogram Edward Chen 2022-07-24 19:09:02 -04:00
  • 9849810992 removed unnecessary type cache Edward Chen 2022-07-24 18:39:51 -04:00
  • 6a8227f268 hack for removing extra cons Clive2312 2022-07-24 18:54:12 +00:00
  • 87d5d1ab89 updated extra const removal Edward Chen 2022-07-24 14:47:55 -04:00
  • 24391ee67f update cost model and remove duplicate cons gate Clive2312 2022-07-24 04:11:14 +00:00
  • 8959504052 basic css implementation Edward Chen 2022-07-23 14:55:36 -04:00
  • 0ca9ef2f7b added histogram test case Edward Chen 2022-07-22 22:39:56 -04:00
  • 152eefc488 Fix r1cs time Evan Laufer 2022-07-22 15:00:15 -07:00
  • 2d0709342e bugfix: pfadd->pfmul (#90) Alex Ozdemir 2022-07-22 09:01:18 -07:00
  • 85050c8d3e merge for cryptonets Clive2312 2022-07-21 18:14:06 +00:00
  • 584d033c86 fix logging Clive2312 2022-07-21 18:12:55 +00:00
  • c3f4f1087e cryptonets correctness testing and call_site_similarity start Edward Chen 2022-07-21 13:09:01 -04:00