v0.2.6

Flowstar v0.2.6

Diff since v0.2.5

Merged pull requests:

• Update README.md (#33) (@mforets)
• TaylorModels compat v0.7; new release v0.2.6 (#35) (@schillic)

v0.2.5

Flowstar v0.2.5

Diff since v0.2.4

Closed issues:

• Register (#28)

Merged pull requests:

• CompatHelper: bump compat for TypedPolynomials to 0.4, (keep existing compat) (#30) (@github-actions[bot])
• Update Project.toml (#31) (@schillic)
• Run CI with latest Julia version (#32) (@schillic)

v0.2.4

Flowstar v0.2.4

Closed issues:

• 0 Flowpipe Handling (#9)
• Wrong number of dimensions being parsed (#10)
• domain() assumes fixed time stepping. (#14)
• Per variable TM order (#16)
• Error parsing flowpipes independent of t (#20)
• Add ProgressLogging Support (#24)

Merged pull requests:

• CompatHelper: add new compat entry for TaylorModels at version 0.6, (keep existing compat) (#1) (@github-actions[bot])
• Flowstar_jll & CI (#2) (@agerlach)
• Parser to TaylorN (#3) (@agerlach)
• (Draft) Parse to TaylorModel1{TaylorN} (#4) (@agerlach)
• Model creation (#5) (@agerlach)
• CompatHelper: add new compat entry for TypedPolynomials at version 0.3, (keep existing compat) (#6) (@github-actions[bot])
• add flowstar compat bound (#7) (@agerlach)
• Add GitHub Codespace support (#8) (@agerlach)
• Incomplete Flowpipe Parsing (#11) (@agerlach)
• Update Project.toml (#12) (@agerlach)
• Adaptive time stepping domain support (#13) (@agerlach)
• Assert existence of flowpipes and test (#15) (@agerlach)
• State dependent adaptive TM order (#17) (@agerlach)
• reorganize functions (#19) (@agerlach)
• fix parsing with no polynomial terms (#21) (@agerlach)
• add examples to readme (#22) (@agerlach)
• Progress logging support (#25) (@agerlach)
• Add vim to devcontainer (#26) (@agerlach)
• CompatHelper: add new compat entry for ProgressLogging at version 0.1, (keep existing compat) (#27) (@github-actions[bot])