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

• aa7f19f169 implemented rule to check if the machine declaration contains anythin… (#225) Rute Figueiredo 2024-03-12 13:37:36 +00:00
• a43cbf22ff Implement todos abepi (#211) Rute Figueiredo 2024-03-07 12:22:45 +00:00
• 0cb341cd01 213 semantic analysier expressions (#219) Rute Figueiredo 2024-03-05 08:48:56 +00:00
• 0e0ddd64e3 deploy: ad070771ee github-merge-queue[bot] 2024-03-05 06:45:23 +00:00
• ad070771ee Develop blake2f circuits (#201) even 2024-03-05 14:42:53 +08:00
• 6701e0c81c deploy: 15f441b8ed github-merge-queue[bot] 2024-03-04 03:07:44 +00:00
• 15f441b8ed PIL Backend with PIL IR (#165) Steve Wang 2024-03-03 22:05:09 -05:00
• 04169d2ce7 215 add variable assignment operator to parser (#218) Rute Figueiredo 2024-03-01 12:00:47 +00:00
• f944c2254d implemented rule to constraint assignments only to signals (#217) Rute Figueiredo 2024-02-29 14:12:42 +00:00
• e4b7394729 deploy: 8817d866d2 github-merge-queue[bot] 2024-02-26 08:16:05 +00:00
• 8817d866d2 Fix typos (#210) Dimitris Apostolou 2024-02-26 10:13:44 +02:00
• 79aff0f54d implemented low to high algorithm for modular exponentiation (#202) Rute Figueiredo 2024-02-21 11:09:14 +00:00
• 9c914769ec Fix small bug in LALRPOP (#204) Leo Lara 2024-02-20 10:48:11 +07:00
• a205bed881 Prototype semantic analyser (#203) Leo Lara 2024-02-19 18:29:05 +07:00
• 5068812224 Chiquito EBFN (#200) Leo Lara 2024-02-13 10:46:13 +07:00
• 0f92cfbe22 Experimental ABEPI (#199) Leo Lara 2024-02-08 13:06:33 +07:00
• fe1b2ccbc9 deploy: 5943fbde3b github-merge-queue[bot] 2024-02-05 12:26:27 +00:00
• 5943fbde3b Rutefig/194 add check that the signal is in the circuit (#198) Rute Figueiredo 2024-02-05 12:24:07 +00:00
• 79306a7eda Experimental parser (#190) Leo Lara 2024-02-05 18:55:35 +07:00
• 2be7735ade deploy: 4c9a23be1b github-merge-queue[bot] 2024-02-05 06:21:54 +00:00
• 4c9a23be1b fix docs link (#197) 0xbok 2024-02-05 11:49:19 +05:30
• ae21e94086 deploy: 031d63b1c3 github-merge-queue[bot] 2024-01-31 22:57:39 +00:00
• 031d63b1c3 Track compilation phase on CompilationUnit (#195) Rute Figueiredo 2024-01-31 22:55:19 +00:00
• 9c72f90f81 deploy: c23c8dc171 github-merge-queue[bot] 2024-01-17 14:19:54 +00:00
• c23c8dc171 Port Poseidon example to Python (#178) sraver 2024-01-17 21:17:17 +07:00
• 6717c17f2b deploy: 42a2102fe1 github-merge-queue[bot] 2024-01-15 16:46:18 +00:00
• 42a2102fe1 Degree reduction and multiplicative inverse elimination (#177) Leo Lara 2024-01-15 23:43:55 +07:00
• d494727765 Add test for reduction equality leo/reduce-degree-edu2 Eduard S 2024-01-15 11:03:57 +00:00
• 2ac7d77dd2 Simplify reduce leo/reduce-degree-edu1 Eduard S 2024-01-12 13:02:34 +00:00
• 8f5ceea044 Simplify reduce leo/reduce-degree-edu0 Eduard S 2024-01-12 13:02:34 +00:00
• ac6b6fcebb Restore comment Leo Lara 2024-01-11 22:24:47 +00:00
• a4d9f9b535 Clean code Leo Lara 2024-01-11 22:21:49 +00:00
• f9dd9dd2b6 Simplify mi_elimination, reduce_degree Eduard S 2024-01-11 16:13:27 +00:00
• bea09199be Simplify mi_elimination, reduce_degree Eduard S 2024-01-11 16:13:27 +00:00
• 0f7bf8f796 Fix singal identifier Leo Lara 2024-01-09 19:57:39 +00:00
• 9ab3b67bce Fix rename Leo Lara 2024-01-09 19:51:15 +00:00
• 3fd9169dc8 Merge branch 'main' into leo/reduce-degree Leo Lara 2024-01-10 02:48:26 +07:00
• 4b35b53121 Simplify code Leo Lara 2024-01-09 18:19:56 +00:00
• 40fe85d076 Comment better on poly decomposition Leo Lara 2024-01-09 17:56:42 +00:00
• 362149aad3 Fix examples use of sbpir Leo Lara 2024-01-09 17:41:50 +00:00
• 4e45ee519d Rename ast to SBPIR Leo Lara 2024-01-05 19:41:56 +00:00
• 912b4bea36 deploy: 802615f734 github-merge-queue[bot] 2023-11-27 20:16:41 +00:00
• 802615f734 some small fixes on the docs (#182) Rute Figueiredo 2023-11-27 19:35:16 +00:00
• 10c5e86cc0 Multiplicative index elimination Leo Lara 2023-11-22 02:47:57 +00:00
• 08f0313263 fix conflict steve/pil-backend Steve Wang 2023-11-21 20:58:46 -05:00
• 9e3fe6629d Merge branch 'main' into steve/pil-backend Steve Wang 2023-11-21 20:55:42 -05:00
• e06c1ddf24 deploy: 69745a5ec7 github-merge-queue[bot] 2023-11-21 00:32:58 +00:00
• 69745a5ec7 WIP: Issue 75 add unit tests to DSL (#157) nullbitx8 2023-11-20 19:30:38 -05:00
• 607757d4a0 deploy: 17c529a74c github-merge-queue[bot] 2023-11-19 15:59:59 +00:00
• 17c529a74c fix small typo (#181) Rute Figueiredo 2023-11-19 15:57:41 +00:00
• 7ea7a829b6 deploy: 839750357d leolara 2023-11-19 05:51:13 +00:00
• 6210bcb310 Update CNAME Leo Lara 2023-11-19 12:49:31 +07:00
• 839750357d Publish book Leo Lara 2023-11-18 21:14:59 +00:00
• 9b59fc782e deploy: 03ddbb5b367c606bfdcc6d80fb2ea9e4082da668 leolara 2023-11-19 05:14:59 +00:00
• 108d01d68a deploy: 419f6d8e13f7d59ca66192e56f5a37fa15181c6e leolara 2023-11-18 21:52:01 +00:00
• 3f0294f14e deploy: 46252835624bbf958a593d880ffda6cd73ec9f90 leolara 2023-11-18 21:38:56 +00:00
• ccbcad9568 deploy: 46252835624bbf958a593d880ffda6cd73ec9f90 leolara 2023-11-18 21:38:55 +00:00
• 6092b202e7 deploy: 3c6c3ca706677df4d5f07db981057918f95bd8a1 leolara 2023-11-18 21:24:09 +00:00
• 1f494aa96b deploy: 3c6c3ca706677df4d5f07db981057918f95bd8a1 leolara 2023-11-18 21:24:05 +00:00
• 34e1716df6 Publish book Leo Lara 2023-11-18 20:41:35 +00:00
• 194825445a Leo/make book (#180) Leo Lara 2023-11-19 02:59:02 +07:00
• 2f6c0ecce5 deploy: 665472ccf6 leolara 2023-11-18 19:29:12 +00:00
• 665472ccf6 Add book to Makefile (#179) Leo Lara 2023-11-19 02:28:13 +07:00
• 803c8b5b75 Some renaming and comments Leo Lara 2023-11-17 14:32:06 +00:00
• b3c0504ef1 Add more tests Leo Lara 2023-11-17 12:37:28 +00:00
• 341f5b0472 clippy Leo Lara 2023-11-16 05:10:55 +00:00
• c9982ec550 Basic degree reduction Leo Lara 2023-11-15 06:27:57 +00:00
• fc2a63f722 Move poly Leo Lara 2023-11-15 06:09:46 +00:00
• 4a5b235ef4 more experiments steve/hyperplonk-backend Steve Wang 2023-11-14 21:29:22 -05:00
• ec3ad08bd5 first commit Steve Wang 2023-11-14 15:21:39 -05:00
• 9b678e98db deploy: bd68dbf0af github-merge-queue[bot] 2023-11-08 14:12:01 +00:00
• bd68dbf0af Add optional keyword arguments to SuperCircuit (#176) sraver 2023-11-08 15:10:24 +01:00
• 4317c14a5d deploy: cfdb6dc623 github-merge-queue[bot] 2023-11-07 23:32:38 +00:00
• cfdb6dc623 Keep witness argument immutable on halo2_mock_prover (#175) sraver 2023-11-08 00:31:26 +01:00
• e3eac73376 deploy: f1e749163b github-merge-queue[bot] 2023-11-03 01:43:58 +00:00
• f1e749163b Python frontend lookup fix (#173) Steve Wang 2023-11-02 21:42:10 -04:00
• 101e15421a lookup fix steve/fix-python-lookup Steve Wang 2023-11-02 16:52:53 -04:00
• a1fe24469d updated version number Steve Wang 2023-11-01 18:35:07 -04:00
• 5476ac6ba9 merge main Steve Wang 2023-11-01 18:33:49 -04:00
• fbcaa8314e refactored ir code structure Steve Wang 2023-11-01 18:31:38 -04:00
• 7a8c488cbb deploy: 726b2a9e7a github-merge-queue[bot] 2023-11-01 06:02:38 +00:00
• 726b2a9e7a Automatic signals generation (#152) Leo Lara 2023-11-01 13:00:56 +07:00
• fdfc7465f0 deploy: 93e0fad13d github-merge-queue[bot] 2023-10-30 21:04:56 +00:00
• 93e0fad13d Feature/optimise step selector builder (#154) Rute Figueiredo 2023-10-30 21:03:27 +00:00
• a1fa544245 deploy: 4bdf8eb412 github-merge-queue[bot] 2023-10-30 19:31:57 +00:00
• 4bdf8eb412 Small corrections in the tutorials (#145) sraver 2023-10-30 20:30:35 +01:00
• 8803c3a477 added pil examples steve/pil-examples Steve Wang 2023-10-30 13:02:15 -04:00
• 9a08e63095 update version number Steve Wang 2023-10-28 09:24:35 -04:00
• 4497731a84 clippy Steve Wang 2023-10-28 09:04:57 -04:00
• fb680aaf1f Merge branch 'main' into steve/pil-backend Steve Wang 2023-10-27 16:26:53 -04:00
• f3f1b83a6d docs: fix typo (#164) vuittont60 2023-10-27 23:37:32 +08:00
• ab6b648eb7 Update part2_chapter5.ipynb (#163) nullbitx8 2023-10-27 11:22:30 -04:00
• 009690be30 Add test coverage reporting (#162) nullbitx8 2023-10-26 07:36:35 -04:00
• dd34392b37 deploy: d0933d7e4f github-merge-queue[bot] 2023-10-26 11:11:20 +00:00
• d0933d7e4f Jupyter Book (#161) Steve Wang 2023-10-26 07:09:51 -04:00
• cdbf2fb3d1 deploy: 44a54a157d github-merge-queue[bot] 2023-10-21 10:40:39 +00:00
• 44a54a157d Fix cargo fmt suggestions (#158) nullbitx8 2023-10-21 06:39:09 -04:00
• 02cf550bd1 clippy' Steve Wang 2023-10-19 18:33:33 +07:00
• 70e2e26f14 fmt Steve Wang 2023-10-19 18:20:22 +07:00
• f7782e3947 clean up Steve Wang 2023-10-19 18:14:45 +07:00