Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

JuliaReach / ReachabilityAnalysis.jl Public

Notifications You must be signed in to change notification settings
Fork 16
Star 196

Code
Issues 143
Pull requests 6
Actions
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Wiki
Security
Insights

Releases: JuliaReach/ReachabilityAnalysis.jl

Releases Tags

Releases · JuliaReach/ReachabilityAnalysis.jl

v0.18.8

12 Jul 11:33

github-actions

v0.18.8

8935ead

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.18.8

ReachabilityAnalysis v0.18.8

Diff since v0.18.7

Merged pull requests:

Update ci.yml (#645) (@mforets)
Rename FirstOrderddt -> SecondOrderddt (#646) (@schillic)
Shrink some plots in documentation (#648) (@schillic)
Fix overapproximate(::TMRS, Hyperrectangle) (#650) (@schillic)
cleanup reduce_order and update generated tests (#651) (@mforets)

Contributors

schillic and mforets

Assets 2

All reactions

v0.18.7

03 Jul 05:09

github-actions

v0.18.7

eda82d1

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.18.7

ReachabilityAnalysis v0.18.7

Diff since v0.18.6

Closed issues:

Integrate with Flowstar.jl (#640)

Merged pull requests:

Integrate with Flowstar.jl (#641) (@mforets)
Add TaylorModels import (#643) (@schillic)
Update Project.toml (#644) (@mforets)

Contributors

schillic and mforets

Assets 2

All reactions

v0.18.6

18 Jun 19:29

github-actions

v0.18.6

3bc4d2b

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.18.6

ReachabilityAnalysis v0.18.6

Diff since v0.18.5

Closed issues:

Fixes for HybridSystems v0.4 (#637)

Merged pull requests:

#637 - Fixes for HybridSystems v0.4 (#638) (@schillic)
Update Project.toml (#639) (@schillic)

Contributors

schillic

Assets 2

All reactions

v0.18.5

08 Jun 05:51

github-actions

v0.18.5

3c846f7

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.18.5

ReachabilityAnalysis v0.18.5

Diff since v0.18.4

Merged pull requests:

Fix typo (#632) (@schillic)
update docs (#633) (@mforets)

Contributors

schillic and mforets

Assets 2

All reactions

v0.18.4

23 May 08:53

github-actions

v0.18.4

1198b13

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.18.4

ReachabilityAnalysis v0.18.4

Diff since v0.18.3

Closed issues:

Fix example in the readme (#625)

Merged pull requests:

Replace auxiliary method outsourced to IntervalArithmetic (#631) (@schillic)

Contributors

schillic

Assets 2

All reactions

v0.18.3

15 May 09:02

github-actions

v0.18.3

006c239

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.18.3

ReachabilityAnalysis v0.18.3

Diff since v0.18.2

Merged pull requests:

extend isdisjoint for set unions (#629) (@mforets)
Extend AbstractLazyReachSet operations to unions (#630) (@schillic)

Contributors

schillic and mforets

Assets 2

All reactions

v0.18.2

14 May 12:18

github-actions

v0.18.2

14cc8de

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.18.2

ReachabilityAnalysis v0.18.2

Diff since v0.18.1

Merged pull requests:

update deprecated constructor (#627) (@mforets)
update overapproximate (#628) (@mforets)

Contributors

mforets

Assets 2

All reactions

v0.18.1

14 May 05:11

github-actions

v0.18.1

bcb184a

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.18.1

ReachabilityAnalysis v0.18.1

Diff since v0.18.0

Merged pull requests:

Add initial version of the CARLIN algorithm (#626) (@mforets)

Contributors

mforets

Assets 2

All reactions

v0.18.0

25 Apr 20:59

github-actions

v0.18.0

7db2ed6

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.18.0

ReachabilityAnalysis v0.18.0

Diff since v0.17.1

Merged pull requests:

Bump compat for TM and other packages (#621) (@schillic)
Broken link (#622) (@joaquimpuig)

Contributors

joaquimpuig and schillic

Assets 2

All reactions

v0.17.1

19 Apr 20:42

github-actions

v0.17.1

6338fac

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

v0.17.1

ReachabilityAnalysis v0.17.1

Diff since v0.17.0

Closed issues:

Fix construction of TaylorModelN in subdomain evaluation to Zonotope (#613)

Merged pull requests:

Subdomain overapproximation of TM using zonotopes (#618) (@mforets)

Contributors

mforets

Assets 2

All reactions

Previous 1 2 3 4 5 … 8 9 Next

Previous Next

Footer

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.