moves-rwth/pycarl issues and pull requests

#43 - Pycarl version 2.3.0

Pull Request - State: closed - Opened by volkm 6 months ago

#42 - Removed support for test command in setup.py

Pull Request - State: closed - Opened by volkm 6 months ago

#41 - Pycarl version 2.2.1

Pull Request - State: closed - Opened by volkm 7 months ago

#40 - Bump technote-space/workflow-conclusion-action from 2 to 3

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

#39 - Bump dawidd6/action-send-mail from 2 to 3

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

#38 - Bump peaceiris/actions-gh-pages from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#37 - Bump peter-evans/create-pull-request from 5 to 6

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

#36 - Bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#35 - Update CI and Dockerfiles

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

#34 - Dependabot to automatically update Github actions

Pull Request - State: closed - Opened by volkm 9 months ago

#33 - pycarl installation failed

Issue - State: open - Opened by jacktang about 1 year ago - 1 comment

#32 - Code formatting

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

#31 - Intervals with different number types

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

#30 - Automatic formatting via black + CI support

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

#29 - CMake updates

Pull Request - State: closed - Opened by volkm over 1 year ago - 2 comments

#28 - Correctly disable Cmake argument if not supported

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

#27 - Confusing message regarding CLN

Issue - State: closed - Opened by sjunges over 1 year ago - 3 comments

#26 - Pycarl version 2.2.0

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

#25 - Added Dockerfile

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

#24 - Require carl-storm in version >= 14.23

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

#23 - Require carl-storm version 14.25

Pull Request - State: closed - Opened by volkm almost 2 years ago - 1 comment

#22 - Reference new repo moves-rwth/carl-parser

Pull Request - State: closed - Opened by volkm almost 2 years ago

#21 - mention new carl repository, note for apple silicon users

Pull Request - State: closed - Opened by tquatmann almost 2 years ago - 1 comment

#20 - Updates to carl-storm path and list of authors

Pull Request - State: closed - Opened by volkm almost 2 years ago - 1 comment

#19 - mention new carl repository, note for apple silicon users

Pull Request - State: closed - Opened by tquatmann almost 2 years ago - 2 comments

#18 - Added Zenodo badge to README

Pull Request - State: closed - Opened by volkm almost 2 years ago

#17 - Added py::prepend to fix overlead order of str for enums

Pull Request - State: closed - Opened by volkm almost 2 years ago

#16 - Improved build process

Pull Request - State: closed - Opened by volkm over 2 years ago - 1 comment

#15 - Download pybind via CMake

Pull Request - State: closed - Opened by volkm over 2 years ago - 12 comments

#14 - Pycarl version 2.1.0

Pull Request - State: closed - Opened by volkm over 2 years ago - 1 comment

#13 - Updated CI

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

#12 - Bump numpy from 1.19.0 to 1.22.0 in /resources/pybind11/tests

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 2 comments
Labels: dependencies

#11 - Disable interprocedural optimization to fix issues with singletons

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

#10 - Improved workflows for Github Actions

Pull Request - State: closed - Opened by volkm almost 3 years ago - 1 comment

#9 - Updated deprecated pybind constructs

Pull Request - State: closed - Opened by volkm almost 3 years ago - 1 comment

#8 - Bump numpy from 1.19.0 to 1.21.0 in /resources/pybind11/tests

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 2 comments
Labels: dependencies

#7 - Enable Github Actions for PR

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

#6 - Adapt pickling functions to new pybind11

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

#5 - Pybind update

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

#4 - Pytest for pycarl installation fails

Issue - State: closed - Opened by oyendrila-dobe almost 4 years ago

#3 - Implement manually triggered github actions CI

Pull Request - State: closed - Opened by dbasgoeze about 4 years ago - 5 comments

#2 - CMake search for storm-carl version.

Issue - State: open - Opened by sjunges about 5 years ago - 1 comment

#1 - Building process fails at cmake with exit code 2

Issue - State: closed - Opened by oyendrila-dobe over 5 years ago - 2 comments

GitHub / moves-rwth/pycarl issues and pull requests