Commit Graph

Select branches

Hide Pull Requests

267-refactor-lookup-argument-creation

291-semantic-analysis-hyper-transition

chiquito-2024

gh-pages

halo2-frontend-removal-pt-II

language-server-fixes

leo/aexpr-experiment

leo/fix-readme

leo/interpreter

leo/padding-2024

leo/reduce-degree-edu0

leo/reduce-degree-edu1

leo/reduce-degree-edu2

leo/refactor-halo2

leo/sunset

leo/taikquito-experiment

main

rutefig/223-semantic-analyser-state-variables-can-only-be-declared-in-the-top-level-block

rutefig/237-fix-python-front-end

rutefig/260-why-is-main-branch-not-passing-the-github-automatic-tests

rutefig/274-using-m-type-to-keep-debugsym-in-expr

rutefig/293-parser-for-declarations-of-arrays-of-signals-and-vars

steve/fix-python-lookup

steve/hyperplonk-backend

steve/instance-data-in-halo2

steve/issue_21-less_than_gadget

steve/issue_24-fibo_example_maxwidthcellmanager

steve/issue_31-plaf

steve/issue_31-plaf_no_primefield

steve/issue_38-plaf_backend_wg_fg

steve/issue_40-public_signal

steve/issue_44-lookup_table_abstraction

steve/issue_44-lookup_table_abstraction_new

steve/issue_44-lookup_table_abstraction_proposal

steve/pil-backend

steve/pil-examples

steve/pychiquito-generate-verify-proof

steve/python-fixed-gen-lookup-mimc7

steve/python-supercircuit

steve/update-pychiquito

steve/update-readme

trang/fix-notebooks-tutorial

v2023_04_26_halo2_v2023_04_20

#1

#10

#107

#108

#11

#110

#111

#113

#114

#115

#116

#117

#118

#119

#12

#120

#121

#122

#123

#124

#125

#127

#13

#131

#132

#133

#134

#135

#136

#138

#140

#141

#143

#144

#145

#146

#148

#149

#15

#151

#152

#153

#154

#155

#157

#158

#161

#162

#163

#164

#165

#167

#172

#173

#175

#176

#177

#178

#179

#18

#180

#181

#182

#184

#185

#189

#19

#190

#191

#195

#197

#198

#199

#2

#200

#201

#202

#203

#204

#210

#211

#217

#218

#219

#224

#225

#226

#232

#233

#234

#235

#236

#238

#239

#240

#243

#245

#246

#25

#252

#253

#254

#256

#257

#259

#26

#261

#262

#263

#264

#265

#268

#269

#27

#272

#276

#277

#278

#281

#282

#283

#284

#285

#286

#288

#289

#29

#295

#297

#298

#299

#3

#30

#34

#35

#39

#4

#41

#42

#43

#45

#46

#47

#49

#50

#51

#53

#54

#55

#56

#57

#58

#63

#64

#65

#66

#67

#69

#70

#71

#72

#73

#74

#76

#77

#79

#8

#80

#81

#84

#86

#88

#89

#9

v0.1.2023070800

v1.0.2023091102

v2023_04_04

v2023_04_13

v2023_04_13_2

v2023_04_24

v2023_04_24_2

v2023_04_26

v2023_04_26_halo2_v2023_04_20

Mono Color

