Commits

History for

Commits on Jul 30, 2026

commit: aff86513f397036a54d5ebfca96b616724ed151c

julesmt
authored and
strata-bot
committed
Adapt to non-optional AstNode.source and Identifier.source

keyboardDrummer
authored and
strata-bot
committed

Commits on Jul 16, 2026

feat(cli): pass ReFactory to Core.Program.run for pyInterpret

olivier-aws
authored and
strata-bot
committed

Commits on Jul 14, 2026

commit: d276bf1106afd5591f19dbdb16327402cc26eea8

julesmt
authored and
strata-bot
committed
fix: make AnalyzeGoldenTest stream output and work with set -eo pipefail

robin-aws
authored and
strata-bot
committed
Speed up analyze golden test by running the compiled binary

olivier-aws
authored and
strata-bot
committed
Merge origin/mainline into pyspec/specexpr-vocabulary-local

julesmt
authored and
strata-bot
committed
pyspec: native contract decorator recognition surface

julesmt
authored and
strata-bot
committed
Golden tests: normalize unstable assertion label IDs

keyboardDrummer
authored and
strata-bot
committed
Enable calling procedures in contracts (#1352) [StrataPython portion]

keyboardDrummer
authored and
strata-bot
committed
### Summary

robin-aws
authored and
strata-bot
committed
Port SARIF and regex differential tests from Python to Lean tests

joehendrix
authored and
strata-bot
committed

Commits on Jun 9, 2026

Add CI for standalone StrataPython repo (#1)

joehendrix
and
claude
authored

Commits on Jun 5, 2026

Split Python library into strata-base and strata-python packages (#1307)
joehendrix
authored

Commits on Jun 3, 2026

Extract Python into standalone StrataPython package (#1308)
joehendrix
authored

Commits on May 28, 2026

Rename StrataDDM-internal namespaces from Strata.* to StrataDDM.* (#1272)
joehendrix
authored

Commits on May 27, 2026

Extract DDM into standalone StrataDDM package (#1221)
joehendrix
authored

Commits on May 20, 2026

Commits on May 19, 2026

Commits on May 4, 2026

Various Laurel resolver improvements - including disallowing transparent procedures (#1076)

authored

Commits on Apr 30, 2026

Commits on Apr 29, 2026

Fix #1000: procedure call in exception-check assert (#1012)

keyboardDrummer-bot
and
olivier-aws
authored

Commits on Apr 28, 2026

PySpec pipeline: fix type mismatches, add type assertions, and clean up translation (#1048)

joehendrix
and
claude
authored

Commits on Apr 27, 2026

Loading