All pull requests

Pull requests

• test(autoprove): migrate Counter authoring tapes to the buffers API

  autoprover
  #255·jar-ben opened Sep 30, 2026Collaborator·

  ·

• Expose three run helpers for out-of-tree commands

  #254·shellygr opened Sep 30, 2026Contributor·

  ·
  1

• autosetup: default loop_iter=3 on sanity Stage-1 failure; don't link keyword-named fields

  autosetup
  #253·jar-ben opened Sep 29, 2026Collaborator·

  ·

• Stop the critical_match flag from overturning the ranker's top score

  #250·shellygr opened Sep 23, 2026Contributor·

  ·

• Report: record the design doc that the run used, and retry grouping on the heavy model

  #249·shellygr opened Sep 23, 2026Contributor·

  ·
  3

• Add the Solana Prover preflight step

  #248·ericeil opened Sep 22, 2026Contributor·

  ·
  87

• Log the category behind Anthropic streaming refusals

  ap-infra
  #246·jar-ben opened Sep 21, 2026Collaborator·

  ·
  1

• Prepare AutoProver reports for Solana

  #241·ericeil opened Sep 16, 2026Contributor·

  ·

• buffers: guide the split with the summarization detector

  #235·jar-ben opened Sep 16, 2026Collaborator·

  ·

• Bound the AutoSetup wait, and stop the task holding it from outliving the run

  #208·shellygr opened Sep 4, 2026Contributor·

  ·
  5

• Cancel the rest of a concurrent group when one member fails

  #203·shellygr opened Sep 2, 2026Contributor·

  ·

• Fix report generation when using local Prover runs

  #201·naftali-g opened Sep 2, 2026Contributor·

  ·

• Resume a codegen thread from its checkpoint instead of re-entering it

  ai-composer
  #192·shellygr opened Aug 25, 2026Contributor·

  ·

• Generalize findings to support non-Prover backends

  #185·ericeil opened Aug 21, 2026Contributor·

  ·

• RIP king

  #173·jtoman opened Aug 18, 2026Contributor·

  ·

• Authenticate to the Certora cloud without a browser

  #166·shellygr opened Aug 14, 2026Contributor·

  ·

• Let console-codegen take several spec files

  #155·shellygr opened Aug 12, 2026Contributor·

  ·

• smtool: symbolic-model tool library checkpoint (wip)

  #128·jar-ben opened Aug 6, 2026Collaborator·

  ·

• PR 3/3: Crucible backend

  #98·ericeil opened Jul 23, 2026Contributor·

  ·

• certora-fv-amenability: static FV-amenability scorer (phase 1)

  #87·shellygr opened Jul 17, 2026Contributor·

  ·
  1

• Autosetup: recommend optimistic_fallback for native value transfers; filter NONDET-ineligible methods at match time

  autosetup
  #52·shellygr opened Jul 4, 2026Contributor·

  ·

• Add curated CVL summaries for Solady SafeTransferLib, CREATE3, LibClone

  autosetup
  #51·shellygr opened Jul 4, 2026Contributor·

  ·
  1

• Auto-enable dynamic_bound/dynamic_dispatch when contract creation is detected

  autosetup
  #48·shellygr opened Jul 4, 2026Contributor·

  ·
  3

• Ship CVLMath relational math library; prefer relational properties over formula mirroring

  autoprover
  #42·shellygr opened Jul 3, 2026Contributor·

  ·
  6