Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 27, 2026

• Migrate `StrataVerify` functionality to `strata verify` (#691)

  Show description for 745b4a8
  

  atomb

  and

  joscoh

  authored
  745b4a8

  Copy full SHA for 745b4a8

Commits on Mar 16, 2026

• feat(Core): add loop termination checking via `decreases` measure annotations (#581)

  Show description for 6b4f049
  

  shigoel

  and

  claude

  authored
  6b4f049

  Copy full SHA for 6b4f049

Commits on Mar 12, 2026

• Change Laurel block grammar (#553)

  Show description for 6fd1ee4
  

  keyboardDrummer

  and

  shigoel

  authored
  6fd1ee4

  Copy full SHA for 6fd1ee4

Commits on Mar 10, 2026

• Require functions/procedures to end with ; (#539)

  Show description for 94a81ea
  

  keyboardDrummer

  and

  shigoel

  authored
  94a81ea

  Copy full SHA for 94a81ea

Commits on Feb 27, 2026

• Remove Visibility from CoreIdent and old() expressions (#488)

  Show description for 602c161
  MikaelMayer

  authored
  602c161

  Copy full SHA for 602c161

• Fix duplicate loop labels when procedure body has multiple loops (#485)

  Show description for 38898a1
  

  shigoel

  and

  claude

  authored
  38898a1

  Copy full SHA for 38898a1

Commits on Feb 26, 2026

• Allow multiple invariants in Core's loop (#484)

  Show description for 0f90a9d
  

  shigoel

  and

  claude

  authored
  0f90a9d

  Copy full SHA for 0f90a9d

Commits on Feb 16, 2026

• Add provenance info to generated SMT files (#416)

  Show description for fd4c45e
  

  atomb

  and

  aqjune-aws

  authored
  fd4c45e

  Copy full SHA for fd4c45e

Commits on Feb 13, 2026

• Document #strata_gen and Lean integration in DDM manual (#421)

  Show description for 329299c
  

  joehendrix

  and

  claude

  authored
  329299c

  Copy full SHA for 329299c

Commits on Feb 9, 2026

• Adding string support to Laurel (#395)

  Show description for 2a90a85
  

  3 peopleauthored
  2a90a85

  Copy full SHA for 2a90a85

Commits on Feb 5, 2026

• while loops with multiple invariants (#382)

  Show description for aebc960
  

  3 peopleauthored
  aebc960

  Copy full SHA for aebc960

Commits on Jan 29, 2026

• Always use 1d locations in metadata (#343)

  Show description for b7af83b
  

  3 peopleauthored
  b7af83b

  Copy full SHA for b7af83b

• Add SARIF output format support with comprehensive tests (#290)

  Show description for 218ea5c
  

  4 peopleauthored
  218ea5c

  Copy full SHA for 218ea5c

Commits on Jan 20, 2026

• Fix bug in procedure type check (#336)

  Show description for c31b8a3
  shigoel

  authored
  c31b8a3

  Copy full SHA for c31b8a3

Commits on Jan 16, 2026

• Rename Boogie to Core or Strata Core (#330)

  Show description for 5a7b44a
  aqjune-aws

  authored
  5a7b44a

  Copy full SHA for 5a7b44a

Commits on Jan 14, 2026

• Add `cover` command; make analysis results more readable (#314)

  Show description for 83d6794
  shigoel

  authored
  83d6794

  Copy full SHA for 83d6794

Commits on Jan 9, 2026

• Percolate source location metadata from Boogie DDM down to Lambda (#309)

  Show description for 43ba4e4
  shigoel

  authored
  43ba4e4

  Copy full SHA for 43ba4e4

Commits on Dec 17, 2025

• feat(DDM): Add Bool support to DDM core (#255)

  Show description for 5ce8f20
  

  MikaelMayer

  and

  andrewmwells-amazon

  authored
  5ce8f20

  Copy full SHA for 5ce8f20

Commits on Oct 27, 2025

• Add position info to DDM. (#112)

  Show description for 900a401
  

  joehendrix

  and

  aqjune-aws

  authored
  900a401

  Copy full SHA for 900a401

Commits on Oct 21, 2025

• Improve compatibility of Python and Lean DDM implementation (#143)

  Show description for 3de5e26
  joehendrix

  authored
  3de5e26

  Copy full SHA for 3de5e26

Commits on Sep 24, 2025

• Add #load_dialect command to DDM (#128)

  Show description for 7adfea8
  joehendrix

  authored
  7adfea8

  Copy full SHA for 7adfea8

Commits on Aug 22, 2025

• Allocation checks should not be free in Heap encoding (#88)

  Show description for d9c2f60
  

  3 peopleauthored
  d9c2f60

  Copy full SHA for d9c2f60

• Ion format simplifications; DDM elaboration changes to reduce panics. (#85)

  Show description for 2ed3f6b
  joehendrix

  authored
  2ed3f6b

  Copy full SHA for 2ed3f6b

Commits on Aug 20, 2025

• Fix LoopSimple Boogie example (#81)

  Show description for fef4300
  andrewmwells-amazon

  authored
  fef4300

  Copy full SHA for fef4300

Commits on Aug 19, 2025

• Heap encoding in Boogie.Strata POC (#34)

  Show description for 06cc6af
  

  samuelchassot

  and

  shigoel

  authored
  06cc6af

  Copy full SHA for 06cc6af

• Add extra examples of loops in Boogie and C_Simp (#67)

  Show description for 6e5bc8a
  

  atomb

  and

  shigoel

  authored
  6e5bc8a

  Copy full SHA for 6e5bc8a

Commits on Aug 13, 2025

• Command line interface to the DDM (#50)

  Show description for 8f829b6
  

  3 peopleauthored
  8f829b6

  Copy full SHA for 8f829b6

• Make C_Simp more C-like (#55)

  Show description for 80472ba
  

  andrewmwells-amazon

  and

  shigoel

  authored
  80472ba

  Copy full SHA for 80472ba

Commits on Aug 6, 2025

• Add loops to Strata.Boogie (#35)

  Show description for 0c31dfa
  atomb

  authored
  0c31dfa

  Copy full SHA for 0c31dfa

Commits on Jul 28, 2025

• Introduce DialectLoader to collect all dialect information. (#6)

  Show description for 9cfb1de
  joehendrix

  authored
  9cfb1de

  Copy full SHA for 9cfb1de

Commits on Jul 23, 2025

• Initial commit

  andrewmwells-amazon

  committed
  d031c5a

  Copy full SHA for d031c5a

Loading