From e54943448c97821eef4db53ac4d43a799e3a2322 Mon Sep 17 00:00:00 2001 From: Philipp Ruemmer Date: Fri, 12 Jan 2024 07:53:40 +0100 Subject: [PATCH] versions --- build.sbt | 2 +- src/ap/CmdlMain.scala | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/build.sbt b/build.sbt index a1ac9744..d1925430 100644 --- a/build.sbt +++ b/build.sbt @@ -2,7 +2,7 @@ lazy val commonSettings = Seq( name := "Princess", organization := "uuverifiers", - version := "2023-06-19", + version := "2024-01-12", homepage := Some(url("https://philipp.ruemmer.org/princess.shtml")), licenses := Seq("BSD-3-Clause" -> url("https://opensource.org/licenses/BSD-3-Clause")), scmInfo := Some(ScmInfo( diff --git a/src/ap/CmdlMain.scala b/src/ap/CmdlMain.scala index 0cb8f60e..f2a1a813 100644 --- a/src/ap/CmdlMain.scala +++ b/src/ap/CmdlMain.scala @@ -3,7 +3,7 @@ * arithmetic with uninterpreted predicates. * * - * Copyright (C) 2009-2023 Philipp Ruemmer + * Copyright (C) 2009-2024 Philipp Ruemmer * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions are met: @@ -50,7 +50,7 @@ import ap.util.{Debug, Seqs, Timeout} object CmdlMain { - val version = "2023-06-19" + val version = "2024-01-12" /** * Flag to enable stack traces being fully printed, for problems @@ -68,7 +68,7 @@ object CmdlMain { println("A Theorem Prover for First-Order Logic modulo Linear Integer Arithmetic") println("(" + version + ")") println - println("(c) Philipp Rümmer, 2009-2023") + println("(c) Philipp Rümmer, 2009-2024") println("Contributors: Peter Backeman, Peter Baumgartner, Angelo Brillout, Zafer Esen,") println(" Amanda Stjerna.") println("Free software under BSD-3-Clause.")