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
#27 - CompatHelper: add new compat entry for ProgressLogging at version 0.1, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] about 2 years ago
#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
#6 - CompatHelper: add new compat entry for TypedPolynomials at version 0.3, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] 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
#1 - CompatHelper: add new compat entry for TaylorModels at version 0.6, (keep existing compat)
Pull Request -
State: closed - Opened by github-actions[bot] about 2 years ago