Default Branch

291af0bf48 · build: add r1cs flag to zxc example (#230) · Updated 2025-06-03 02:55:46 -04:00

Branches

b201ecfbcb · locating libcrypto in ci machine · Updated 2025-02-09 17:13:02 -05:00    github

6
4

90e1cfe3e7 · add kahip · Updated 2023-05-22 12:22:42 -04:00    github

108
390

4c7ba23d6b · merge with array fix · Updated 2023-05-11 10:51:56 -04:00    github

48
17

f76f122e27 · Smaller linear combinations. · Updated 2023-03-31 12:00:16 -04:00    github

74
27

4865ce6b93 · Special-case multiply-by-constant in R1CS lowering · Updated 2023-03-27 19:11:07 -04:00    github

74
26

ec9ef12415 · SV Comp-style tests for C front-end. (#100) · Updated 2023-01-22 14:18:08 -05:00    github

108
389

1fa5d91580 · working taint analysis · Updated 2022-11-01 17:12:57 -04:00    github

116
29
ram

bda8675164 · Merge commit '84b2f33e5f9b6006fadfd28a4f3fa91831209f03' into ram · Updated 2022-10-24 11:05:24 -04:00    github

90
14

39eb5cd508 · fixed rotation logic · Updated 2022-10-09 22:30:44 -04:00    github

92
13
fhe

18b4112f05 · Added test case generation for testing batched vs naive · Updated 2022-09-29 21:02:18 -04:00    github

116
27

862e970fad · add.c: mpc_main -> main · Updated 2022-08-03 16:31:54 -04:00    github

99
1

be5f6643b0 · merge latest lowering · Updated 2022-07-30 21:45:44 -04:00    github

108
292

8c5d3f79f8 · fixed asserts · Updated 2022-05-14 22:27:47 -04:00    github

112
16

59eb138baa · benchmark update · Updated 2022-04-27 19:44:43 -04:00    github

116
171

57565b4c0a · merge c_frontend with graphing_aby EXPERIMENTAL · Updated 2022-03-24 13:36:55 -04:00    github

126
151

06db5bfd7b · timing and mp testing · Updated 2022-03-24 12:05:19 -04:00    github

144
103

4d90141f78 · update cost calculation · Updated 2022-02-24 15:19:10 -05:00    github

147
77

01120bfa74 · WIP · Updated 2021-08-03 18:26:03 -04:00    github

190
1