All pull requests

Pull requests

• build(deps): bump the actions group across 1 directory with 4 updates

  dependenciesgithub_actions
  #22·dependabot[bot] opened Oct 26, 2026Bot·

  ·

• build(deps): update systemrdl-compiler requirement from <1.33,>=1.32 to >=1.32,<1.34

  dependenciespython
  #20·dependabot[bot] opened Oct 12, 2026Bot·

  ·

• build(deps): update pyslang requirement from <12,>=11 to >=11,<13

  dependenciespython
  #18·dependabot[bot] opened Oct 5, 2026Bot·

  ·

• Add checked incremental proof reuse and source-bound certificate cones

  #15·ajayasai opened Sep 7, 2026Owner·

  ·

• Extend source-bound verification with hierarchical models and scalable property cones

  #13·ajayasai opened Sep 7, 2026Owner·

  ·

• build(deps-dev): update z3-solver requirement from <5,>=4.13 to >=4.13,<6 in the development group across 1 directory

  dependenciespython
  #12·dependabot[bot] opened Sep 7, 2026Bot·

  ·

• Independent Boolean proof certificates, fail-closed analysis, and Windows-safe proof production

  #11·ajayasai opened Sep 6, 2026Owner·

  ·
  1

• Verify hierarchical RTL with exact property cones and full counterexample replay

  #9·ajayasai opened Sep 6, 2026Owner·

  ·
  1

• Scale sequential checking with exact property-local cones and full-trace replay

  #8·ajayasai opened Sep 6, 2026Owner·

  ·
  1