Skip to content

Actions: input-output-hk/halo2

Actions

Beta lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints-beta.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove usable_rows check on fixed columns Beta lints #25: Commit 56b0d40 pushed by miguel-ambrona
April 24, 2024 09:39 1m 29s ambrona@tight-k
ambrona@tight-k
April 24, 2024 09:39 1m 29s
Remove usable_rows check on fixed columns Beta lints #24: Commit 3ce1e65 pushed by miguel-ambrona
April 24, 2024 09:36 2m 29s ambrona@tight-k-for-lookups
ambrona@tight-k-for-lookups
April 24, 2024 09:36 2m 29s
Remove usable_rows check on fixed columns Beta lints #23: Commit 56b0d40 pushed by miguel-ambrona
April 24, 2024 09:35 1m 9s ambrona@tight-k-for-lookups
ambrona@tight-k-for-lookups
April 24, 2024 09:35 1m 9s
Disable usabe_rows check on fixed columns Beta lints #22: Commit 0c8714f pushed by miguel-ambrona
April 24, 2024 09:10 1m 2s ambrona@tight-k-for-lookups
ambrona@tight-k-for-lookups
April 24, 2024 09:10 1m 2s
Improve prover-key size on write (increase exec time on read) Beta lints #21: Commit b6d8ab7 pushed by miguel-ambrona
April 23, 2024 15:45 58s ambrona@write-pk
ambrona@write-pk
April 23, 2024 15:45 58s
wip Beta lints #20: Commit f3bab25 pushed by miguel-ambrona
April 23, 2024 14:38 1m 1s ambrona@pk
ambrona@pk
April 23, 2024 14:38 1m 1s
minor Beta lints #19: Commit 2e591d5 pushed by miguel-ambrona
April 23, 2024 14:11 58s ambrona@pk
ambrona@pk
April 23, 2024 14:11 58s
WIP Beta lints #18: Commit 9d7f948 pushed by miguel-ambrona
April 23, 2024 14:01 57s ambrona@pk
ambrona@pk
April 23, 2024 14:01 57s
wip Beta lints #17: Commit 3f0b592 pushed by miguel-ambrona
April 23, 2024 13:46 1m 2s ambrona@pk
ambrona@pk
April 23, 2024 13:46 1m 2s
add times on perm key generation Beta lints #16: Commit 81b57b4 pushed by miguel-ambrona
April 23, 2024 11:39 55s ambrona@pk
ambrona@pk
April 23, 2024 11:39 55s
apply serialization trick to permutation argument too Beta lints #15: Commit f38697a pushed by miguel-ambrona
April 23, 2024 11:37 1m 7s ambrona@pk
ambrona@pk
April 23, 2024 11:37 1m 7s
wip Beta lints #14: Commit d317e93 pushed by miguel-ambrona
April 23, 2024 11:19 56s ambrona@pk
ambrona@pk
April 23, 2024 11:19 56s
print times of recomputing pk part that was not saved to memory Beta lints #13: Commit 822210c pushed by miguel-ambrona
April 23, 2024 10:55 57s ambrona@pk
ambrona@pk
April 23, 2024 10:55 57s
reducing pk size on serializatoin Beta lints #12: Commit 53b1fe8 pushed by miguel-ambrona
April 23, 2024 10:47 59s ambrona@pk
ambrona@pk
April 23, 2024 10:47 59s
Reduce verifier KZG params (#4) Beta lints #11: Commit c161056 pushed by davidnevadoc
April 3, 2024 08:15 56s fixed_73408a1
fixed_73408a1
April 3, 2024 08:15 56s
Fix number of rows (#3) Beta lints #10: Commit 66ae3ec pushed by iquerejeta
April 1, 2024 14:27 1m 4s fixed_73408a1
fixed_73408a1
April 1, 2024 14:27 1m 4s
Reduce KZG parameters for proof verifier. (#2) Beta lints #9: Commit 5f6bed0 pushed by davidnevadoc
April 1, 2024 13:46 2m 2s main
main
April 1, 2024 13:46 2m 2s
Addres review comments Beta lints #8: Commit 970bb6d pushed by iquerejeta
April 1, 2024 13:20 1m 3s iquerejeta/fix_nr_rows
iquerejeta/fix_nr_rows
April 1, 2024 13:20 1m 3s
New compiler complaining about format Beta lints #7: Commit 293404b pushed by iquerejeta
April 1, 2024 09:48 57s iquerejeta/fix_nr_rows
iquerejeta/fix_nr_rows
April 1, 2024 09:48 57s
Bump rust toolchain Beta lints #6: Commit 4af20e2 pushed by iquerejeta
April 1, 2024 09:33 1m 2s iquerejeta/fix_nr_rows
iquerejeta/fix_nr_rows
April 1, 2024 09:33 1m 2s
Account for empty regions Beta lints #5: Commit 4084b80 pushed by iquerejeta
April 1, 2024 09:19 1m 57s iquerejeta/fix_nr_rows
iquerejeta/fix_nr_rows
April 1, 2024 09:19 1m 57s
Account for empty regions Beta lints #4: Commit c26b960 pushed by iquerejeta
March 29, 2024 12:23 1m 52s iquerejeta/fix_nr_rows
iquerejeta/fix_nr_rows
March 29, 2024 12:23 1m 52s
Add galois work for number for rows Beta lints #3: Commit 862fb67 pushed by iquerejeta
March 14, 2024 11:31 1m 28s fixed_73408a1
fixed_73408a1
March 14, 2024 11:31 1m 28s
Add galois work for number for rows Beta lints #2: Commit 00ed9a0 pushed by iquerejeta
March 13, 2024 10:56 1m 24s fixed_73408a1
fixed_73408a1
March 13, 2024 10:56 1m 24s
Merge pull request #242 from kilic/curves5 Beta lints #1: Commit 73408a1 pushed by iquerejeta
March 12, 2024 14:54 2m 40s fixed_73408a1
fixed_73408a1
March 12, 2024 14:54 2m 40s