v0.9.5-beta

What's Changed

• fix(parser): print the trace once in @def trace mode (#344) by @ocots in #347
• fix(parser): reject constraint bounds that depend on v/x/u/t (#343) by @ocots in #345

Full Changelog: v0.9.4-beta...v0.9.5-beta

v0.9.4-beta

Full Changelog: v0.9.3-beta...v0.9.4-beta

v0.9.3-beta

Full Changelog: v0.9.2-beta...v0.9.3-beta

v0.9.2-beta

Full Changelog: v0.9.1-beta...v0.9.2-beta

v0.9.1-beta

Full Changelog: v0.9.0-beta...v0.9.1-beta

v0.9.0-beta

What's Changed

• [AUTO] JuliaFormatter.jl run by @github-actions[bot] in #259
• Update README (2026-07-13) with latest ABOUT.md, INSTALL.md, CONTRIBUTING.md and badges by @github-actions[bot] in #291
• Widen compatibility bounds for CTBase, Parameters, and CTModels by @ocots in #292
• docs(agents): add CLAUDE.md/AGENTS.md navigation guide by @ocots in #301
• Align CI with the control-toolbox Handbook (+ split CI by runner) by @jbcaillau in #302

Full Changelog: v0.8.15...v0.9.0-beta

v0.8.15

What's Changed

• Bump version to 0.8.15 and CTModels to 0.10 by @ocots in #257

Full Changelog: v0.8.14...v0.8.15

v0.8.14

What's Changed

• [AUTO] JuliaFormatter.jl run by @github-actions[bot] in #250
• Add cross-spec substitution in @init: specs can reference earlier specs by @ocots in #255

Full Changelog: v0.8.13...v0.8.14

v0.8.13

What's Changed

• [AUTO] JuliaFormatter.jl run by @github-actions[bot] in #238
• CompatHelper: add new compat entry for ExaModels at version 0.9 for package test, (drop existing compat) by @github-actions[bot] in #239
• Init by @ocots in #241
• Refactor @init alias system to use compile-time substitution by @ocots in #244
• [AUTO] JuliaFormatter.jl run by @github-actions[bot] in #245
• feat: support optimal control problems with zero-dimensional control by @ocots in #246
• Bump version from 0.8.12-beta to 0.8.13 by @ocots in #248

Full Changelog: v0.8.8...v0.8.13

v0.8.12-beta

Full Changelog: v0.8.11-beta...v0.8.12-beta