Skip to content

Commit

Permalink
Prepare for release-3.3.7
Browse files Browse the repository at this point in the history
  • Loading branch information
BenKaufmann committed Nov 16, 2021
1 parent da10954 commit 39b7921
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 1 deletion.
6 changes: 6 additions & 0 deletions CHANGES
Original file line number Diff line number Diff line change
@@ -1,3 +1,9 @@
clasp 3.3.7: Tuesday, 16th November 2021
* fixed issue https://github.com/potassco/clingo/issues/342
* fixed issue https://github.com/potassco/clingcon/issues/81
* fixed issue https://github.com/potassco/clasp/issues/72
* fixed issue https://github.com/potassco/clasp/issues/71

clasp 3.3.6: Sunday, 18th April 2021
* fixed a regression in preprocessing of disjunctions
* fixed issue https://github.com/potassco/clasp/issues/48
Expand Down
2 changes: 1 addition & 1 deletion CMakeLists.txt
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
cmake_minimum_required(VERSION 3.1)
project(CLASP VERSION 3.3.6 LANGUAGES CXX)
project(CLASP VERSION 3.3.7 LANGUAGES CXX)
# Enable folders in IDEs like Visual Studio
set_property(GLOBAL PROPERTY USE_FOLDERS ON)
if (POLICY CMP0063)
Expand Down

0 comments on commit 39b7921

Please sign in to comment.