issues
search
JuliaReach
/
ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
https://juliareach.github.io/ReachabilityAnalysis.jl/
MIT License
192
stars
16
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add commits since last release to README
#875
schillic
closed
1 week ago
0
Fix invalidations CI run
#874
schillic
closed
2 weeks ago
0
Aqua v0.8.9 tests only for local ambiguities
#873
schillic
closed
2 weeks ago
0
How to do safety check in TmJests algorithm?
#872
ArsalMu
opened
2 weeks ago
1
Use outsourced `@required` macro from `ReachabilityBase`
#871
schillic
closed
1 month ago
0
Bump IntervalMatrices and Symbolics
#870
schillic
closed
1 month ago
0
CompatHelper: bump compat for IntervalMatrices to 0.11, (keep existing compat)
#869
github-actions[bot]
closed
1 month ago
0
Allow JLD2 v0.5
#868
schillic
closed
1 month ago
0
Bump peter-evans/create-pull-request from 6 to 7
#867
dependabot[bot]
closed
1 month ago
0
CompatHelper: bump compat for JLD2 to 0.5 for package docs, (keep existing compat)
#866
github-actions[bot]
closed
1 month ago
0
Error: UndefRefError: access to undefined reference
#865
paulius92
closed
2 months ago
2
CompatHelper: bump compat for Symbolics to 6 for package docs, (keep existing compat)
#864
github-actions[bot]
closed
1 month ago
0
CompatHelper: bump compat for Symbolics to 6 for package test, (keep existing compat)
#863
github-actions[bot]
closed
1 month ago
0
CompatHelper: bump compat for TaylorIntegration to 0.16, (keep existing compat)
#862
github-actions[bot]
opened
3 months ago
0
Add discrete post for `GLGM06`
#861
schillic
opened
3 months ago
0
Simplify `get` code from `kwargs` dictionary
#860
schillic
closed
2 months ago
0
Resolve static kwargs snippets
#859
schillic
closed
1 month ago
0
Outsource common `NSTEPS` code to function
#858
schillic
closed
1 month ago
3
Revise `GLGM06` documentation
#857
schillic
closed
2 months ago
0
Update Taylor* packages
#856
schillic
opened
3 months ago
1
CompatHelper: bump compat for TaylorSeries to 0.18, (keep existing compat)
#855
github-actions[bot]
opened
3 months ago
0
Allow CarlemanLinearization v0.4
#854
schillic
closed
4 months ago
0
CompatHelper: bump compat for CarlemanLinearization to 0.4, (keep existing compat)
#853
github-actions[bot]
closed
4 months ago
0
v0.26.1
#852
schillic
closed
4 months ago
0
Update to LazySets v2.14 and allow ReachabilityBase v0.3
#851
schillic
closed
4 months ago
0
CompatHelper: bump compat for ReachabilityBase to 0.3 for package docs, (keep existing compat)
#850
github-actions[bot]
closed
4 months ago
0
CompatHelper: bump compat for ReachabilityBase to 0.3, (keep existing compat)
#849
github-actions[bot]
closed
4 months ago
0
Replace `requires` macro with `require`
#848
schillic
closed
1 month ago
2
Do not pass redundant `max_order` to algorithm
#847
schillic
closed
2 months ago
0
Use `preallocate` argument in `GLGM06`
#846
schillic
closed
2 months ago
0
Remove redundant variables in algorithms
#845
schillic
closed
2 months ago
0
Merge and generalize `overapproximate` methods with `HPolytope`
#844
schillic
closed
2 months ago
3
Fix argument order of `_convert_or_overapproximate`
#843
schillic
closed
2 months ago
0
Fix some minor warnings
#842
schillic
closed
2 months ago
0
Revise discretization module
#841
schillic
closed
2 months ago
0
Remove confusing membership method
#840
schillic
closed
2 months ago
0
Fix ambiguities with `cluster`
#839
schillic
closed
2 months ago
0
Add JuliaHub and PkgEval badges
#838
schillic
closed
5 months ago
0
v0.26.0
#837
schillic
closed
5 months ago
0
Fix conflict with `⊂`
#836
schillic
closed
5 months ago
0
Incomplete docs in FAQS
#835
jonathanfischer97
opened
5 months ago
0
Simplify code for UnionSet and UnionSetArray
#834
schillic
closed
5 months ago
0
Bump julia-actions/cache from 1 to 2
#833
dependabot[bot]
closed
5 months ago
0
#726 - Outsource `SingleEntryVector` code to ReachabilityBase
#832
schillic
closed
5 months ago
2
Remove `basetype` (available in ReachabilityBase)
#831
schillic
closed
5 months ago
0
Automatic JuliaFormatter.jl run
#830
github-actions[bot]
closed
6 months ago
0
Fix interface when t0 != 0
#829
schillic
opened
6 months ago
0
Remove old helper function
#828
schillic
closed
6 months ago
0
Automatic JuliaFormatter.jl run
#827
github-actions[bot]
closed
6 months ago
0
Update Project.toml
#826
mforets
closed
6 months ago
0
Next