Release v0.5.2

Release v0.5.1

Release v0.5.0

Fix: pass symmetry context to all expression evaluation sites (#329)

Symmetry domain methods (values(), fresh(), choices()) require a
SymmetryContext to be set on the Starlark thread. Previously this was
only done for PyStmt, ForStmt iter, and AnyStmt iter — leaving six
evaluation sites that would panic with "symmetry context not found"
if a domain method appeared in those positions:

- IfStmt condition
- AnyStmt condition (the filter, not the iter)
- RequireStmt condition
- ReturnStmt expression
- CallStmt argument expressions
- CallStmt default parameter expressions
- WhileStmt condition
- CheckInvariant (simple one-line invariant form)

Each site now calls createSymmetryContext() before eval and
saveRotationalLastAllocated() after, matching the existing pattern.

Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>

Cargo updates (#268)

Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

Use monotonic time (#264)

Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

Scaffolding as subcommand of fizz and some fixes to the library (#252)

Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

rename to fizzbee-mbt-runner (#249)

Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

ci: add write permission in release.yaml (#197)

Fix an invariant failure case where the model checker does not exit e…

…arly on failed invariant and shows deadlock detection error (#196)

Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>