All pull requests

Pull requests

• feat: add module isolates and modular safety proofs

  #151·dranov opened Oct 29, 2026Collaborator·

  ·

• feat: add live progress for #updr

  #150·dranov opened Oct 28, 2026Collaborator·

  ·

• chore: update README and some other documents

  #149·zqy1018 opened Oct 27, 2026Contributor·

  ·

• feat: kernel-checked certificates for #synthesize_invariants

  #132·tannerduve opened Oct 23, 2026·

  ·

• feat: add #synthesize_invariants, UPDR invariant synthesis

  #131·tannerduve opened Oct 23, 2026·

  ·

• feat: translate Veil modules and solver queries for invariant synthesis

  #130·tannerduve opened Oct 23, 2026·

  ·

• feat: universal clauses and finite structures for invariant synthesis

  #129·tannerduve opened Oct 23, 2026·

  ·

• perf: scale symbolic BMC with local normalization and exact caching

  #128·dranov opened Oct 20, 2026Collaborator·

  ·

• Revise README to reflect multi-modal verification

  #126·ilyasergey opened Oct 20, 2026Contributor·

  ·
  2

• feat: #gen_theorems and CSLib simulation proofs

  #75·dranov opened Sep 24, 2026Collaborator·

  ·
  1

• [WIP] Make VeilM universe-polymorphic

  #25·vasnesterov opened Aug 30, 2026·

  ·

• Retry timed-out SMT queries with perturbed seeds; report slowest VCs

  #21·larskuhtz opened Aug 14, 2026·

  ·