Update ModelingToolkit requirement from 10 to 10, 11.18 in the all-julia-packages group across 1 directory

[dependabot]

Updates the requirements on ModelingToolkit to permit the latest version.
Updates ModelingToolkit to 11.18.0

Release notes

Sourced from ModelingToolkit's releases.

v11.18.0

ModelingToolkit v11.18.0

Diff since v11.17.0

Merged pull requests:

• Fixing Restricted event definition (#4397) (@​cgutsche)
• refactor: remove old edge case in observed_equations_used_by, fix SCCNonlinearProblem (#4398) (@​AayushSabharwal)
• Fix parameter bindings and observed variable substitution for dynamic optimization problems (#4399) (@​SebastianM-C)
• fix: handle adjoint in equations (#4400) (@​AayushSabharwal)
• fix: do not use LinearInitializationProblem for underdetermined systems (#4403) (@​AayushSabharwal)
• Use inputs(sys) instead of unbound_inputs(sys) for optimal control (#4406) (@​SebastianM-C)
• Refactor variable bounds to use proper backend bounds (#4407) (@​SebastianM-C)
• Performance: Use SVector and struct buffers to fix MTKFMIExt allocations (#4410) (@​ajatshatru01)
• Skip work in late_binding_update_u0_p if p is empty (#4411) (@​jClugstor)
• fix: fix and test DiffEqBase.anyeltypedual for MTKParameters (#4412) (@​AayushSabharwal)
• feat: add pass to convert constant floating-point literals in equations (#4413) (@​AayushSabharwal)
• fix(SCCNonlinearProblem): ensure proper order of observed equations in merged SCCs (#4414) (@​AayushSabharwal)
• fix: fix bug in codegen for derivatives depending on observed (#4415) (@​AayushSabharwal)
• MTKParameters handling for Mooncake AD (#4416) (@​AstitvaAggarwal)
• refactor: [AI] refactor callback codegen for modularity and type-stability (#4417) (@​AayushSabharwal)
• refactor: remove filter_observed from build_function_wrapper (#4418) (@​AayushSabharwal)
• fix: allow truncate_constant_floats to accept any float type (#4419) (@​asinghvi17)
• build(deps): bump codecov/codecov-action from 5 to 6 (#4420) (@​dependabot[bot])
• build: bump MTKBase minor, MTK minor, MTKBase compat (#4421) (@​AayushSabharwal)

Closed issues:

• Restricted event definition (#4390)
• Possible to create and simulate ODE while forgetting to provide initial condition value for some variables (#4401)
• vec(::Float64) error when array variables become observed (#4404)

Changelog

Sourced from ModelingToolkit's changelog.

ModelingToolkit v11 Release Notes

Symbolics@7 and SymbolicUtils@4 compatibility

SymbolicUtils version 4 involved a major overhaul of the core symbolic infrastructure, which propagated to Symbolics as Symbolics version 7. ModelingToolkit has now updated to these versions. This includes significant type-stability improvements, enabling precompilation of large parts of the symbolic infrastructure and faster TTFX. It is highly recommended to read the Release Notes for SymbolicUtils@4 and the doc page describing the new variant structure before these release notes.

As part of these changes, ModelingToolkit has changed how some data is represented to allow precompilation. Notably, variable => value mappings (such as guesses) are stored as an AbstractDict{SymbolicT, SymbolicT}. Here, SymbolicT is a type that comes from Symbolics.jl, and is the type for all unwrapped symbolic values. This means that any non-symbolic values are stored as SymbolicUtils.Const variants. Mutation such as guesses(sys)[x] = 1.0 is still possible, and values are automatically converted. However, obtaining the value back requires usage of SymbolicUtils.unwrap_const or Symbolics.value.

Following is a before/after comparison of the TTFX for the most common operations in ModelingToolkit.jl. Further improvements are ongoing. Note that the timings do depend on many factors such as the exact system used, types passed to constructor functions, other packages currently loaded in the session, presence of array variables/equations, whether index reduction is required, and the behavior of various passes in mtkcompile. However, the numbers are good representations of the kinds of performance improvements that are possible due to the new infrastructure. There will continue to be improvements as this gets more extensive testing and we are better able to identify bottlenecks in compilation.

System constructor

The time to call System, not including the time taken for @variables or building the equations.

Before:

  0.243758 seconds (563.80 k allocations: 30.613 MiB, 99.48% compilation time: 3% of which was recompilation)
elapsed time (ns):  2.43757958e8
gc time (ns):       0
bytes allocated:    32099616
pool allocs:        563137
non-pool GC allocs: 16
malloc() calls:     651
free() calls:       0
minor collections:  0
full collections:   0

After:

</tr></table> 

... (truncated)

Commits

• 488aef1 Merge pull request #4421 from SciML/as/bump-version
• dae1aab build: bump MTK minor, MTKBase compat
• f14f5a3 build: bump MTKBase minor version
• f2d8a6b Merge pull request #4419 from asinghvi17/patch-6
• fbaaa7f Merge pull request #4410 from ajatshatru01/master
• e0f42ca Merge pull request #4418 from SciML/as/test-codegen
• 2e33c6e Merge pull request #4420 from SciML/dependabot/github_actions/codecov/codecov...
• 950d151 build(deps): bump codecov/codecov-action from 5 to 6
• 8a48e18 Merge pull request #4417 from SciML/as/refactor-cbs
• 1843590 docs: update docstring
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions