Skip to content
Snippets Groups Projects
Tobias Niederbrunner's avatar
pushed new tag v1.5.0 at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
pushed to branch master at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
  • b8a79a49 · chore: bump version to 1.5.0
Tobias Niederbrunner's avatar
closed issue #1 "mypy 3.12 support" at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
deleted branch mypy-3.12-error at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
pushed to branch master at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
accepted merge request !2 "Support Mypy 3.12" at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
pushed to branch mypy-3.12-error at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
opened merge request !2 "Support Mypy 3.12" at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
pushed new branch mypy-3.12-error at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
pushed new tag v1.4.0 at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
opened issue #1 "mypy 3.12 support" at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
deleted branch python-3.12 at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
accepted merge request !1 "Python 3.12" at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
pushed to branch master at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
pushed to branch python-3.12 at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
pushed to branch python-3.12 at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
  • efadf95b · fix small bash script error in Pipfile
Tobias Niederbrunner's avatar
pushed to branch python-3.12 at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
  • 1a34f34c · fix filemodes for ruff lint
Tobias Niederbrunner's avatar
pushed to branch python-3.12 at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
pushed to branch python-3.12 at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver
Tobias Niederbrunner's avatar
pushed to branch python-3.12 at Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver