CodeQL

Workflow runs for CodeQL

• Fix verilog_reader importing NOR and XNOR assignments as constant zero

  completed successfully:
  CodeQL#709:Pull request#713synchronizebyvera-rubin
  vera-rubin:fix/verilog-reader-nor-xnor

  Oct 14, 20269m 52s
  More actions for workflow run 709

• Fix verilog_reader importing NOR and XNOR assignments as constant zero

  completed successfully:
  CodeQL#708:Pull request#713synchronizebyvera-rubin
  vera-rubin:fix/verilog-reader-nor-xnor

  Oct 14, 20264m 38s
  More actions for workflow run 708

• Fix verilog_reader importing NOR and XNOR assignments as constant zero

  completed successfully:
  CodeQL#707:Pull request#713openedbyvera-rubin
  vera-rubin:fix/verilog-reader-nor-xnor

  Oct 13, 20263m 50s
  More actions for workflow run 707

• Use explicit source list for nauty (#711)

  completed successfully:
  CodeQL#706:Commit1c9c3afpushedbymyskyko
  master

  Oct 12, 20264m 24s
  More actions for workflow run 706

• Use explicit source list for nauty

  completed successfully:
  CodeQL#705:Pull request#711openedbymyskyko
  exsynth:master

  Oct 10, 20262m 12s
  More actions for workflow run 705

• CodeQL

  completed successfully:
  CodeQL#704:Scheduled
  master

  Oct 9, 20265m 7s
  More actions for workflow run 704

• CodeQL

  completed successfully:
  CodeQL#703:Scheduled
  master

  Oct 2, 20265m 51s
  More actions for workflow run 703

• Fix uninitialized read in lut_map on networks with dangling nodes (…

  completed successfully:
  CodeQL#702:Commit47d1e70pushedbymyskyko
  master

  Sep 29, 20266m 13s
  More actions for workflow run 702

• Fix uninitialized read in lut_map on networks with dangling nodes

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

  Sep 28, 20263m 17s
  More actions for workflow run 701

• Fix uninitialized read in lut_map on networks with dangling nodes

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

  Sep 28, 20263m 25s
  More actions for workflow run 700

• CodeQL

  completed successfully:
  CodeQL#699:Scheduled
  master

  Sep 25, 20265m 37s
  More actions for workflow run 699

• Fix uninitialized read in lut_map on networks with dangling nodes

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

  Sep 24, 20263m 5s
  More actions for workflow run 698

• Update fmt version to 12.1.0 (#710)

  completed successfully:
  CodeQL#697:Commitd9e0249pushedbymyskyko
  master

  Sep 23, 20265m 49s
  More actions for workflow run 697

• Update fmt version to 12.1.0

  completed successfully:
  CodeQL#696:Pull request#710synchronizebymyskyko
  update_fmt

  Sep 22, 20264m 31s
  More actions for workflow run 696

• Update fmt version to 12.1.0

  completed successfully:
  CodeQL#695:Pull request#710synchronizebymyskyko
  update_fmt

  Sep 22, 20263m 6s
  More actions for workflow run 695

• Update fmt version to 12.1.0

  completed successfully:
  CodeQL#694:Pull request#710synchronizebymyskyko
  update_fmt

  Sep 22, 20264m 6s
  More actions for workflow run 694

• Update fmt version to 12.1.0

  completed successfully:
  CodeQL#693:Pull request#710synchronizebymyskyko
  update_fmt

  Sep 22, 20265m 4s
  More actions for workflow run 693

• Update fmt version to 12.1.0

  failed:
  CodeQL#692:Pull request#710openedbymyskyko
  update_fmt

  Sep 22, 20262m 55s
  More actions for workflow run 692

• 🐛 Open binary AIGER files in binary mode (#709)

  completed successfully:
  CodeQL#691:Commit0988a33pushedbymyskyko
  master

  Sep 22, 20266m 18s
  More actions for workflow run 691

• Add cycle-accurate simulation of sequential networks (#708)

  completed successfully:
  CodeQL#690:Commit51acd70pushedbymyskyko
  master

  Sep 22, 20265m 43s
  More actions for workflow run 690

• Make lorina's shared regexes inline const (#706)

  completed successfully:
  CodeQL#689:Commit90dde19pushedbymyskyko
  master

  Sep 22, 20265m 51s
  More actions for workflow run 689

• CodeQL

  completed successfully:
  CodeQL#688:Scheduled
  master

  Sep 18, 20265m 57s
  More actions for workflow run 688

• 🐛 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