Default Branch

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

Branches

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

0
0
Included

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

15
45

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

15
44

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

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

15
42

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

15
40

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

15
34

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

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

1
1

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

15
41

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

15
36

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

132
105

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

2
1

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

15
35

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

15
23

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

3
6

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

16
17

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

16
17

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

16
15

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

17
23