Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / JuliaReach/ClosedLoopReachability.jl issues and pull requests
#397 - v0.6.0
Pull Request -
State: closed - Opened by schillic about 1 month ago
#396 - Add JuliaHub and PkgEval badges
Pull Request -
State: closed - Opened by schillic about 1 month ago
#395 - Allow ReachabilityAnalysis v0.26
Pull Request -
State: closed - Opened by schillic about 1 month ago
#394 - Update models
Pull Request -
State: closed - Opened by schillic about 1 month ago
#393 - Bump julia-actions/cache from 1 to 2
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies
#392 - Add `getindex`, `length`, `solutions` for solutions; remove `solution`
Pull Request -
State: closed - Opened by schillic 2 months ago
#391 - Better plot of reachable states in models
Pull Request -
State: closed - Opened by schillic 2 months ago
#390 - Fix `_project_oa`
Pull Request -
State: closed - Opened by schillic 2 months ago
#389 - Automatic JuliaFormatter.jl run
Pull Request -
State: closed - Opened by github-actions[bot] 3 months ago
#388 - Fix commented `savefig` command in models
Pull Request -
State: closed - Opened by schillic 3 months ago
#387 - Better plotting of ACC results
Pull Request -
State: closed - Opened by schillic 3 months ago
#386 - ReachabilityAnalysis v0.25
Pull Request -
State: closed - Opened by schillic 3 months ago
#385 - Replace DifferentialEquations by OrdinaryDiffEq
Pull Request -
State: closed - Opened by schillic 3 months ago
#384 - Revise plots for models
Pull Request -
State: closed - Opened by schillic 3 months ago
#383 - Change DiffEq argument name (vars -> idxs)
Pull Request -
State: closed - Opened by schillic 3 months ago
#382 - Assert that models satisfy specs
Pull Request -
State: closed - Opened by schillic 3 months ago
#381 - Better options for TMJets
Pull Request -
State: closed - Opened by schillic 3 months ago
#380 - Remove LazySets argument that will be replaced
Pull Request -
State: closed - Opened by schillic 3 months ago
#379 - Let benchmark functions in models return result string
Pull Request -
State: closed - Opened by schillic 3 months ago
#378 - Bump julia-actions/setup-julia from 1 to 2
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies
#377 - Change plotting of VerticalCAS
Pull Request -
State: closed - Opened by schillic 3 months ago
#376 - Rename variables to avoid typos warnings
Pull Request -
State: closed - Opened by schillic 3 months ago
#375 - Move imports to one place
Pull Request -
State: closed - Opened by schillic 4 months ago
#374 - Use eachindex instead of 1:length
Pull Request -
State: closed - Opened by schillic 4 months ago
#373 - Support general output maps in `plot_simulation!`
Pull Request -
State: closed - Opened by schillic 4 months ago
#372 - Remove unused variables
Pull Request -
State: closed - Opened by schillic 4 months ago
#371 - Add Aqua badge and fix Codecov
Pull Request -
State: closed - Opened by schillic 4 months ago
#370 - Add Aqua to tests and fix problems
Pull Request -
State: closed - Opened by schillic 4 months ago
#369 - Rename `split` to `apply`
Pull Request -
State: closed - Opened by schillic 4 months ago
#368 - Replace $ with double backticks
Pull Request -
State: closed - Opened by schillic 4 months ago
#367 - Rename 'alg' and 'alg_nn' arguments
Pull Request -
State: closed - Opened by schillic 5 months ago
#366 - Support ReachabilityAnalysis 0.24
Pull Request -
State: closed - Opened by schillic 5 months ago
#365 - Fix CI script for documentation deployment
Pull Request -
State: closed - Opened by schillic 5 months ago
#364 - Automatic JuliaFormatter.jl run
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
#363 - #171 Concrete (= default) & lazy CartesianProductReconstructor
Pull Request -
State: closed - Opened by schillic 5 months ago
#362 - Outsource 'modelpath' to ReachabilityBase & load 'print_timed' in models instead of package
Pull Request -
State: closed - Opened by schillic 5 months ago
#361 - Revise CI scripts
Pull Request -
State: closed - Opened by schillic 5 months ago
#360 - Revise Literate script and deactivate notebook generation
Pull Request -
State: closed - Opened by schillic 5 months ago
#359 - Bump codecov/codecov-action from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
- 1 comment
Labels: dependencies
#358 - Bump peter-evans/create-pull-request from 5 to 6
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
- 1 comment
Labels: dependencies
#357 - Revise models
Pull Request -
State: closed - Opened by schillic 5 months ago
#356 - Report coverage of documentation
Pull Request -
State: closed - Opened by schillic 5 months ago
#355 - Support ReachabilityAnalysis v0.23.1
Pull Request -
State: closed - Opened by schillic 5 months ago
#354 - CompatHelper: bump compat for ReachabilityAnalysis to 0.23, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
#353 - Fix error in Spacecraft script
Pull Request -
State: closed - Opened by schillic 6 months ago
#352 - Avoid `using .DifferentialEquations`
Pull Request -
State: closed - Opened by schillic 6 months ago
#351 - Outsource code to NeuralNetworkReachability.jl
Pull Request -
State: closed - Opened by schillic 7 months ago
#349 - Spell check
Pull Request -
State: open - Opened by schillic 8 months ago
#348 - Support/use Documenter v1
Pull Request -
State: closed - Opened by schillic 9 months ago
#347 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies
#346 - CompatHelper: bump compat for ControllerFormats to 0.2, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] 11 months ago
#345 - ControllerFormats v0.2
Pull Request -
State: closed - Opened by schillic 11 months ago
#344 - CompatHelper: bump compat for ReachabilityAnalysis to 0.22, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] 11 months ago
#343 - CompatHelper: bump compat for ReachabilityBase to 0.2, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] 11 months ago
#342 - Auto-format script
Pull Request -
State: closed - Opened by schillic about 1 year ago
#341 - Remove some redundancies
Pull Request -
State: closed - Opened by schillic about 1 year ago
#340 - Format test code
Pull Request -
State: closed - Opened by schillic about 1 year ago
#339 - Add bounds to test/Project.toml
Pull Request -
State: closed - Opened by schillic about 1 year ago
#338 - CompatHelper: add new compat entry for MAT at version 0.10 for package test, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] about 1 year ago
#337 - CompatHelper: add new compat entry for YAML at version 0.4 for package test, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] about 1 year ago
#336 - CompatHelper: add new compat entry for ONNX at version 0.2 for package test, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] about 1 year ago
#335 - Outsource NeuralNetworkFormats -> ControllerFormats
Pull Request -
State: closed - Opened by schillic about 1 year ago
#334 - Update scripts/README/Project, format code, fix linter warnings
Pull Request -
State: closed - Opened by schillic about 1 year ago
#333 - Revise and rename DNN module
Pull Request -
State: closed - Opened by schillic about 1 year ago
#332 - Remove Symbolics from VCAS model
Pull Request -
State: closed - Opened by schillic about 1 year ago
#331 - Fix export
Pull Request -
State: closed - Opened by schillic over 1 year ago
#330 - Remove redundant type parameter
Pull Request -
State: closed - Opened by schillic over 1 year ago
#329 - Make LazySets a dependency again; remove redundant methods; require v1.6
Pull Request -
State: closed - Opened by schillic over 1 year ago
#328 - use Julia v1.8 in CI
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#327 - Use lens plot for Unicycle
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#326 - Update models and add new patch version
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#325 - Add sigmoid activation to MAT parser
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#324 - Add LinearMapPostprocessing
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#323 - Fix order of control signal in VertCAS model
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#322 - Docs build became slow
Issue -
State: closed - Opened by schillic almost 2 years ago
- 1 comment
#321 - Use updated `require` from and outsource `print_timed` to ReachabilityBase
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#320 - Minor clarification in VCAS model
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#319 - Fix settings for other TORA controllers
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#318 - New version of ReachabilityAnalysis
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#317 - Outsource network infrastructure to DNN module
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#316 - CompatHelper: bump compat for ReachabilityAnalysis to 0.20, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
#315 - CompatHelper: bump compat for ReachabilityAnalysis to 0.19, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] almost 2 years ago
#314 - Some fixes
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#313 - Add new models
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#312 - Add projection as postprocessing
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#311 - Support tanh activation in MAT parser
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#310 - Fix typo in Airplane dynamics
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#309 - Update models
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#308 - #40 - Store control signals with corresponding flowpipe
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#307 - #286 - Rename forward_network -> forward
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#306 - #262 - rename _vars keys and getters
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#305 - #285 - Remove dependencies reexported by ReachabilityAnalysis
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#304 - #219 - Use TMJets21b for Double-Pendulum
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#303 - Fix ambiguity
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#302 - Update scripts
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#301 - Add alias to YAML parser
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#300 - Fix DeepZ for sigmoids
Pull Request -
State: closed - Opened by schillic almost 2 years ago
#299 - Define equality for networks and layers
Pull Request -
State: closed - Opened by schillic about 2 years ago
#298 - Fix ONNX parser (transposed W)
Pull Request -
State: closed - Opened by schillic about 2 years ago
#297 - Simple ONNX parser
Pull Request -
State: closed - Opened by schillic about 2 years ago