Commit Graph

Select branches

Hide Pull Requests

MASTER

aby_benchmark

builtin_c_fhe

c_benchmark_graphing_experimental

c_graphing_experimental

fhe

fix_add_c

func_with_mut

function_call

graph-partitioning

lp-modeler

master

mpc_aws

mut_graphing

ram

silph_open_source

vector_add

zsharp

zsharp-small-lc

#10

#100

#102

#103

#104

#106

#107

#108

#109

#11

#110

#111

#112

#113

#114

#115

#116

#117

#118

#119

#12

#120

#121

#122

#123

#124

#126

#127

#128

#129

#13

#130

#131

#132

#133

#134

#135

#136

#137

#138

#139

#14

#140

#141

#142

#143

#144

#145

#146

#147

#148

#149

#15

#150

#151

#152

#153

#154

#155

#156

#157

#158

#158

#159

#16

#160

#161

#162

#163

#164

#166

#167

#169

#17

#170

#171

#172

#174

#175

#176

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#187

#188

#19

#190

#193

#194

#195

#196

#197

#198

#199

#20

#200

#201

#202

#203

#204

#205

#205

#206

#206

#207

#209

#21

#211

#218

#219

#22

#221

#222

#224

#225

#225

#229

#230

#232

#232

#236

#236

#25

#26

#27

#30

#32

#33

#34

#35

#38

#4

#40

#41

#41

#42

#43

#44

#45

#46

#47

#48

#5

#50

#51

#52

#53

#54

#55

#56

#58

#59

#6

#60

#62

#63

#65

#66

#67

#68

#7

#70

#71

#72

#73

#74

#75

#76

#77

#78

#78

#8

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#96

#97

#98

Mono Color