• c1b4d731e2 Sunset README main leo/sunset Leo Lara 2024-11-04 12:24:28 +00:00
• 6956ee793f Improve hyper-transition analysis rule 291-semantic-analysis-hyper-transition Alex Kuzmin 2024-08-30 18:51:15 +08:00
• 835d20b62f formatting rutefig/293-parser-for-declarations-of-arrays-of-signals-and-vars Rute Figueiredo 2024-08-30 11:31:24 +01:00
• d89c2d36e9 Improve error message for assignment rule in semantic analysis Alex Kuzmin 2024-08-30 18:24:44 +08:00
• 63553acf94 Implement hyper-transition analysis Alex Kuzmin 2024-08-30 18:04:15 +08:00
• 1c6b55a32f parser for declaring arrays of signals and variables Rute Figueiredo 2024-08-30 10:44:45 +01:00
• 9d28861513 Merge branch 'chiquito-2024' into rutefig/274-using-m-type-to-keep-debugsym-in-expr rutefig/274-using-m-type-to-keep-debugsym-in-expr Rute Figueiredo 2024-08-29 14:20:13 +01:00
• dd7a3eb6d8 added the debug symbol for the Expr nodes on the SBPIR while we are compiling Rute Figueiredo 2024-08-29 14:19:40 +01:00
• 1d3f06034d Parse HyperTransition syntax (#295) chiquito-2024 Alex Kuzmin 2024-08-28 17:22:25 +08:00
• 50ec990b5e Expose debug symbol start and end for the language server (#289) Alex Kuzmin 2024-08-28 00:36:07 +08:00
• 5ea705f91b added debug symbol to the setup interpreter Rute Figueiredo 2024-08-27 12:28:52 +01:00
• 04e6cbfa35 Improve trait naming language-server-fixes Alex Kuzmin 2024-08-27 16:58:13 +08:00
• 3fcc065776 transform_meta to be more generic with traits Rute Figueiredo 2024-08-27 09:52:41 +01:00
• 9c08b6dd71 Rutefig/231 applying cse to compiler (#264) Rute Figueiredo 2024-08-22 15:44:43 +01:00
• c07f98dceb Implement compilation to new SBPIR with multiple machines (#288) Alex Kuzmin 2024-08-22 19:42:14 +08:00
• de1e45886b Expose debug symbol start and end for the language server Alex Kuzmin 2024-08-22 17:27:26 +08:00
• ade4548eac Fix hyperplonk compilation (#286) Alex Kuzmin 2024-08-07 19:17:47 +08:00
• 7b10c55e8a Restore halo2 frontend compilation test (#285) Alex Kuzmin 2024-08-06 21:27:38 +08:00
• ec0cd9380a Refactor compiler to return a new structure for multiple machines (#284) Alex Kuzmin 2024-08-06 14:51:39 +08:00
• 70864560de Remove the Halo2 frontend ConstraintSystem (#282) Alex Kuzmin 2024-08-06 12:43:18 +08:00
• e3bc01caab Deprecate Halo2 compilation code that depends on Halo2 frontend (#283) Alex Kuzmin 2024-08-05 19:06:51 +08:00
• a142e84900 Remove chiquito2halo2 function in halo2 backend (#276) Alex Kuzmin 2024-07-29 17:35:36 +08:00
• 93f9553011 Remove halo2 frontend dependency halo2-frontend-removal-pt-II Alex Kuzmin 2024-07-25 13:12:14 +02:00
• 58df2980bf Remove the Halo2 frontend ConstraintSystem Alex Kuzmin 2024-07-25 11:47:55 +02:00
• b36689c3b4 Require the import of Halo2 table columns to be separate from general fixed columns 267-refactor-lookup-argument-creation Alex Kuzmin 2024-07-22 19:03:43 +02:00
• 855151f22c Fix readme leo/fix-readme Leo Lara 2024-07-22 01:36:05 +00:00
• 4b077b2b59 Improve single fixed query check Alex Kuzmin 2024-07-21 14:25:53 +02:00
• f453930839 Merge branch 'chiquito-2024' into 267-refactor-lookup-argument-creation Alex Kuzmin 2024-07-21 14:16:54 +02:00
• 3e8b9efd00 Perform exhaustive check of single fixed query for lookups Alex Kuzmin 2024-07-21 14:15:16 +02:00
• 1e9c117f62 Use table columns for single query fixed columns Alex Kuzmin 2024-07-21 13:27:48 +02:00
• 847259d224 Use real trusted setup instead of a random generator (#272) Alex Kuzmin 2024-07-17 22:27:59 +08:00
• 1f43e4df4d Padding for chiquito 2024 (#265) Leo Lara 2024-07-15 12:11:35 +07:00
• 525e3f5606 clippy leo/padding-2024 Leo Lara 2024-07-15 05:03:23 +00:00
• 722d47e08e Remove comment Leo Lara 2024-07-15 04:48:39 +00:00
• 776d4969d4 Fix typo Leo Lara 2024-07-11 10:26:34 +00:00
• 4e10417a53 Make more clear DebugSymRef::virt Leo Lara 2024-07-11 10:23:38 +00:00
• c6cde07187 Merge branch 'chiquito-2024' into leo/padding-2024 Leo Lara 2024-07-10 08:46:55 +00:00
• 6bbe1fe6b8 Refactor halo2 backend (#269) Leo Lara 2024-07-10 15:42:41 +07:00
• 0d39966e82 Remove forced adding of padding Leo Lara 2024-07-10 07:45:08 +00:00
• c85fa087ea Fix small things Leo Lara 2024-07-10 07:42:46 +00:00
• 8d5613f5e7 Fix code leo/refactor-halo2 Leo Lara 2024-07-10 07:36:22 +00:00
• 08ed3e921c Merge remote-tracking branch 'origin/266-halo2-backend-should-infer-the-k-value-from-the-number-of-rows-of-the-compilationunit' into leo/refactor-halo2 Leo Lara 2024-07-10 06:56:42 +00:00
• e51e7822a1 Fix test Leo Lara 2024-07-09 14:54:33 +00:00
• 8246537b59 Rename variable Alex Kuzmin 2024-07-09 17:31:50 +08:00
• 7febef6299 Refactor halo2 backend Leo Lara 2024-07-09 09:25:33 +00:00
• cff2e8c9e3 Simplify supercircuit Halo2 compilation Alex Kuzmin 2024-07-09 17:24:22 +08:00
• c9e1141b0a Infer k from witness size Alex Kuzmin 2024-07-09 17:03:04 +08:00
• 32c362e01a Compile to Halo2 middleware (#263) Alex Kuzmin 2024-07-08 19:36:56 +08:00
• 047d2e5df1 clippy Leo Lara 2024-07-06 12:38:26 +00:00
• d9453359be Fix tests Leo Lara 2024-07-05 13:53:13 +00:00
• 1724ec8a75 Merge branch 'chiquito-2024' into leo/padding-2024 Leo Lara 2024-07-05 13:08:00 +07:00
• f76ec01b80 Padding for chiquito 2024 Leo Lara 2024-07-05 06:04:41 +00:00
• 3d35bd5786 Fix definition references for declarations (#262) Alex Kuzmin 2024-06-25 16:46:40 +08:00
• b023b4e62e Changes for the language server (#254) Alex Kuzmin 2024-06-19 12:37:27 +08:00
• 0344903680 deploy: 8afc923334 gh-pages leolara 2024-06-13 11:17:48 +00:00
• 8afc923334 removed big endian arch target from the PyPi publish workflow (#261) Rute Figueiredo 2024-06-13 12:13:23 +01:00
• f23d27571a removed big endian arch target from the PyPi publish workflow rutefig/260-why-is-main-branch-not-passing-the-github-automatic-tests Rute Figueiredo 2024-06-11 16:50:27 +01:00
• 67b945dde9 WG interpreter (#252) Leo Lara 2024-06-11 17:55:28 +07:00
• 8e1f43f1fa clippy leo/interpreter Leo Lara 2024-06-11 10:42:48 +00:00
• 4f1887840e Merge branch 'chiquito-2024' into leo/interpreter Leo Lara 2024-06-11 09:38:59 +07:00
• b98867255d Small refactor Leo Lara 2024-06-09 16:24:49 +00:00
• 567e46eba7 implemented wg assignment rule (#259) Rute Figueiredo 2024-06-09 10:07:00 +01:00
• 7c5a3f6d43 Merge branch 'chiquito-2024' into leo/interpreter Leo Lara 2024-06-09 03:48:12 +00:00
• d7735af64c implemented if expression should be bool rule (#256) Rute Figueiredo 2024-06-08 15:46:48 +01:00
• 2d6236f73b Parameterize AssignmentGenerator by TraceGenerator (#257) rutefig/223-semantic-analyser-state-variables-can-only-be-declared-in-the-top-level-block Alex Kuzmin 2024-06-07 01:18:12 +08:00
• 9671f48b0e Merge branch 'chiquito-2024' into leo/interpreter Leo Lara 2024-06-05 13:40:38 +07:00
• a33ca833b4 Add small comment Leo Lara 2024-06-05 06:37:14 +00:00
• 9e09a0564e Add comments Leo Lara 2024-06-05 04:09:36 +00:00
• 17c40cb014 Make small piece of code more readable and encapsulated Leo Lara 2024-06-04 12:49:36 +00:00
• b9cc99cf09 Rutefig/cse hash expressions (#246) Rute Figueiredo 2024-06-04 10:16:14 +01:00
• 8270cf2b1c Merge branch 'chiquito-2024' into leo/interpreter Leo Lara 2024-05-30 10:44:17 +00:00
• 06ae59575a WG interpreter Leo Lara 2024-05-29 09:56:47 +00:00
• 97f334bc17 242 make debugsymref usable (#243) Alex Kuzmin 2024-05-21 23:12:11 +08:00
• ff1ecc9514 Update workflow to run if PR is targeting chiquito-2024 (#245) Alex Kuzmin 2024-05-21 23:11:38 +08:00
• 2790a2d7fa deploy: 93282e00b9 leolara 2024-05-08 21:36:57 +00:00
• 93282e00b9 Rutefig/237 fix python front end (#240) Rute Figueiredo 2024-05-08 22:32:35 +01:00
• b69d70badf commented the only remaining failing test rutefig/237-fix-python-front-end Rute Figueiredo 2024-05-07 17:13:14 +01:00
• fd1887f628 fixed python Fr to hex string instead of raw_bytes and fixed custom deserialization Rute Figueiredo 2024-05-07 17:11:41 +01:00
• 4775d38d23 Rutefig/231 research common subexpression elimination (#239) Rute Figueiredo 2024-05-06 14:35:32 +01:00
• 6dbd6bc9a9 fixed long integers interpreted as floating numbers after serde deserialization - python sends as str for json object Rute Figueiredo 2024-04-26 14:40:01 +01:00
• 6ec4d721e5 legacy support for union Rute Figueiredo 2024-04-23 17:47:13 +01:00
• fd979cb957 remove ignore from failing tests Rute Figueiredo 2024-04-16 17:19:15 +01:00
• 365a921ee7 removed forgotten ignore and todo Rute Figueiredo 2024-04-16 17:18:53 +01:00
• 9576a9f9b2 implemented rule to check if true and false are being used inside of … (#236) Rute Figueiredo 2024-04-03 17:19:23 +01:00
• c5e511e1de Rutefig/228 semantic analyser only types field and bool exists (#238) Rute Figueiredo 2024-04-02 16:42:20 +01:00
• 3d5bec5110 Chiquito 2024 to sbpir compiler (#234) Leo Lara 2024-04-02 14:27:49 +07:00
• 35bc660098 Backport changes in main into 2024 branch (#233) Leo Lara 2024-04-02 13:27:41 +07:00
• 02e7339135 deploy: c81ab2888d leolara 2024-04-02 04:21:09 +00:00
• c81ab2888d Fix small issue in example Leo Lara 2024-04-02 04:18:14 +00:00
• 070b64e4e4 deploy: 428f6db0c3 github-merge-queue[bot] 2024-04-02 04:04:25 +00:00
• 428f6db0c3 Update dependencies 2024-03-26 (#235) Leo Lara 2024-04-02 11:01:06 +07:00
• 5d62e5ff7b deploy: 1788d7e7ba github-merge-queue[bot] 2024-03-27 09:37:50 +00:00
• 1788d7e7ba Develop keccak (#89) even 2024-03-27 17:34:42 +08:00
• 0121bfc723 deploy: 8365674f81 github-merge-queue[bot] 2024-03-26 11:06:59 +00:00
• 8365674f81 HyperPlonk backend (#184) Steve Wang 2024-03-26 07:03:41 -04:00
• 7ce30dce44 implemented get_type function (#232) Rute Figueiredo 2024-03-23 14:56:48 +00:00
• be5a8ce2a9 deploy: d139e1b0cc github-merge-queue[bot] 2024-03-21 18:26:24 +00:00
• d139e1b0cc Feature/improve unit tests coverage (#189) Rute Figueiredo 2024-03-21 18:23:40 +00:00
• 7404dfd21f add missing binary operators to lalrpop and ast (#224) Rute Figueiredo 2024-03-13 22:36:10 +00:00
• 74dfbf5c3b Rutefig/221 semantic analyser cannot redeclare a variable wg signal in the same scope (#226) Rute Figueiredo 2024-03-12 13:41:59 +00:00