cda-tum/qusat issues and pull requests

#109 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#108 - Bump codecov/codecov-action from 3.1.3 to 3.1.4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, github_actions

#107 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#106 - Bump extern/qfr from `e8e2372` to `5fbfe8f`

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

#105 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#104 - Bump codecov/codecov-action from 3.1.2 to 3.1.3

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, github_actions

#103 - Bump pypa/cibuildwheel from 2.12.1 to 2.12.3

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, github_actions

#102 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#101 - Bump codecov/codecov-action from 3.1.1 to 3.1.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, github_actions

#100 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#99 - Bump extern/qfr from `db082b6` to `e8e2372`

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, submodules

#98 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#97 - Bump pypa/cibuildwheel from 2.12.0 to 2.12.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, github_actions

#96 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#95 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#94 - Bump extern/qfr from `90a3445` to `db082b6`

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, submodules

#93 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#92 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#91 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#90 - Bump extern/qfr from `37722f2` to `90a3445`

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, submodules

#89 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#88 - Bump extern/qfr from `5ae2f78` to `37722f2`

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies, submodules

#87 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#86 - Bump pypa/cibuildwheel from 2.11.4 to 2.12.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, github_actions

#85 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#84 - Bump extern/qfr from `c11670d` to `5ae2f78`

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, submodules

#83 - Bump extern/qfr from `c11670d` to `94257ff`

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies, submodules

#82 - Bump pypa/cibuildwheel from 2.11.3 to 2.11.4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, github_actions

#81 - Bump extern/qfr from `9d0f917` to `c11670d`

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, submodules

#80 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago - 1 comment

#79 - Bump extern/qfr from `5e8b8b7` to `9d0f917`

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, submodules

#78 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] almost 2 years ago - 1 comment

#77 - Bump extern/qfr from `888d44a` to `5e8b8b7`

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

#76 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] almost 2 years ago - 1 comment

#75 - 🐛 Fix broken sdist CI (caused by switch to Ubuntu 22.04)

Pull Request - State: closed - Opened by burgholzer almost 2 years ago - 1 comment
Labels: bug

#74 - Bump pypa/cibuildwheel from 2.11.2 to 2.11.3

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

#73 - Bump extern/qfr from `64a8919` to `888d44a`

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

#72 - ⬆️🪝 update pre-commit hooks

Pull Request - State: closed - Opened by pre-commit-ci[bot] almost 2 years ago - 1 comment

#71 - Bump extern/qfr from `e5f4189` to `64a8919`

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

#70 - ✨ Modernize Project Architecture

Pull Request - State: closed - Opened by burgholzer almost 2 years ago - 1 comment
Labels: enhancement

#69 - Bump DoozyX/clang-format-lint-action from 0.14 to 0.15

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 4 comments
Labels: dependencies, github_actions

#68 - Bump extern/qfr from `c7679b6` to `e5f4189`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 4 comments
Labels: dependencies, submodules

#67 - Bump extern/qfr from `41f9809` to `c7679b6`

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

#66 - Bump extern/qfr from `64aa806` to `41f9809`

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

#65 - Bump extern/qfr from `78a3608` to `64aa806`

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

#64 - Bump pypa/cibuildwheel from 2.11.1 to 2.11.2

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

#63 - Bump extern/qfr from `6b897ff` to `78a3608`

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

#62 - Bump extern/qfr from `76dfda6` to `6b897ff`

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

#61 - Bump pypa/cibuildwheel from 2.10.2 to 2.11.1

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, github_actions

#60 - Bump extern/qfr from `ca6da01` to `76dfda6`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, submodules

#59 - Bump extern/qfr from `8232c4c` to `ca6da01`

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

#58 - Bump pypa/cibuildwheel from 2.10.1 to 2.10.2

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

#57 - Bump extern/qfr from `6e4924a` to `8232c4c`

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

#56 - Bump pypa/cibuildwheel from 2.10.0 to 2.10.1

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

#55 - Bump codecov/codecov-action from 3.1.0 to 3.1.1

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