• 52f793f3a0 feature branch: zsharp (#30) Riad S. Wahby 2022-02-06 22:47:30 -05:00
• e05c49270d adding expression calls Edward Chen 2022-02-05 17:19:01 -05:00
• a8d09793cf adding function stack Edward Chen 2022-02-04 16:08:55 -05:00
• cfc2235d66 fhe and, or, xor test cases William Seo 2022-02-03 20:47:42 +00:00
• f644be097d Implemented the generation of the code for initializing SEAL parameters, encryption, making the server function call, decryption. William Seo 2022-01-27 22:46:30 +00:00
• 65499103a0 fixed recursive constructor Edward Chen 2022-01-27 12:57:08 -05:00
• 3c3a72b765 fmt and lint Edward Chen 2022-01-27 10:32:57 -05:00
• 450aa8df93 cleaning merge Edward Chen 2022-01-27 03:41:42 -05:00
• 9bffa84a98 IR partitioning Edward Chen 2022-01-27 03:18:12 -05:00
• 09c9f032ce TODOs Alex Ozdemir 2022-01-26 20:13:47 -08:00
• 60a5c2d866 merged main to graphing Edward Chen 2022-01-26 13:14:32 -05:00
• 32c5fd18db graphing v1 Edward Chen 2022-01-25 14:14:05 -05:00
• 0eea91ea45 Remove un-needed casts (#42) Alex Ozdemir 2022-01-20 11:46:02 -08:00
• 75572c6a2c C Frontend (#22) Edward Chen 2022-01-20 13:16:27 -05:00
• eac81e2cf2 fixing build errors Edward Chen 2022-01-20 00:48:31 -05:00
• e16fbc773e addressed comments Edward Chen 2022-01-19 23:56:48 -05:00
• 616aea7475 local assignments Edward Chen 2022-01-19 21:52:06 -05:00
• 996ee74c76 partitioned ir Edward Chen 2022-01-19 17:06:24 -05:00
• d9625aba3f lint Edward Chen 2022-01-19 15:07:24 -05:00
• b019e04670 updated merge Edward Chen 2022-01-19 13:03:53 -05:00
• ef00fd1e83 cleaning code Edward Chen 2022-01-19 12:49:28 -05:00
• c4ff5094b0 added binarize opt pass Edward Chen 2022-01-17 15:28:08 -05:00
• e7cc59d676 Made new fhe folder in src/target William Seo 2022-01-17 17:39:13 +00:00
• 83f34b2bf6 Made changes suggested by Alex William Seo 2022-01-14 00:25:00 +00:00
• cce425efe7 updated graph partitioning Edward Chen 2022-01-13 15:27:27 -05:00
• c8070bbd09 updating graph partitioning scheme Edward Chen 2022-01-13 01:41:33 -05:00
• 4b4b7df197 more TODO Alex Ozdemir 2022-01-12 09:34:14 -08:00
• efd74f7b76 Remove nightly from README Alex Ozdemir 2022-01-10 02:43:05 -08:00
• cba4bdc925 Cache submodule build (#38) Alex Ozdemir 2022-01-09 08:49:07 -08:00
• be8decf937 cleaning makefile Edward Chen 2022-01-09 10:15:49 -05:00
• 1f4f8f6c1c clippy! Edward Chen 2022-01-08 21:42:22 -05:00
• 51b0da571d updated format Edward Chen 2022-01-08 21:00:11 -05:00
• 28a5527897 merged with master Edward Chen 2022-01-08 20:46:31 -05:00
• 8f15540509 Added SEAL library and FHE mode William Seo 2022-01-07 23:04:47 +00:00
• 11242a686e TODOs Alex Ozdemir 2022-01-06 09:58:30 -08:00
• a9fd7888c4 Resolve lints and add clippy to CI (#35) Alex Ozdemir 2022-01-01 12:27:36 -08:00
• f2744e0c06 IR-based Zokrates front-end (#33) Alex Ozdemir 2022-01-01 11:44:56 -08:00
• aadd6b7c2d Make the SMT solver configurable. (#34) Alex Ozdemir 2021-12-29 12:22:52 -08:00
• 48ac44a3ee Dockerfile Alex Ozdemir 2021-12-20 00:13:43 -08:00
• 81b364c2a7 Switch to stable (#32) Alex Ozdemir 2021-12-19 22:35:02 -08:00
• 3c7227e2c9 working commit Edward Chen 2021-12-17 03:15:44 -05:00
• 2a11ecf8ed added graphing support for converting IR to Chaco format Edward Chen 2021-12-17 02:58:22 -05:00
• 8914c007cd Public inputs for proofs. (#27) Alex Ozdemir 2021-12-10 13:09:05 -08:00
• 57166c7cc9 updated cost models for hycc Edward Chen 2021-12-09 17:45:01 -05:00
• 8a9f294d8d Dual licenses (Apache, MIT) Alex Ozdemir 2021-12-07 09:44:08 -08:00
• adac3c114f added proof to c frontend Edward Chen 2021-12-07 03:33:03 -05:00
• 30ccc35bec updating c frontend to include proof mode Edward Chen 2021-12-07 03:18:30 -05:00
• 4d51c27ff4 remove pycache files Edward Chen 2021-12-07 02:05:47 -05:00
• b25b18ea8f Merge remote-tracking branch 'origin/c_frontend' into c_frontend Alex Ozdemir 2021-12-06 21:05:56 -08:00
• fdd29e89e3 biomatching test works Edward Chen 2021-12-03 01:04:36 +00:00
• a702a55e93 very basic C zkp Alex Ozdemir 2021-12-02 15:48:16 -08:00
• 8268841128 demo Edward Chen 2021-12-01 08:16:35 +00:00
• be8fd6a536 Merge branch 'master' into c_frontend Alex Ozdemir 2021-11-30 17:00:29 -08:00
• 4ffa05fca6 Datalog (#26) Alex Ozdemir 2021-11-30 13:26:25 -08:00
• 201f41d941 working kmeans test Ubuntu 2021-11-30 04:17:53 +00:00
• 8a05a107ed Deterministic compilation & better CLI (#25) Alex Ozdemir 2021-11-29 15:17:32 -08:00
• 51e5bfdf28 updated ilp solver Ubuntu 2021-11-25 08:34:09 +00:00
• 3963728c6a rm dbg statements from opa_bench Alex Ozdemir 2021-11-19 20:57:23 -08:00
• cdb6e4c3e0 working kmeans test! Edward Chen 2021-11-18 03:16:18 -05:00
• 9416f6af77 update Edward Chen 2021-11-17 18:01:33 -05:00
• 6fcbaddee7 oom on gcc compiler now? Edward Chen 2021-11-17 17:35:19 -05:00
• f6cb183c8c time to change lowering memory efficiency Edward Chen 2021-11-17 13:32:19 -05:00
• ec8bf83558 does kmeans work? Edward Chen 2021-11-15 20:50:14 -05:00
• 082dd79617 almost there Edward Chen 2021-11-14 02:53:13 -05:00
• 8f7533148e kmeans array select is wrong somewhere.. Edward Chen 2021-11-12 11:23:07 -05:00
• 4d903b77c7 kmeans test works! Edward Chen 2021-11-12 02:39:32 -05:00
• ccc939b3c0 almost fixed kmeans Edward Chen 2021-11-12 01:14:01 -05:00
• fe9f66b69c kmeans test Edward Chen 2021-11-12 00:24:44 -05:00
• 9eeeea15f9 fixing array size const folding Edward Chen 2021-11-11 22:19:07 -05:00
• 62f0e53381 adding in folding calls Edward Chen 2021-11-11 21:29:51 -05:00
• 46d5a14aa9 Support Op::ConstArray in SMT target Alex Ozdemir 2021-11-04 13:56:40 -07:00
• b6fc9e112d support passing in arrays as parameters Edward Chen 2021-11-04 16:43:50 -04:00
• 8c0afa7ffc need to change how to input arrays Edward Chen 2021-11-04 00:49:39 -04:00
• ec74621ccf for loop support Edward Chen 2021-11-03 22:12:11 -04:00
• 40a4342826 passed all tests Edward Chen 2021-10-27 23:33:47 -04:00
• dc0cadc5ee small changes Edward Chen 2021-10-27 23:20:52 -04:00
• 16635ac4ef passes all c test Edward Chen 2021-10-27 23:11:18 -04:00
• 835e411f94 temp Edward Chen 2021-10-27 14:16:20 -04:00
• d9a837c30c flatten array in c Edward Chen 2021-10-26 21:21:36 -04:00
• 8f5115c6af allocation ids are weird... Edward Chen 2021-10-25 23:56:06 -04:00
• a3e5de40b2 refactoring c_frontend, including signed int and extending arrays to use AllocID Edward Chen 2021-10-25 20:34:31 -04:00
• a16b80733a extracted type_ into its own helper function Edward Chen 2021-10-22 02:27:54 -04:00
• 88b6768798 minor changes to add in typing for integers, address some review comments Edward Chen 2021-10-22 01:30:03 -04:00
• fda3fa76a3 Merge branch 'master' into c_frontend Edward Chen 2021-10-20 18:31:46 -04:00
• eb01f3e07f Working C frontend supporting just one main function, binary arithmetic, if-else stmts, & array select and store. Supports both integer and boolean types. Edward Chen 2021-10-20 18:27:59 -04:00
• df8dd66ce0 Fix build: Alex Ozdemir 2021-10-18 16:44:13 -07:00
• efe0d62263 Proof of high-value & tests Alex Ozdemir 2021-10-18 15:28:41 -07:00
• a0d07c5717 array stores and loads work! Edward Chen 2021-10-13 22:09:19 -04:00
• 9c20fd55f4 temp Edward Chen 2021-10-08 16:26:33 -04:00
• 2b320a6426 decl initialization for array types and need to reverse search ctx to get LOC Edward Chen 2021-10-06 22:11:43 -04:00
• 82358e89fd array sum! Edward Chen 2021-10-03 17:51:23 -04:00
• 1bbb41126e updating array constructs Edward Chen 2021-10-02 20:01:15 -04:00
• 193a680eaa adding arr struct Edward Chen 2021-09-30 23:44:36 -04:00
• d83c26de06 conditionals work!0 Edward Chen 2021-09-30 22:20:53 -04:00
• 7af5c69940 ite... doesn't work yet Edward Chen 2021-09-28 20:27:50 -04:00
• a4297bc022 updated testing suite for both zok and c frontends Edward Chen 2021-09-27 19:39:17 -04:00
• 9787c355c6 updated Edward Chen 2021-09-26 20:30:38 -04:00
• 5a46a5da8d updated zok tests and added casting to c frontend Edward Chen 2021-09-24 16:00:34 -04:00
• b654c484d0 adding in boolean and bitwise operations for c frontend Edward Chen 2021-09-20 17:19:18 -04:00
• 4a01517ea3 int tests work for c frontendgit add .git add . Edward Chen 2021-09-19 21:05:34 -04:00