chore(release): 0.7.0 — bring the analysis fixes on develop onto main - #159

Merged

HuiJun merged 46 commits into

mainfrom

Sep 10, 2026

Commits on Sep 9, 2026

docs(examples): add expression feature walkthrough

devin-ai-integration[bot]
and
HuiJun
committed
2f8e723
docs(examples): match walkthrough transcripts to a full session

devin-ai-integration[bot]
and
HuiJun
committed
b858410
docs(runtime): document scheduling, choice points and exploration

devin-ai-integration[bot]
and
HuiJun
committed
27ec257
docs(examples): measure the expressions demo in the pilot differential

devin-ai-integration[bot]
and
HuiJun
committed
b506467
Merge branch 'main' into docs/expression-features-guide

devin-ai-integration[bot]
and
HuiJun
committed
1a4c6f0
docs(examples): re-measure the examples root with the analysis walkthrough beside the expressions demo

devin-ai-integration[bot]
and
HuiJun
committed
a52275f
fix(runtime): explore advances one token per step

devin-ai-integration[bot]
and
HuiJun
committed
a8c12b7
fix(lower): source a sourceless transition from the state declared before it

devin-ai-integration[bot]
and
HuiJun
committed
07a9d8d
test(passes): pin a parameter or written succession before the shorthand as its source

devin-ai-integration[bot]
and
HuiJun
committed
872ccd7
fix(runtime): explore picks a due paused body among the tokens able to act

devin-ai-integration[bot]
and
HuiJun
committed
ea5266d
chore: merge develop into feature/explore-single-token-steps

devin-ai-integration[bot]
and
HuiJun
committed
b107fdd
Merge pull request #147 from Open-MBEE/docs/expression-features-guide

HuiJun
and
devin-ai-integration[bot]
authored
be8991d
fix(runtime): bind a verification objective's subject to the case subject

devin-ai-integration[bot]
and
HuiJun
committed
5594c3d
test(cli,repl,grpc): decide a verification objective on every surface

devin-ai-integration[bot]
and
HuiJun
committed
b829fec
docs(project): record verification objective subject binding

devin-ai-integration[bot]
and
HuiJun
committed
68ad9ca
Merge remote-tracking branch 'origin/develop' into fix/verification-objective-subject
devin-ai-integration[bot]
committed
26ff886
fix(runtime): type sweep and sample values by the parameter they bind

devin-ai-integration[bot]
and
HuiJun
committed
b13337e
feat(runtime): select the start state with guarded entry transitions

devin-ai-integration[bot]
and
HuiJun
committed
6194d6b
test(runtime): state the objective subject first in the verification fixtures

devin-ai-integration[bot]
and
HuiJun
committed
e77c191
fix(runtime): bound a swept quantity's magnitude by its num type

devin-ai-integration[bot]
and
HuiJun
committed
4bf120d
test(python): a Real range between whole numbers steps by one

devin-ai-integration[bot]
and
HuiJun
committed
bcca4ee

Commits on Sep 10, 2026