All pull requests

Pull requests

• gen_smt_vcs: translate SMT datatypes to Lean inductives

  CoreSMTWaiting-For-Review
  #1480·kondylidou opened Sep 23, 2026Contributor·

  ·
  1

  4

• SMT encoder: opt-in define-fun-rec for recursive functions

  CoreSMTWaiting-For-Review
  #1478·kondylidou opened Sep 22, 2026Contributor·

  ·
  2

• Add install-strata composite action

  github_actionsWaiting-For-Review
  #1477·keyboardDrummer opened Sep 21, 2026Contributor·

  ·
  1

• Add formally-verified refactored SMT encoder for Core

  CoreSMTWaiting-For-Review
  #1470·amanda-zx opened Sep 3, 2026Contributor·

  ·

• chore(deps): bump aws-actions/configure-aws-credentials from 4 to 6

  github_actionsWaiting-For-Review
  #1463·dependabot[bot] opened Aug 11, 2026Bot·

  ·

• Classify bugFinding goals with the mode-aware predicates at minimal check level

  CoreWaiting-For-Review
  #1448·repowazdogz-droid opened Jul 24, 2026·

  ·
  4

• chore(deps): bump actions/setup-dotnet from 5 to 6

  github_actionsWaiting-For-Review
  #1446·dependabot[bot] opened Jul 21, 2026Bot·

  ·

• chore(deps): bump actions/labeler from 6 to 7

  github_actionsWaiting-For-Review
  #1445·dependabot[bot] opened Jul 21, 2026Bot·

  ·

• chore(deps): bump actions/cache from 5 to 6

  Git conflictsgithub_actionsHas 1 approval
  #1431·dependabot[bot] opened Jun 30, 2026Bot·

  ·

• Rewrite of Python FE to separate out Python-specific resolution, threading of effects, and coercion insertion with Laurel resolver

  dependenciesLaurel
  #1415·ssomayyajula opened Jun 25, 2026Contributor·

  ·

• docs: update renamed #strataGenAST command to #strata_gen

  Waiting-For-Review
  #1405·fharding1 opened Jun 23, 2026·

  ·

• chore(deps): bump actions/checkout from 6 to 7

  Git conflictsgithub_actions
  #1403·dependabot[bot] opened Jun 23, 2026Bot·

  ·

• Typechecking blocks in continuation-passing style

  Git conflictsLaurel
  #1398·leo-leesco opened Jun 19, 2026Contributor·

  ·

• Add downstream-check CI and shared composite actions

  github_actionsWaiting-For-Review
  #1387·shigoel opened Jun 18, 2026Contributor·

  ·
  4

• Lambda type aliases: report arity mismatch instead of silent fallthrough

  github_actions
  #1301·MikaelMayer opened May 29, 2026Contributor·

  ·
  4

• Boole: add test coverage for typed seq_of_* literal lowering

  #1299·MikaelMayer opened May 29, 2026Contributor·

  ·
  1

• Allow function inlining in quantifiers

  CoreWaiting-For-Review
  #1225·thanhnguyen-aws opened May 27, 2026Contributor·

  ·
  6

• Add variable name to error message

  CoreWaiting-For-Review
  #1195·Dragon-Hatcher opened May 20, 2026·

  ·
  1

  

• feat(transform): Add optional SSA transformation for Strata Core

  Git conflictsHas 1 approval
  #1127·sagjoshi opened May 5, 2026Contributor·

  ·
  22

  

• fix(python): Coerce Composite args to Any at call sites

  Git conflictsHas 1 approvalPython
  #1106·olivier-aws opened May 5, 2026Contributor·

  ·
  17

  

• Add "Heap reference monotone" post condition for procedures that modify the Heap

  Git conflictsLaurelPythonWaiting-For-Review
  #1099·thanhnguyen-aws opened May 1, 2026Contributor·

  ·
  14

  

• feat: Add Split-Solve-Reconcile workflow for cloud-based SMT solving

  CoreGit conflictsPython
  #1096·olivier-aws opened May 1, 2026Contributor·

  ·
  24

• docs: Add exit-semantics design documentation

  Git conflictsWaiting-For-Review
  #1080·seebees opened Apr 30, 2026·

  ·
  1

• feat(laurel): Seq<T> and Array<T> with bounds-checked subscript and diagnostics

  LaurelPythonWaiting-For-Review
  #1073·fabiomadge opened Apr 29, 2026Contributor·

  ·
  35

• Core Expression metadata

  CoreLaurelPython
  #1066·MikaelMayer opened Apr 28, 2026Contributor·

  ·
  108