Skip to content

Actions: lsils/mockturtle

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
130 workflow runs
130 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
CodeQL CodeQL #685: Scheduled
5m 49s master
master
5m 49s
Add cycle-accurate simulation of sequential networks CodeQL #684: Pull request #708 synchronize by marcelwa
2m 24s marcelwa:sequential-simulation
marcelwa:sequential-simulation
2m 24s
Add cycle-accurate simulation of sequential networks CodeQL #683: Pull request #708 opened by marcelwa
2m 38s marcelwa:sequential-simulation
marcelwa:sequential-simulation
2m 38s
Fix uninitialised read in lut_map on networks with dangling nodes CodeQL #682: Pull request #707 synchronize by marcelwa
4m 24s marcelwa:fix-lutmap-uninit-cut
marcelwa:fix-lutmap-uninit-cut
4m 24s
Fix uninitialised read in lut_map on networks with dangling nodes CodeQL #681: Pull request #707 opened by marcelwa
3m 12s marcelwa:fix-lutmap-uninit-cut
marcelwa:fix-lutmap-uninit-cut
3m 12s
Make lorina's shared regexes inline const CodeQL #680: Pull request #706 opened by marcelwa
3m 56s marcelwa:lorina-inline-const-regexes-upstream
marcelwa:lorina-inline-const-regexes-upstream
3m 56s
🐛 Fix reading a latched AIGER file into a combinational network (#705) CodeQL #679: Commit 0886ebf pushed by myskyko
5m 43s master
master
5m 43s
🐛 Fix reading a latched AIGER file into a combinational network CodeQL #678: Pull request #705 synchronize by myskyko
4m 3s marcelwa:upstream-aiger-reader-latches
marcelwa:upstream-aiger-reader-latches
4m 3s
write_blif: name CIs after the node, not the topological index (#704) CodeQL #677: Commit f790073 pushed by myskyko
5m 59s master
master
5m 59s
CodeQL CodeQL #676: Scheduled
5m 42s master
master
5m 42s
🐛 Fix reading a latched AIGER file into a combinational network CodeQL #675: Pull request #705 opened by marcelwa
5m 48s marcelwa:upstream-aiger-reader-latches
marcelwa:upstream-aiger-reader-latches
5m 48s
CodeQL CodeQL #674: Scheduled
5m 30s master
master
5m 30s
CodeQL CodeQL #673: Scheduled
5m 42s master
master
5m 42s
write_blif: name CIs after the node, not the topological index CodeQL #672: Pull request #704 opened by marcelwa
3m 23s marcelwa:write-blif-ci-names
marcelwa:write-blif-ci-names
3m 23s
CodeQL CodeQL #671: Scheduled
5m 37s master
master
5m 37s
fix: the bug of genlib_reader parser (#698) CodeQL #670: Commit 852605f pushed by myskyko
5m 56s master
master
5m 56s
✨ Support sequential networks in write_aiger (#699) CodeQL #669: Commit 36dd752 pushed by myskyko
5m 6s master
master
5m 6s
✨ Support sequential networks in write_aiger CodeQL #668: Pull request #699 synchronize by myskyko
13m 28s marcelwa:upstream-seq-write-aiger
marcelwa:upstream-seq-write-aiger
13m 28s
♻️ Unify how register initialization is represented (#701) CodeQL #667: Commit 1b3e661 pushed by myskyko
18m 8s master
master
18m 8s
♻️ Unify how register initialization is represented CodeQL #666: Pull request #701 synchronize by myskyko
4m 39s marcelwa:upstream-register-init
marcelwa:upstream-register-init
4m 39s
🐛 Fix reading sequential AIGER files produced by ABC (#700) CodeQL #665: Commit 45a8b54 pushed by myskyko
6m 38s master
master
6m 38s
Fix renamed CMake option wiring (#703) CodeQL #664: Commit 87ff579 pushed by myskyko
5m 49s master
master
5m 49s
Fix renamed CMake option wiring CodeQL #663: Pull request #703 synchronize by myskyko
3m 2s myskyko:fix
myskyko:fix
3m 2s
Fix renamed CMake option wiring CodeQL #662: Pull request #703 opened by myskyko
4m 16s myskyko:fix
myskyko:fix
4m 16s
Use explicit Homebrew Clang versions in macOS CI (#702) CodeQL #661: Commit 1f835ea pushed by myskyko
6m 2s master
master
6m 2s