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

#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

#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

#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

#345 - ControllerFormats v0.2

Pull Request - State: closed - Opened by schillic 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

#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

#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

#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