tulip-control/tulip-control issues and pull requests

#264 - Matlibsim fragments

Pull Request - State: closed - Opened by slivingston 5 months ago

#263 - Version 1.4.1 release plans

Issue - State: open - Opened by slivingston 6 months ago

#262 - Unable to install tulip

Issue - State: closed - Opened by ranai-srivastav 9 months ago - 3 comments

#261 - Create pyproject.toml; fix layout error (in some browsers)

Pull Request - State: closed - Opened by slivingston 10 months ago

#260 - README is not used as description on PyPI

Issue - State: closed - Opened by slivingston 10 months ago - 1 comment
Labels: documentation

#259 - CI: compare commit hash to decide if docs changed

Pull Request - State: closed - Opened by slivingston 10 months ago - 2 comments
Labels: documentation

#258 - Fix CI jobs

Pull Request - State: closed - Opened by slivingston 11 months ago
Labels: testing

#257 - Remove `continue-on-error` from static_analysis in .github/workflows/main.yml

Issue - State: open - Opened by slivingston 11 months ago
Labels: testing

#256 - refactoring, type hints, bugfixes

Pull Request - State: closed - Opened by johnyf 11 months ago - 1 comment

#255 - Bump gitpython from 3.1.37 to 3.1.41

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#254 - DOC: recommend paper to cite

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

#253 - Bump gitpython from 2.1.0 to 3.1.37

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#252 - Bump gitpython from 2.1.0 to 3.1.34

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#251 - Bump gitpython from 2.1.0 to 3.1.32

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#250 - tulip.transys.machines.interactive_run() is not working as intended

Issue - State: open - Opened by khassibi over 1 year ago - 2 comments

#249 - Failed to build PLY table. Please run setup.py

Issue - State: open - Opened by khassibi over 1 year ago - 10 comments

#248 - InfiniteSequence not found in transys_detailed_examples.py

Issue - State: open - Opened by mengyuest almost 3 years ago - 4 comments

#247 - move CI to GitHub Actions, because Travis CI is not free anymore

Issue - State: closed - Opened by johnyf over 3 years ago - 6 comments
Labels: testing

#246 - updating the binaries used in CI tests for the dependency `storm`

Issue - State: closed - Opened by johnyf over 3 years ago - 3 comments
Labels: testing

#245 - FIX: Typo

Pull Request - State: closed - Opened by krooken over 4 years ago - 2 comments

#244 - initial commit of reach-avoid/strategy.py

Pull Request - State: closed - Opened by layashamgah over 4 years ago

#243 - improve error message in case of trivial realizability

Pull Request - State: closed - Opened by necozay over 4 years ago - 1 comment

#242 - Fix find_controller for target regions with several polytopes

Pull Request - State: closed - Opened by krooken over 4 years ago - 9 comments

#241 - confusing assertion error

Issue - State: closed - Opened by necozay over 4 years ago - 2 comments
Labels: enhancement

#240 - about the slugs interface

Issue - State: open - Opened by he-z-r over 4 years ago - 3 comments

#239 - tulip.abstraction.discretize() produces region outside of given domain

Issue - State: open - Opened by krooken over 4 years ago - 6 comments

#238 - synth.synthesize() tries to assign out of bounds values

Issue - State: open - Opened by krooken almost 5 years ago - 5 comments

#237 - Stormpy interface

Pull Request - State: closed - Opened by tichakornw almost 5 years ago - 17 comments

#236 - Minimum violation planning

Pull Request - State: closed - Opened by tichakornw almost 5 years ago - 10 comments

#235 - add function `simulate2d`

Pull Request - State: closed - Opened by johnyf almost 5 years ago - 3 comments

#234 - add imports to `init.py`, import `matplotlib` within functions, install parser tables

Pull Request - State: closed - Opened by johnyf almost 5 years ago - 5 comments

#233 - Bug in omega interface: action_to_steps() got multiple values for argument 'qinit'

Issue - State: closed - Opened by murrayrm almost 5 years ago - 3 comments

#232 - Plotting discrete abstraction

Issue - State: open - Opened by abadithela almost 5 years ago - 1 comment

#231 - populate `init.py`

Issue - State: closed - Opened by johnyf almost 5 years ago - 6 comments

#230 - Fix continuous with simulation example

Pull Request - State: closed - Opened by murrayrm almost 5 years ago - 3 comments

#229 - API: update interface to `omega >= 0.3.1`

Pull Request - State: closed - Opened by johnyf almost 5 years ago - 5 comments

#228 - examples/continuous_with_simulation.py not working

Issue - State: open - Opened by murrayrm almost 5 years ago

#227 - `omega` interface update and related changes

Pull Request - State: closed - Opened by johnyf almost 5 years ago - 4 comments

#226 - more CI test environments and completing update for new NetworkX API

Pull Request - State: closed - Opened by slivingston almost 5 years ago - 5 comments

#225 - Initial nodes from GR(1) solvers

Pull Request - State: closed - Opened by johnyf almost 5 years ago - 4 comments

#224 - Jupyter notebook examples

Pull Request - State: closed - Opened by murrayrm almost 5 years ago - 3 comments

#223 - Filter transition attributes

Pull Request - State: closed - Opened by murrayrm almost 5 years ago

#222 - Extra states created in omega generate warnings when synthesizing

Issue - State: closed - Opened by murrayrm almost 5 years ago - 3 comments

#221 - upgrade NetworkX dependency

Issue - State: closed - Opened by slivingston almost 5 years ago - 2 comments

#220 - Update dependencies and fix compatibility with python3

Pull Request - State: closed - Opened by tichakornw almost 5 years ago - 8 comments

#219 - LTL2BA parser has problem parsing `skip`

Issue - State: open - Opened by mhtb32 almost 5 years ago - 2 comments

#218 - add support for Python 3.7 and Python 3.8; remove support for Python 3.4

Issue - State: closed - Opened by slivingston about 5 years ago - 3 comments

#217 - update URLs johnyf/dd to tulip-control/dd and johnyf/omega to tulip-control/omega

Issue - State: closed - Opened by slivingston about 5 years ago
Labels: documentation

#216 - Go through PRs and branches and integrate/toss

Issue - State: open - Opened by murrayrm over 5 years ago - 1 comment

#215 - Using the "until" operator

Issue - State: open - Opened by abadithela over 5 years ago - 1 comment
Labels: user question

#214 - Expand simulation capability

Issue - State: open - Opened by tichakornw over 5 years ago

#213 - Add TuLiP interface to external simulators

Issue - State: open - Opened by tichakornw over 5 years ago - 1 comment

#212 - Minimum violation planning

Issue - State: open - Opened by tichakornw over 5 years ago

#211 - syntax for initializing variables with a range of discrete values

Issue - State: closed - Opened by abadithela over 5 years ago - 6 comments
Labels: user question, documentation

#210 - migrate to travis-ci.com

Issue - State: closed - Opened by slivingston almost 6 years ago - 5 comments
Labels: testing

#209 - continuous_with_simulation.py gives error

Issue - State: closed - Opened by hashim19 about 6 years ago - 12 comments
Labels: user question

#208 - Kernel Dies when prop2part function is called in continuous state robot motion planning example

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

#207 - Triangular Convex Region with Polytope

Issue - State: closed - Opened by hashim19 about 6 years ago - 4 comments
Labels: user question

#206 - Create Jupyter notebooks of examples; demo via Colab

Issue - State: open - Opened by slivingston about 6 years ago - 4 comments
Labels: enhancement