Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / JuliaReach/Flowstar.jl issues and pull requests

#33 - Update README.md

Pull Request - State: closed - Opened by mforets 9 months ago - 2 comments

#32 - Run CI with latest Julia version

Pull Request - State: closed - Opened by schillic about 1 year ago - 1 comment

#31 - Update Project.toml

Pull Request - State: closed - Opened by schillic about 1 year ago

#30 - CompatHelper: bump compat for TypedPolynomials to 0.4, (keep existing compat)

Pull Request - State: closed - Opened by github-actions[bot] about 1 year ago - 1 comment

#29 - TagBot trigger issue

Issue - State: closed - Opened by JuliaTagBot about 2 years ago - 2 comments

#28 - Register

Issue - State: closed - Opened by agerlach about 2 years ago - 7 comments

#26 - Add vim to devcontainer

Pull Request - State: closed - Opened by agerlach about 2 years ago

#25 - Progress logging support

Pull Request - State: closed - Opened by agerlach about 2 years ago

#24 - Add ProgressLogging Support

Issue - State: closed - Opened by agerlach about 2 years ago

#23 - Transfer to JuliaReach

Issue - State: closed - Opened by agerlach about 2 years ago

#22 - add examples to readme

Pull Request - State: closed - Opened by agerlach about 2 years ago

#21 - fix parsing with no polynomial terms

Pull Request - State: closed - Opened by agerlach about 2 years ago

#20 - Error parsing flowpipes independent of `t`

Issue - State: closed - Opened by agerlach about 2 years ago

#19 - reorganize functions

Pull Request - State: closed - Opened by agerlach about 2 years ago

#18 - Nonsymmetric and per-state remainder estimation

Issue - State: open - Opened by agerlach about 2 years ago

#17 - State dependent adaptive TM order

Pull Request - State: closed - Opened by agerlach about 2 years ago

#16 - Per variable TM order

Issue - State: closed - Opened by mforets about 2 years ago - 1 comment

#15 - Assert existence of flowpipes and test

Pull Request - State: closed - Opened by agerlach about 2 years ago

#14 - `domain()` assumes fixed time stepping.

Issue - State: closed - Opened by agerlach about 2 years ago

#13 - Adaptive time stepping domain support

Pull Request - State: closed - Opened by agerlach about 2 years ago

#12 - Update Project.toml

Pull Request - State: closed - Opened by agerlach about 2 years ago

#11 - Incomplete Flowpipe Parsing

Pull Request - State: closed - Opened by agerlach about 2 years ago

#10 - Wrong number of dimensions being parsed

Issue - State: closed - Opened by agerlach about 2 years ago - 1 comment

#9 - 0 Flowpipe Handling

Issue - State: closed - Opened by agerlach about 2 years ago - 2 comments

#8 - Add GitHub Codespace support

Pull Request - State: closed - Opened by agerlach about 2 years ago

#7 - add flowstar compat bound

Pull Request - State: closed - Opened by agerlach about 2 years ago

#5 - Model creation

Pull Request - State: closed - Opened by agerlach about 2 years ago

#4 - (Draft) Parse to TaylorModel1{TaylorN}

Pull Request - State: closed - Opened by agerlach about 2 years ago - 1 comment

#3 - Parser to TaylorN

Pull Request - State: closed - Opened by agerlach about 2 years ago

#2 - Flowstar_jll & CI

Pull Request - State: closed - Opened by agerlach about 2 years ago