DEIS-Tools/strategoutil issues and pull requests

#55 - Move to secretless publishing to pypi

Pull Request - State: closed - Opened by magoorden 8 months ago

#54 - #53 Improve build and publish workflow

Pull Request - State: closed - Opened by magoorden 8 months ago

#53 - Move to secretless publishing to PyPI

Issue - State: closed - Opened by magoorden 8 months ago - 3 comments

#52 - Action to push code to PyPI fails

Issue - State: closed - Opened by magoorden 8 months ago - 1 comment

#51 - #37 Add double quotes around file paths to deal with spaces

Pull Request - State: closed - Opened by magoorden 8 months ago

#50 - Add build.tools to readthedocs config file

Pull Request - State: closed - Opened by magoorden 8 months ago

#49 - #48 Add build.os to readthedocs file

Pull Request - State: closed - Opened by magoorden 8 months ago

#48 - Readthedocs badge says documentation is failing

Issue - State: closed - Opened by magoorden 8 months ago - 7 comments
Labels: bug

#47 - Correct build badge url

Pull Request - State: closed - Opened by magoorden 8 months ago

#46 - Build status badge not displayed correctly

Issue - State: closed - Opened by magoorden 8 months ago
Labels: bug

#45 - #44 Build fails for python 3.7 on macos

Pull Request - State: closed - Opened by magoorden 8 months ago

#44 - Build fails for Python 3.7 on macOS

Issue - State: closed - Opened by magoorden 8 months ago
Labels: bug

#43 - 42 improve error reporting when uppaal fails

Pull Request - State: closed - Opened by magoorden 8 months ago - 1 comment

#42 - Improve error reporting when Uppaal fails

Issue - State: closed - Opened by magoorden 8 months ago
Labels: enhancement

#41 - Change GitHub build workflow

Pull Request - State: closed - Opened by magoorden over 1 year ago

#40 - Build action fails for Python 3.6

Issue - State: closed - Opened by magoorden over 1 year ago

#39 - Update docs installation macos

Pull Request - State: closed - Opened by magoorden over 1 year ago

#38 - allow multiple action variables

Issue - State: open - Opened by EstherHKim almost 2 years ago

#37 - Check paths having spaces

Issue - State: closed - Opened by magoorden almost 2 years ago

#36 - Add traffic example

Pull Request - State: closed - Opened by magoorden over 2 years ago

#35 - Add floor heating example to doc

Pull Request - State: closed - Opened by magoorden over 2 years ago

#34 - Update version number

Pull Request - State: closed - Opened by magoorden over 2 years ago

#33 - Update repository change

Pull Request - State: closed - Opened by magoorden almost 3 years ago

#32 - Change name to STOMPC as in the submitted paper

Issue - State: closed - Opened by magoorden almost 3 years ago - 2 comments

#31 - Add more error handling

Pull Request - State: closed - Opened by magoorden almost 3 years ago

#30 - Update version number

Pull Request - State: closed - Opened by magoorden almost 3 years ago

#29 - Add workaround of the no command found error

Pull Request - State: closed - Opened by magoorden almost 3 years ago

#28 - Example in documentation

Pull Request - State: closed - Opened by magoorden almost 3 years ago

#27 - Use save strategy to figure out the next control action

Issue - State: open - Opened by magoorden almost 3 years ago

#26 - #24 Update installation instructions.

Pull Request - State: closed - Opened by magoorden about 3 years ago

#25 - Verify tool compatability with the latest release of Uppaal Stratego 9

Issue - State: closed - Opened by magoorden about 3 years ago - 1 comment

#24 - Installation guide doesn't reflect new folder naming of Stratego beta 10

Issue - State: closed - Opened by magoorden over 3 years ago
Labels: documentation

#23 - Add single run method

Pull Request - State: closed - Opened by magoorden over 3 years ago

#22 - #6 improve command line interface

Pull Request - State: closed - Opened by magoorden over 3 years ago

#21 - Make shallow copy of initial model configuration

Pull Request - State: closed - Opened by magoorden over 3 years ago

#20 - Update version number

Pull Request - State: closed - Opened by magoorden over 3 years ago

#19 - Update version number in setup

Pull Request - State: closed - Opened by magoorden over 3 years ago

#18 - Add methods to run external simulator

Pull Request - State: closed - Opened by magoorden over 3 years ago

#17 - wrong conf path

Pull Request - State: closed - Opened by mihsamusev over 3 years ago

#16 - #8 documentation

Pull Request - State: closed - Opened by mihsamusev over 3 years ago

#15 - #8 Set up of documentation

Pull Request - State: closed - Opened by magoorden over 3 years ago

#14 - #13 Make output file option optionally

Pull Request - State: closed - Opened by magoorden over 3 years ago

#13 - Print results to stdout when no output file is provided

Issue - State: closed - Opened by magoorden over 3 years ago

#12 - Add over-writable method to perform model-specific code each MPC round

Pull Request - State: closed - Opened by magoorden over 3 years ago

#11 - Print results to file

Pull Request - State: closed - Opened by magoorden over 3 years ago

#10 - PyPI workflow set up

Pull Request - State: closed - Opened by mihsamusev over 3 years ago

#9 - Side effects from passing model_cfg_dict without copying

Issue - State: closed - Opened by mihsamusev over 3 years ago
Labels: bug, invalid

#8 - Improve documentation of the tool

Issue - State: open - Opened by magoorden over 3 years ago
Labels: documentation

#7 - Create test suite for verifying the different Stratego versions

Issue - State: open - Opened by magoorden over 3 years ago - 3 comments
Labels: enhancement

#6 - Investigate the python command line interface

Issue - State: closed - Opened by magoorden over 3 years ago
Labels: bug, enhancement

#5 - Create a workflow for pip

Issue - State: closed - Opened by magoorden over 3 years ago - 3 comments

#4 - Better error handling and reporting to user

Issue - State: closed - Opened by magoorden over 3 years ago
Labels: enhancement

#3 - Add workflow chart to highlight differences beetween MPCsetup and the StrategoController

Issue - State: open - Opened by mihsamusev over 3 years ago
Labels: enhancement

#2 - Add safe MPC setup

Pull Request - State: closed - Opened by magoorden over 3 years ago

#1 - Update stategoutil with basic MPS setup class

Pull Request - State: closed - Opened by magoorden almost 4 years ago

GitHub / DEIS-Tools/strategoutil issues and pull requests