All pull requests

Pull requests

• Relevance (slicing) and loop summaries; rebased onto svcomp27/overnight-solver-perf

  #109·solid-eureka opened Oct 27, 2026Contributor·

  ·
  2

• Move the property pre-check to cfg-extraction; prune under no-runtime-exception (#93)

  #108·solid-eureka opened Oct 24, 2026Contributor·

  ·

• Lift char codes as Java chars when the query only holds Java chars

  #99·nils-loose opened Oct 21, 2026Contributor·

  ·

  · SV-COMP 2027
  1

• Solve floating-point queries with Z3's qffp tactic first

  #98·nils-loose opened Oct 21, 2026Contributor·

  ·

  · SV-COMP 2027
  1

• Reduce executor per-round CPU (CDS archive, HttpURLConnection, no redundant class re-parse/check)

  #96·nils-loose opened Oct 21, 2026Contributor·

  ·

  · SV-COMP 2027
  1

• Fetch Z3 distribution during build

  #44·k0lja opened Aug 4, 2026·

  ·

• Downgrade known unsound SV-COMP safe targets to unknown

  #42·k0lja opened Jul 23, 2026·

  ·

• Fix/heap design

  #36·nils-loose opened Jul 1, 2026Contributor·

  ·

• Add packaging mechanism to automatically build SV-Comp zip

  #30·nils-loose opened Jun 24, 2026Contributor·

  ·
  5

• SV-COMP: explorer-owned per-testcase stats.json + runs/ layout & analysis (#25)

  #27·nils-loose opened Jun 16, 2026Contributor·

  ·
  1