Skip to content

Actions: Coloquinte/volute

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Play with swap-only canonization Test #123: Commit 1e195a9 pushed by Coloquinte
10m 22s count_tables
count_tables
10m 22s
Bump version number Test #122: Commit 3b93332 pushed by Coloquinte
5m 17s main
main
5m 17s
Single pass N canonization is both simpler and faster Test #121: Commit 84443f0 pushed by Coloquinte
7m 3s main
main
7m 3s
One more attempt Test #120: Commit e019da3 pushed by Coloquinte
6m 30s npn_attempt2
npn_attempt2
6m 30s
Attempt to use single-pass flipping for NPN, but it doesn't improve t… Test #119: Commit 32e14d1 pushed by Coloquinte
5m 23s npn_attempt
npn_attempt
5m 23s
Test canonization exhaustively to avoid regressions Test #118: Commit 69ddcd2 pushed by Coloquinte
5m 23s main
main
5m 23s
2x faster P and NPN canonization by forcing inlining Test #117: Commit e7722c4 pushed by Coloquinte
5m 23s main
main
5m 23s
More similar Lut and StaticLut files Test #116: Commit b292376 pushed by Coloquinte
5m 36s main
main
5m 36s
Minor doc changes Test #115: Commit 85a265f pushed by Coloquinte
5m 23s main
main
5m 23s
Faster testcase Test #114: Commit 7a4e515 pushed by Coloquinte
5m 38s main
main
5m 38s
Faster testcase Test #113: Commit 7a4e515 pushed by Coloquinte
5m 16s next
next
5m 16s
Fix clippy lints for optional features Test #112: Commit b7aa1e3 pushed by Coloquinte
6m 12s next
next
6m 12s
Fix clippy lints for optional features Test #111: Commit fee5b0a pushed by Coloquinte
2m 28s next
next
2m 28s
Silence clippy warning about sop module Test #110: Commit b655db4 pushed by Coloquinte
6m 1s next
next
6m 1s
Cleanup and speedup BDD handling Test #109: Commit 732278c pushed by Coloquinte
5m 52s next
next
5m 52s
Cleanup and speedup BDD handling Test #108: Commit c80c053 pushed by Coloquinte
2m 28s next
next
2m 28s
Implement Debug as Display for Luts Test #107: Commit 119a278 pushed by Coloquinte
5m 56s next
next
5m 56s
Make some fonctions const for static luts Test #106: Commit dcb4364 pushed by Coloquinte
5m 52s next
next
5m 52s
Make some fonctions const for static luts Test #105: Commit 1df13a1 pushed by Coloquinte
3m 1s next
next
3m 1s
Clarify generic parameters Test #104: Commit 7a5acfe pushed by Coloquinte
6m 6s next
next
6m 6s
Fix clippy warnings Test #103: Commit c7368c0 pushed by Coloquinte
5m 59s next
next
5m 59s
Fix clippy warnings Test #102: Commit cbc0d5a pushed by Coloquinte
5m 58s next
next
5m 58s
Improved doc; conversion between Lut7 and u128; cleanup rustsat use; … Test #101: Commit fb79d78 pushed by Coloquinte
5m 54s main
main
5m 54s
Improved doc; conversion between Lut7 and u128; cleanup rustsat use; … Test #100: Commit fbb8b21 pushed by Coloquinte
2m 48s main
main
2m 48s
Add keyword and bump version number Test #99: Commit 9219508 pushed by Coloquinte
5m 17s main
main
5m 17s