Commit Graph

  • 636713dfe9 multi-threading Clive2312 2022-07-21 16:16:03 +00:00
  • a210c27dee cryptonets testing Edward Chen 2022-07-21 01:29:38 -04:00
  • e6cd0048ba lp+mut done Clive2312 2022-07-21 04:28:09 +00:00
  • 490de9e606 all benchmarks compile with lp per function Edward Chen 2022-07-21 00:00:11 -04:00
  • 924a4f4492 inline all function work Clive2312 2022-07-21 03:10:02 +00:00
  • 6802d0c27d merged Edward Chen 2022-07-20 22:06:03 -04:00
  • 6ae1985f04 fix ssa matching Clive2312 2022-07-21 02:05:58 +00:00
  • a2cfd987e0 zero bool ilp cost Edward Chen 2022-07-20 22:05:18 -04:00
  • 7d470be15d all tests working Edward Chen 2022-07-20 23:44:11 +00:00
  • e0a22afba1 working benchmarks with reasonable lowering times Edward Chen 2022-07-20 19:19:12 -04:00
  • 517553457c Merge branch 'function_calls' of github.com:circify/circ into function_calls Edward Chen 2022-07-20 15:33:11 -04:00
  • 204729ee7f updated db_join compile time Edward Chen 2022-07-20 15:33:07 -04:00
  • 12d56caf12 fix merge Clive2312 2022-07-20 15:34:42 +00:00
  • c72737ed7f merge in function updates Clive2312 2022-07-20 15:33:18 +00:00
  • 6e8959debd with bug in link Clive2312 2022-07-20 14:35:39 +00:00
  • e98b5d3af9 timing code Edward Chen 2022-07-19 17:25:11 -04:00
  • 68453a8d22 merged Clive2312 2022-07-19 03:30:02 +00:00
  • 1075fd3063 working test bench Edward Chen 2022-07-18 23:17:34 -04:00
  • 29c05f686d updating benchmark test cases Edward Chen 2022-07-18 21:45:51 -04:00
  • 4910ff546c added return struct types Edward Chen 2022-07-18 18:42:22 -04:00
  • 5e5c39fb37 mnist test case Clive2312 2022-07-18 16:22:11 +00:00
  • 9ffcfc3967 ptr arith and testing mnist Clive2312 2022-07-18 15:29:36 +00:00
  • dce090815f added all db test cases Edward Chen 2022-07-18 02:14:44 -04:00
  • 42bc753874 make ram pass better Evan Laufer 2022-07-17 22:44:53 -07:00
  • 781b37c09c merged Clive2312 2022-07-14 18:48:02 +00:00
  • 858f82d895 ptr arith unit test Edward Chen 2022-07-14 14:40:12 -04:00
  • 85d53ea534 all tests pass Edward Chen 2022-07-14 13:14:38 -04:00
  • 29b5a3d614 testing mnist Clive2312 2022-07-14 05:17:02 +00:00
  • caa427bb7e db_join 20g Edward Chen 2022-07-14 01:16:30 -04:00
  • 8182fdf1bc db_join works Edward Chen 2022-07-14 01:06:40 -04:00
  • 4a76549dff dynamically generated share map Edward Chen 2022-07-13 16:37:48 -04:00
  • 3ea06145c1 Fix ram indices to use ram values for nested lookups Evan Laufer 2022-07-13 13:26:15 -07:00
  • 7b7626d686 working db join case on small input sizes, bug in array semantics for share rewiring Edward Chen 2022-07-13 15:46:03 -04:00
  • 67968a084a updated gauss test case Edward Chen 2022-07-13 00:30:17 -04:00
  • 46eb34498c updated biomatching test case -- fixed IN and rewiring in ABY interpreter Edward Chen 2022-07-12 23:36:14 -04:00
  • c0dff7a63b add ark things to third_party Evan Laufer 2022-07-12 15:58:30 -07:00
  • 8005aa2e37 Intermediary testing commit Evan Laufer 2022-07-12 15:52:39 -07:00
  • ba23304385 added constant propagation tset cases Edward Chen 2022-07-11 10:19:22 -04:00
  • 59bf43e63f testing Edward Chen 2022-07-07 02:10:12 -04:00
  • ce06ec9ff0 working mnist Clive2312 2022-07-07 05:45:11 +00:00
  • 8863fd94a1 compiled mnist test case Clive2312 2022-07-07 01:00:43 +00:00
  • e1b4f1f882 add params Clive2312 2022-07-06 23:20:29 +00:00
  • 72058bd168 prepare for mannually merge with mutation branch Clive2312 2022-07-06 23:16:34 +00:00
  • 1d5fe4e9a3 Merge branch 'function_calls' of https://github.com/circify/circ into function_calls Clive2312 2022-07-06 18:10:09 +00:00
  • 1a2454fd5c merge Clive2312 2022-07-06 18:10:07 +00:00
  • c46b1d1bbd reverted changes Edward Chen 2022-07-06 14:09:49 -04:00
  • 4332d08b4c Merge branch 'function_calls' of github.com:circify/circ into function_calls Edward Chen 2022-07-06 14:04:42 -04:00
  • 38280f5d47 revert share map merge Edward Chen 2022-07-06 14:04:37 -04:00
  • d12a7fb023 db_join test Clive2312 2022-07-06 17:58:16 +00:00
  • d349dab7fc test merging share map Edward Chen 2022-07-06 13:55:34 -04:00
  • 58d1811ac6 testing db_join Clive2312 2022-07-06 16:35:22 +00:00
  • 9033b5da76 fixed outputs Edward Chen 2022-07-05 22:24:18 -04:00
  • 0a1e9a81ec temp Clive2312 2022-07-05 22:09:21 +00:00
  • 8f43db045a removing memory footprint of share map Clive2312 2022-07-05 19:13:46 +00:00
  • c45f736e72 Merge branch 'master' of github.com:emlaufer/circ Evan Laufer 2022-07-05 11:31:57 -07:00
  • 9f39451a54 Add marlin proof system Evan Laufer 2022-07-05 11:31:34 -07:00
  • 32d2715c6a fixing memory inefficiencies in trans aby Clive2312 2022-07-05 17:54:00 +00:00
  • c08276f152 disabled opt passes Clive2312 2022-07-05 16:02:16 +00:00
  • 72172c05ec testing db join Edward Chen 2022-06-29 23:20:55 -04:00
  • 7a779b478b Add encoding of checks for simple RAMs Evan Laufer 2022-06-29 11:49:36 -07:00
  • c7af0e0514 gauss works Edward Chen 2022-06-29 16:55:55 -04:00
  • cf6010869a Add encoding of checks for simple RAMs Evan Laufer 2022-06-29 11:49:36 -07:00
  • fc85f7c52f kmeans works Edward Chen 2022-06-26 20:04:52 -04:00
  • 8bd4dbaeed ZoKrates assertion bugfix and option to isolate (#89) Alex Ozdemir 2022-06-23 22:14:58 -07:00
  • 0658102675 RAM extraction (#88) Alex Ozdemir 2022-06-23 07:33:34 -07:00
  • da7aa75cfb added struct semantics Edward Chen 2022-06-21 18:24:02 -04:00
  • e09ed3688f added tuple update semantics to aby lowering pass Edward Chen 2022-06-21 11:31:32 -04:00
  • 4a486f270f updated cost model Edward Chen 2022-06-19 22:34:07 -04:00
  • 2f966c815c Merge branch 'function_calls' of github.com:circify/circ into function_calls Edward Chen 2022-06-19 16:40:27 -04:00
  • a2d03ba7dd removed print statements Edward Chen 2022-06-19 16:40:26 -04:00
  • e9b777f40e r1cs: lift r1cs to IR term (#87) Alex Ozdemir 2022-06-17 20:12:45 -07:00
  • 526f5c8675 smt: ff writing & SMT2 query writer (#86) Alex Ozdemir 2022-06-17 16:28:21 -07:00
  • 10ec8e9429 fix warning Alex Ozdemir 2022-06-15 22:22:18 -07:00
  • 3fbf5fa211 clean up oblivious pass Alex Ozdemir 2022-06-15 22:20:41 -07:00
  • 014604fd6f fix linking pass Alex Ozdemir 2022-06-14 20:42:04 -07:00
  • 08c9ecabbd fixed frontend Edward Chen 2022-06-08 22:32:38 -04:00
  • cb682585a4 removed test files Edward Chen 2022-06-06 16:26:56 -04:00
  • 2618ce1f5f tuple pass errors Edward Chen 2022-06-06 16:26:11 -04:00
  • 42f9536ff7 merged pull Edward Chen 2022-06-05 18:15:32 -04:00
  • 1228a73c6f playground example Edward Chen 2022-06-05 18:14:51 -04:00
  • 0d078713ab update circ example's ILP support Alex Ozdemir 2022-06-02 11:56:43 -07:00
  • 06edd9f13d fix extra arguments + release mode in driver -t Alex Ozdemir 2022-06-02 11:56:23 -07:00
  • 2079d1ce95 fixing up mem passes Alex Ozdemir 2022-06-02 10:20:07 -07:00
  • e33f770236 updating backend to support function calls Edward Chen 2022-06-02 00:57:13 -04:00
  • 6bea6953f5 print #x bv values when possible Alex Ozdemir 2022-05-31 19:33:46 -07:00
  • 4e97760223 reorg Alex Ozdemir 2022-05-31 18:59:56 -07:00
  • 5fc57d6664 ckpt2, also parse/serialize for Computation, Functions Alex Ozdemir 2022-05-30 15:38:27 -07:00
  • a2e98bcc98 ckpt Alex Ozdemir 2022-05-29 11:11:21 -07:00
  • 29c708375c updated type checking in c frontend Clive2312 2022-05-27 21:51:56 +00:00
  • 1b3229fc9b updated tuple pass Clive2312 2022-05-27 08:14:40 +00:00
  • 3a2658a264 need to scalarize array term Clive2312 2022-05-27 08:07:52 +00:00
  • 050b5b5ae7 updated C frontend to generate correct IR Clive2312 2022-05-27 07:43:07 +00:00
  • 51dc75c83a cleaning Clive2312 2022-05-27 00:05:59 +00:00
  • 7e7aa20b16 uncleaned with lots of print statements Clive2312 2022-05-26 23:35:10 +00:00
  • 7337bd4023 test Clive2312 2022-05-26 17:15:19 +00:00
  • f01c7e8fb6 test Edward Chen 2022-05-26 13:13:12 -04:00
  • 42bee8b299 merged from pull Clive2312 2022-05-26 07:38:01 +00:00
  • 3766c0cd58 Merge branch 'function_calls' of https://github.com/circify/circ into function_calls Clive2312 2022-05-26 07:36:01 +00:00
  • 23f864443c db.join Clive2312 2022-05-26 07:36:00 +00:00
  • 7c3ffacb1d merged master Edward Chen 2022-05-25 10:04:39 -04:00