ReachabilityAnalysis.jl

ReachabilityAnalysis.jl copied to clipboard

Errors during parallel computation (Threads.@threads)

7

There are some errors when using `Threads.@threads` to slove `@ivp`. The specific codes in `test.jl` (adopted from [page](https://juliareach.github.io/ReachabilityAnalysis.jl/dev/generated_examples/SEIR/)) and errors are as follows, ``` using ReachabilityAnalysis, Plots @taylorize function seir2!(du,u,p,t)...

Xinyi-Yu

``` Warning: To maintain consistency with solution indexing, keyword argument vars will be removed in a future version. Please use keyword argument idxs instead. ```

schillic

Requires to fix #788, #789, and #790.

schillic

schillic

See the failing Aqua test.

schillic

See the failing Aqua test.

schillic

See the failing Aqua test.

schillic

Closes #634. ~~This requires a new release of `ReachabilityBase`.~~

schillic

It clashes with a `LazySets` function and has a different meaning.

schillic

They are no longer generated ( https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/774/files ) this task is about an easy way to generate them again locally.

mforets