Skip to content

Actions: lsils/mockturtle

Actions

Linux CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux.yml
82 workflow runs
82 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Use explicit source list for nauty (#711) Linux CI #1363: Commit 1c9c3af pushed by myskyko
17m 21s master
master
17m 21s
Use explicit source list for nauty Linux CI #1362: Pull request #711 opened by myskyko
19m 19s exsynth:master
exsynth:master
19m 19s
Fix uninitialized read in lut_map on networks with dangling nodes (… Linux CI #1361: Commit 47d1e70 pushed by myskyko
16m 43s master
master
16m 43s
Fix uninitialized read in lut_map on networks with dangling nodes Linux CI #1360: Pull request #707 synchronize by marcelwa
16m 49s marcelwa:fix-lutmap-uninit-cut
marcelwa:fix-lutmap-uninit-cut
16m 49s
Fix uninitialized read in lut_map on networks with dangling nodes Linux CI #1359: Pull request #707 synchronize by marcelwa
17m 13s marcelwa:fix-lutmap-uninit-cut
marcelwa:fix-lutmap-uninit-cut
17m 13s
Fix uninitialized read in lut_map on networks with dangling nodes Linux CI #1358: Pull request #707 synchronize by marcelwa
14m 23s marcelwa:fix-lutmap-uninit-cut
marcelwa:fix-lutmap-uninit-cut
14m 23s
Update fmt version to 12.1.0 (#710) Linux CI #1357: Commit d9e0249 pushed by myskyko
18m 38s master
master
18m 38s
Update fmt version to 12.1.0 Linux CI #1356: Pull request #710 synchronize by myskyko
19m 30s update_fmt
update_fmt
19m 30s
Update fmt version to 12.1.0 Linux CI #1355: Pull request #710 synchronize by myskyko
20m 34s update_fmt
update_fmt
20m 34s
Update fmt version to 12.1.0 Linux CI #1354: Pull request #710 synchronize by myskyko
16m 44s update_fmt
update_fmt
16m 44s
Update fmt version to 12.1.0 Linux CI #1353: Pull request #710 synchronize by myskyko
17m 25s update_fmt
update_fmt
17m 25s
Update fmt version to 12.1.0 Linux CI #1352: Pull request #710 opened by myskyko
22m 9s update_fmt
update_fmt
22m 9s
🐛 Open binary AIGER files in binary mode (#709) Linux CI #1351: Commit 0988a33 pushed by myskyko
18m 56s master
master
18m 56s
Add cycle-accurate simulation of sequential networks (#708) Linux CI #1350: Commit 51acd70 pushed by myskyko
20m 36s master
master
20m 36s
Make lorina's shared regexes inline const (#706) Linux CI #1349: Commit 90dde19 pushed by myskyko
18m 37s master
master
18m 37s
🐛 Open binary AIGER files in binary mode Linux CI #1348: Pull request #709 opened by marcelwa
18m 41s marcelwa:fix-upstream-aiger-binary-mode
marcelwa:fix-upstream-aiger-binary-mode
18m 41s
Add cycle-accurate simulation of sequential networks Linux CI #1347: Pull request #708 synchronize by marcelwa
28m 14s marcelwa:sequential-simulation
marcelwa:sequential-simulation
28m 14s
Add cycle-accurate simulation of sequential networks Linux CI #1346: Pull request #708 opened by marcelwa
16m 32s marcelwa:sequential-simulation
marcelwa:sequential-simulation
16m 32s
Fix uninitialized read in lut_map on networks with dangling nodes Linux CI #1345: Pull request #707 synchronize by marcelwa
12m 44s marcelwa:fix-lutmap-uninit-cut
marcelwa:fix-lutmap-uninit-cut
12m 44s
Fix uninitialized read in lut_map on networks with dangling nodes Linux CI #1344: Pull request #707 opened by marcelwa
16m 24s marcelwa:fix-lutmap-uninit-cut
marcelwa:fix-lutmap-uninit-cut
16m 24s
Make lorina's shared regexes inline const Linux CI #1343: Pull request #706 opened by marcelwa
18m 51s marcelwa:lorina-inline-const-regexes-upstream
marcelwa:lorina-inline-const-regexes-upstream
18m 51s
🐛 Fix reading a latched AIGER file into a combinational network (#705) Linux CI #1342: Commit 0886ebf pushed by myskyko
18m 46s master
master
18m 46s
🐛 Fix reading a latched AIGER file into a combinational network Linux CI #1341: Pull request #705 synchronize by myskyko
18m 46s marcelwa:upstream-aiger-reader-latches
marcelwa:upstream-aiger-reader-latches
18m 46s
write_blif: name CIs after the node, not the topological index (#704) Linux CI #1340: Commit f790073 pushed by myskyko
15m 46s master
master
15m 46s
🐛 Fix reading a latched AIGER file into a combinational network Linux CI #1339: Pull request #705 opened by marcelwa
17m 15s marcelwa:upstream-aiger-reader-latches
marcelwa:upstream-aiger-reader-latches
17m 15s