Skip to content

Add explicit TaylorModels dependency#435

Merged
schillic merged 1 commit intomasterfrom
schillic/taylormodels
Feb 28, 2026
Merged

Add explicit TaylorModels dependency#435
schillic merged 1 commit intomasterfrom
schillic/taylormodels

Conversation

@schillic
Copy link
Member

This is better than hijacking the version in ReachabilityAnalysis. In particular, in a future release, ReachabilityAnalysis.TM will be renamed, so the old code would break.

@schillic schillic marked this pull request as ready for review February 28, 2026 20:30
@schillic schillic merged commit 24fd3c3 into master Feb 28, 2026
6 checks passed
@schillic schillic deleted the schillic/taylormodels branch February 28, 2026 20:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant