Rename Boogie to Core or Strata Core#330

Merged

shigoel merged 24 commits intomainfrom

jlee/boogie-to-core

Jan 16, 2026

Commits on Jan 15, 2026

Start with renaming Boogie to Core or Strata Core depending on context in docs and Examples, rename *.boogie.(expected,st) -> *.core.(expected,st)
aqjune-aws
committed
Fix build failures, missing replacements of BoogieTransform
aqjune-aws
committed
Rename 'program Boogie' to 'program Core'
aqjune-aws
committed
Rename namespace Boogie to Core
aqjune-aws
committed
Rename Strata/Languages/Boogie to Strata/Languages/Core
aqjune-aws
committed
Rename StrataTest/Languages/Boogie to StrataTest/Languages/Core
aqjune-aws
committed
Rename Core/Boogie{Gen}.lean to Core/Core{Gen}.lean, rename BoogieLParams BoogieIdent BoogieExprMetadata BoogieLabem
aqjune-aws
committed
Missing .boogie.st -> .core.st, do more updates in doc and comments
aqjune-aws
committed
BoogieGenM -> CoreGenM, and BoogieEval BoogieStore Boogie.true/false in the same pattern
aqjune-aws
committed
PythonToBoogie -> PythonToCore, and ReToBoogie and all Python translation fns
aqjune-aws
committed
Updates in CBMC, Boogie.getProgram -> Core.getProgram
aqjune-aws
committed
Python's BoogiePrelude, and more updates in other places
aqjune-aws
committed
More Boogie -> Core updates
aqjune-aws
committed
Laurel to Core
aqjune-aws
committed
BoogieToCProverGOTO, many other updates
aqjune-aws
committed
Final
aqjune-aws
committed
Merge branch 'main' of github.com:strata-org/Strata into jlee/boogie-to-core
aqjune-aws
committed