CodeQL

Workflow runs for CodeQL

• 🐛 Open binary AIGER files in binary mode

  completed successfully:
  CodeQL#687:Pull request#709openedbymarcelwa
  marcelwa:fix-upstream-aiger-binary-mode

  Sep 15, 20263m 18s
  More actions for workflow run 687

• CodeQL

  completed successfully:
  CodeQL#686:Scheduled
  master

  Sep 11, 20265m 54s
  More actions for workflow run 686

• CodeQL

  completed successfully:
  CodeQL#685:Scheduled
  master

  Sep 4, 20265m 49s
  More actions for workflow run 685

• Add cycle-accurate simulation of sequential networks

  completed successfully:
  CodeQL#684:Pull request#708synchronizebymarcelwa
  marcelwa:sequential-simulation

  Aug 31, 20262m 24s
  More actions for workflow run 684

• Add cycle-accurate simulation of sequential networks

  completed successfully:
  CodeQL#683:Pull request#708openedbymarcelwa
  marcelwa:sequential-simulation

  Aug 31, 20262m 38s
  More actions for workflow run 683

• Fix uninitialized read in lut_map on networks with dangling nodes

  completed successfully:
  CodeQL#682:Pull request#707synchronizebymarcelwa
  marcelwa:fix-lutmap-uninit-cut

  Aug 31, 20264m 24s
  More actions for workflow run 682

• Fix uninitialized read in lut_map on networks with dangling nodes

  completed successfully:
  CodeQL#681:Pull request#707openedbymarcelwa
  marcelwa:fix-lutmap-uninit-cut

  Aug 30, 20263m 12s
  More actions for workflow run 681

• Make lorina's shared regexes inline const

  completed successfully:
  CodeQL#680:Pull request#706openedbymarcelwa
  marcelwa:lorina-inline-const-regexes-upstream

  Aug 29, 20263m 56s
  More actions for workflow run 680

• 🐛 Fix reading a latched AIGER file into a combinational network (#705)

  completed successfully:
  CodeQL#679:Commit0886ebfpushedbymyskyko
  master

  Aug 29, 20265m 43s
  More actions for workflow run 679

• 🐛 Fix reading a latched AIGER file into a combinational network

  completed successfully:
  CodeQL#678:Pull request#705synchronizebymyskyko
  marcelwa:upstream-aiger-reader-latches

  Aug 29, 20264m 3s
  More actions for workflow run 678

• write_blif: name CIs after the node, not the topological index (#704)

  completed successfully:
  CodeQL#677:Commitf790073pushedbymyskyko
  master

  Aug 29, 20265m 59s
  More actions for workflow run 677

• CodeQL

  completed successfully:
  CodeQL#676:Scheduled
  master

  Aug 28, 20265m 42s
  More actions for workflow run 676

• 🐛 Fix reading a latched AIGER file into a combinational network

  completed successfully:
  CodeQL#675:Pull request#705openedbymarcelwa
  marcelwa:upstream-aiger-reader-latches

  Aug 21, 20265m 48s
  More actions for workflow run 675

• CodeQL

  completed successfully:
  CodeQL#674:Scheduled
  master

  Aug 21, 20265m 30s
  More actions for workflow run 674

• CodeQL

  completed successfully:
  CodeQL#673:Scheduled
  master

  Aug 14, 20265m 42s
  More actions for workflow run 673

• write_blif: name CIs after the node, not the topological index

  completed successfully:
  CodeQL#672:Pull request#704openedbymarcelwa
  marcelwa:write-blif-ci-names

  Aug 7, 20263m 23s
  More actions for workflow run 672

• CodeQL

  completed successfully:
  CodeQL#671:Scheduled
  master

  Aug 7, 20265m 37s
  More actions for workflow run 671

• fix: the bug of genlib_reader parser (#698)

  completed successfully:
  CodeQL#670:Commit852605fpushedbymyskyko
  master

  Aug 7, 20265m 56s
  More actions for workflow run 670

• ✨ Support sequential networks in write_aiger (#699)

  completed successfully:
  CodeQL#669:Commit36dd752pushedbymyskyko
  master

  Aug 7, 20265m 6s
  More actions for workflow run 669

• ✨ Support sequential networks in write_aiger

  completed successfully:
  CodeQL#668:Pull request#699synchronizebymyskyko
  marcelwa:upstream-seq-write-aiger

  Aug 7, 202613m 28s
  More actions for workflow run 668

• ♻️ Unify how register initialization is represented (#701)

  completed successfully:
  CodeQL#667:Commit1b3e661pushedbymyskyko
  master

  Aug 7, 202618m 8s
  More actions for workflow run 667

• ♻️ Unify how register initialization is represented

  completed successfully:
  CodeQL#666:Pull request#701synchronizebymyskyko
  marcelwa:upstream-register-init

  Aug 7, 20264m 39s
  More actions for workflow run 666

• 🐛 Fix reading sequential AIGER files produced by ABC (#700)

  completed successfully:
  CodeQL#665:Commit45a8b54pushedbymyskyko
  master

  Aug 7, 20266m 38s
  More actions for workflow run 665

• Fix renamed CMake option wiring (#703)

  completed successfully:
  CodeQL#664:Commit87ff579pushedbymyskyko
  master

  Aug 7, 20265m 49s
  More actions for workflow run 664

• Fix renamed CMake option wiring

  completed successfully:
  CodeQL#663:Pull request#703synchronizebymyskyko
  myskyko:fix

  Aug 7, 20263m 2s
  More actions for workflow run 663