Skip to content

Actions: Coloquinte/quaigh

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
193 workflow runs
193 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to newest benchmark suite Test #168: Commit 077ef96 pushed by Coloquinte
January 23, 2024 11:59 2m 37s main
main
January 23, 2024 11:59 2m 37s
Accept Atalanta-generated patterns with a warning Test #167: Commit 53403f4 pushed by Coloquinte
January 22, 2024 16:01 2m 54s main
main
January 22, 2024 16:01 2m 54s
Make aliases visible Test #166: Commit 59aef73 pushed by Coloquinte
January 22, 2024 11:25 2m 53s main
main
January 22, 2024 11:25 2m 53s
Command to report on ATPG results Test #165: Commit e38009a pushed by Coloquinte
January 22, 2024 11:09 2m 55s main
main
January 22, 2024 11:09 2m 55s
Switch Sat solver crate from cat_solver to rustsat-kissat Test #164: Commit 80407f0 pushed by Coloquinte
January 17, 2024 11:52 6m 52s rustsat
rustsat
January 17, 2024 11:52 6m 52s
Enable some formatting features from nightly to use Test #163: Commit a33482c pushed by Coloquinte
January 15, 2024 16:02 1m 56s nightly
nightly
January 15, 2024 16:02 1m 56s
Bump version number Test #162: Commit 6fe5397 pushed by Coloquinte
January 15, 2024 14:53 2m 36s main
main
January 15, 2024 14:53 2m 36s
Complete handling of multiline blif statements Test #161: Commit f10a966 pushed by Coloquinte
January 15, 2024 14:45 2m 36s blif
blif
January 15, 2024 14:45 2m 36s
Complete handling of multiline blif statements Test #160: Commit 21a7de2 pushed by Coloquinte
January 15, 2024 14:39 4m 6s blif
blif
January 15, 2024 14:39 4m 6s
Factor out blif line parsing Test #159: Commit be4e8b3 pushed by Coloquinte
January 15, 2024 14:12 2m 33s blif
blif
January 15, 2024 14:12 2m 33s
Update README Test #158: Commit 01dd72e pushed by Coloquinte
January 15, 2024 12:54 5m 22s blif
blif
January 15, 2024 12:54 5m 22s
Update README Test #157: Commit 01dd72e pushed by Coloquinte
January 15, 2024 10:44 2m 50s main
main
January 15, 2024 10:44 2m 50s
Update README Test #156: Commit e430651 pushed by Coloquinte
January 10, 2024 17:43 3m 13s main
main
January 10, 2024 17:43 3m 13s
Blif file format support Test #155: Pull request #1 opened by Coloquinte
January 10, 2024 17:08 3m 4s blif
blif
January 10, 2024 17:08 3m 4s
Update README Test #154: Commit 3d2c7cc pushed by Coloquinte
January 10, 2024 17:07 3m 32s blif
blif
January 10, 2024 17:07 3m 32s
Check equivalence between benchmark files Test #153: Commit d7143ca pushed by Coloquinte
January 10, 2024 16:58 4m 14s blif
blif
January 10, 2024 16:58 4m 14s
Test that conversion yields equivalent files Test #152: Commit 38b13a0 pushed by Coloquinte
January 10, 2024 16:53 5m 32s blif
blif
January 10, 2024 16:53 5m 32s
Test that conversion yields equivalent files Test #151: Commit fad9aa4 pushed by Coloquinte
January 10, 2024 16:51 2m 43s blif
blif
January 10, 2024 16:51 2m 43s
More user friendly output on equivalence checking failure Test #150: Commit 3729443 pushed by Coloquinte
January 10, 2024 11:55 2m 49s blif
blif
January 10, 2024 11:55 2m 49s
Command to convert between format + prototype blif reader Test #149: Commit 209e88a pushed by Coloquinte
January 10, 2024 10:55 4m 0s blif
blif
January 10, 2024 10:55 4m 0s
Stop exporting NaryType at crate level + reformat imports Test #148: Commit 7d28c79 pushed by Coloquinte
January 9, 2024 18:53 3m 56s blif
blif
January 9, 2024 18:53 3m 56s
Export Lut and Xor to Blif Test #147: Commit 51c4f39 pushed by Coloquinte
January 9, 2024 14:20 4m 30s main
main
January 9, 2024 14:20 4m 30s
Export Lut and Xor to Blif Test #146: Commit a0a79b7 pushed by Coloquinte
January 9, 2024 14:04 2m 23s main
main
January 9, 2024 14:04 2m 23s
Export Lut and Xor to Blif Test #145: Commit c2ca170 pushed by Coloquinte
January 9, 2024 14:01 3m 21s main
main
January 9, 2024 14:01 3m 21s
Update README.md Test #144: Commit 52cdc82 pushed by Coloquinte
January 9, 2024 10:51 2m 5s main
main
January 9, 2024 10:51 2m 5s