#54 - Bump extern/qfr from `ae0b7c0` to `6e4924a`

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

#53 - Bump pypa/cibuildwheel from 2.9.0 to 2.10.0

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

#52 - Bump extern/qfr from `ef83c0f` to `ae0b7c0`

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 1 comment
Labels: dependencies, submodules

#51 - Bump extern/qfr from `d550522` to `ef83c0f`

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

#50 - Bump extern/qfr from `091d869` to `d550522`

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

#49 - Bump extern/qfr from `efb9b44` to `091d869`

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

#48 - Bump extern/qfr from `c983525` to `efb9b44`

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

#47 - Bump pypa/cibuildwheel from 2.8.1 to 2.9.0

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

#46 - Bump extern/qfr from `c983525` to `8f1d73b`

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

#45 - Bump extern/qfr from `fd0cada` to `c983525`

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

#44 - Bump extern/qfr from `fd0cada` to `029239c`

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

#43 - Bump extern/qfr from `c898637` to `fd0cada`

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

#42 - Bump pypa/cibuildwheel from 2.8.0 to 2.8.1

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

#41 - Bump extern/qfr from `e42fc32` to `c898637`

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

#40 - Bump pypa/cibuildwheel from 2.7.0 to 2.8.0

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

#39 - Bump extern/qfr from `177f469` to `e42fc32`

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

#38 - Bump extern/qfr from `92bbd82` to `177f469`

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

#37 - Bump pypa/cibuildwheel from 2.6.1 to 2.7.0

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

#36 - Bump extern/qfr from `5c7361c` to `92bbd82`

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

#35 - Bump extern/qfr from `eca6a38` to `5c7361c`

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

#34 - Bump extern/qfr from `eca6a38` to `24b00a9`

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

#33 - Bump actions/setup-python from 3 to 4

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

#32 - Bump pypa/cibuildwheel from 2.6.0 to 2.6.1

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

#31 - Bump extern/qfr from `0f2d1c2` to `eca6a38`

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

#30 - Bump DoozyX/clang-format-lint-action from 0.13 to 0.14

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

#29 - Bump extern/qfr from `23a94fc` to `0f2d1c2`

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

#28 - Bump pypa/cibuildwheel from 2.5.0 to 2.6.0

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

#27 - Bump extern/qfr from `554a6e4` to `23a94fc`

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

#26 - Bump extern/qfr from `b38fe5f` to `554a6e4`

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

#25 - Bump pypa/cibuildwheel from 2.4.0 to 2.5.0

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

#24 - Bump extern/qfr from `e13d0a8` to `b38fe5f`

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

#23 - Bump extern/qfr from `aba577e` to `e13d0a8`

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

#22 - 🐛 fix bug that prevented correct versioning

Pull Request - State: closed - Opened by burgholzer over 2 years ago - 1 comment
Labels: bug

#21 - Bump codecov/codecov-action from 3.0.0 to 3.1.0

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

#20 - Modernize Build

Pull Request - State: closed - Opened by burgholzer over 2 years ago - 1 comment
Labels: enhancement

#19 - Bump extern/qfr from `49a7085` to `aba577e`

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

#18 - Bump actions/download-artifact from 2 to 3

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

#17 - Bump extern/qfr from `22af3c7` to `49a7085`

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

#16 - Bump actions/upload-artifact from 2 to 3

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

#15 - Bump codecov/codecov-action from 2.1.0 to 3.0.0

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

#14 - 👷 updating Z3 version

Pull Request - State: closed - Opened by burgholzer over 2 years ago - 1 comment
Labels: dependencies

#13 - Bump codecov/codecov-action from 2.1.0 to 3

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

#12 - Bump pypa/cibuildwheel from 2.3.1 to 2.4.0

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

#11 - Bump extern/qfr from `7abe363` to `22af3c7`

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

#10 - Bump extern/qfr from `7b2244c` to `7abe363`

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

GitHub / cda-tum/qusat issues and pull requests