github/chiquito
1
1
Fork 0
mirror of https://github.com/privacy-scaling-explorations/chiquito.git synced 2026-01-08 21:48:03 -05:00
Code Issues Packages Projects Releases Wiki Activity
132 Commits 43 Branches 9 Tags

Default Branch

main

c1b4d731e2 · Sunset README · Updated 2024-11-04 07:24:28 -05:00
 ZIP  TAR.GZ

Branches

leo/sunset

c1b4d731e2 · Sunset README · Updated 2024-11-04 07:24:28 -05:00    github

0
0
 Included
 ZIP  TAR.GZ
291-semantic-analysis-hyper-transition

6956ee793f · Improve hyper-transition analysis rule · Updated 2024-08-30 06:51:15 -04:00    github

15
45
 ZIP  TAR.GZ
rutefig/293-parser-for-declarations-of-arrays-of-signals-and-vars

835d20b62f · formatting · Updated 2024-08-30 06:31:24 -04:00    github

15
44
 ZIP  TAR.GZ
rutefig/274-using-m-type-to-keep-debugsym-in-expr

9d28861513 · Merge branch 'chiquito-2024' into rutefig/274-using-m-type-to-keep-debugsym-in-expr · Updated 2024-08-29 09:20:13 -04:00    github

15
46
 ZIP  TAR.GZ
chiquito-2024

1d3f06034d · Parse HyperTransition syntax (#295) · Updated 2024-08-28 05:22:25 -04:00    github

15
42
 ZIP  TAR.GZ
language-server-fixes

04e6cbfa35 · Improve trait naming · Updated 2024-08-27 04:58:13 -04:00    github

15
40
 ZIP  TAR.GZ
halo2-frontend-removal-pt-II

93f9553011 · Remove halo2 frontend dependency · Updated 2024-07-25 07:12:14 -04:00    github

15
34
 ZIP  TAR.GZ
267-refactor-lookup-argument-creation

b36689c3b4 · Require the import of Halo2 table columns to be separate from general fixed columns · Updated 2024-07-22 13:03:43 -04:00    github

15
37
 ZIP  TAR.GZ
leo/fix-readme

855151f22c · Fix readme · Updated 2024-07-21 21:36:05 -04:00    github

1
1
 ZIP  TAR.GZ
leo/padding-2024

525e3f5606 · clippy · Updated 2024-07-15 01:03:23 -04:00    github

15
41
 ZIP  TAR.GZ
leo/refactor-halo2

8d5613f5e7 · Fix code · Updated 2024-07-10 03:36:22 -04:00    github

15
36
 ZIP  TAR.GZ
gh-pages

0344903680 · deploy: 8afc923334 · Updated 2024-06-13 07:17:48 -04:00    github

132
105
 ZIP  TAR.GZ
rutefig/260-why-is-main-branch-not-passing-the-github-automatic-tests

f23d27571a · removed big endian arch target from the PyPi publish workflow · Updated 2024-06-11 11:50:27 -04:00    github

2
1
 ZIP  TAR.GZ
leo/interpreter

8e1f43f1fa · clippy · Updated 2024-06-11 06:42:48 -04:00    github

15
35
 ZIP  TAR.GZ
rutefig/223-semantic-analyser-state-variables-can-only-be-declared-in-the-top-level-block

2d6236f73b · Parameterize AssignmentGenerator by TraceGenerator (#257) · Updated 2024-06-06 13:18:12 -04:00    github

15
23
 ZIP  TAR.GZ
rutefig/237-fix-python-front-end

b69d70badf · commented the only remaining failing test · Updated 2024-05-07 12:13:14 -04:00    github

3
6
 ZIP  TAR.GZ
leo/reduce-degree-edu2

d494727765 · Add test for reduction equality · Updated 2024-01-15 06:03:57 -05:00    github

16
17
 ZIP  TAR.GZ
leo/reduce-degree-edu1

2ac7d77dd2 · Simplify reduce · Updated 2024-01-12 08:48:21 -05:00    github

16
17
 ZIP  TAR.GZ
leo/reduce-degree-edu0

8f5ceea044 · Simplify reduce · Updated 2024-01-12 08:02:34 -05:00    github

16
15
 ZIP  TAR.GZ
steve/pil-backend

08f0313263 · fix conflict · Updated 2023-11-21 20:58:46 -05:00    github

17
23
 ZIP  TAR.GZ