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

• 75b825f677 Zokrates term ckpt 2 Alex Ozdemir 2021-02-17 11:55:10 -08:00
• bb16ac4e72 Zokrates term ckpt Alex Ozdemir 2021-02-17 00:51:24 -08:00
• 1d020d21d6 Allow field-indexed arrays. Alex Ozdemir 2021-02-16 23:58:25 -08:00
• 3132977a23 fmt Alex Ozdemir 2021-02-16 12:27:18 -08:00
• 6de075aef5 pf2bv Alex Ozdemir 2021-02-16 12:26:13 -08:00
• 10ef9a4f10 R1cs optimization Alex Ozdemir 2021-02-16 11:28:25 -08:00
• 1f11b95f01 First cut at circify Alex Ozdemir 2021-02-14 15:16:42 -08:00
• d2d3fe0c5b mem test Alex Ozdemir 2021-02-13 15:20:21 -08:00
• 899c591277 bool->SMT, with qc tests Alex Ozdemir 2021-02-13 12:13:14 -08:00
• 28c4623b87 fix check() changes in tests Alex Ozdemir 2021-02-13 01:04:49 -08:00
• cb8874ac95 Memory ckpt Alex Ozdemir 2021-02-12 18:54:21 -08:00
• 84816be9d1 Oblivious array elim Alex Ozdemir 2021-02-12 00:53:44 -08:00
• 5613c2930c mem visitor & linear mem pass Alex Ozdemir 2021-02-11 20:07:29 -08:00
• 7abb0587bb SHA CH optimization Alex Ozdemir 2021-02-11 00:00:23 -08:00
• 4fb604e0d1 trim some dead constants Alex Ozdemir 2021-02-09 20:11:07 -08:00
• 1b84831ae7 cfold for BVs, everything for field elems Alex Ozdemir 2021-02-09 17:02:43 -08:00
• 6d6e0a10fb constant folding for booleans Alex Ozdemir 2021-02-08 20:28:22 -08:00
• 2667785def Include a semantic test for n-ary optimization Alex Ozdemir 2021-02-08 19:37:26 -08:00
• 66fbf2e972 n-ary flattening Alex Ozdemir 2021-02-08 00:31:50 -08:00
• 7e4fad6382 profiling release profile Alex Ozdemir 2021-02-07 00:33:26 -08:00
• e473dfad1f div, shift tests Alex Ozdemir 2021-02-07 00:15:33 -08:00
• ec9f1c464a Reasonably complete BV->R1CS Alex Ozdemir 2021-02-06 22:48:01 -08:00
• 224b056ef4 Bv eval/R1CS ckpt Alex Ozdemir 2021-02-06 01:29:57 -08:00
• 9e8a21efd1 debitify Alex Ozdemir 2021-02-05 09:59:14 -08:00
• 0e6e987a15 Some docs Alex Ozdemir 2021-02-05 09:51:15 -08:00
• ff0ae80a78 booleans in IR->R1cs Alex Ozdemir 2021-02-05 09:40:27 -08:00
• 711f97503a Started IR->R1cs Alex Ozdemir 2021-02-04 02:04:57 -08:00
• fe7280b10e R1cs Alex Ozdemir 2021-02-03 01:48:02 -08:00
• 343ea2fa63 Random boolean term generation. Alex Ozdemir 2021-02-02 13:33:48 -08:00
• e145a1bbe1 Finish type-checking Alex Ozdemir 2021-02-02 12:13:25 -08:00
• e9e12a32e4 Start type-checking Alex Ozdemir 2021-02-02 01:25:46 -08:00