Eliminate nightly dependencies, bump version to 0.3

uuverifiers · Mar 25, 2024 · da0ef67 · da0ef67
1 parent f33c6a3
commit da0ef67
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/build.sbt b/build.sbt
@@ -5,13 +5,13 @@ import java.nio.file.attribute.PosixFilePermission._
 lazy val commonSettings = Seq(
     name                 := "TriCera",
     organization         := "uuverifiers",
-    version              := "0.2",
+    version              := "0.3",
     homepage             := Some(url("https://github.com/uuverifiers/tricera")),
     licenses             := Seq("BSD-3-Clause" -> url("https://opensource.org/licenses/BSD-3-Clause")),
     description          := "TriCera is a model checker for C programs.",
     scalaVersion         := "2.11.12",
-    crossScalaVersions   := Seq("2.11.12", "2.12.8"),
-    publishTo            := Some(Resolver.file("file",  new File( "/home/wv/public_html/maven/" )) ),
+    crossScalaVersions   := Seq("2.11.12", "2.12.18"),
+    publishTo            := Some(Resolver.file("file",  new File( "/home/compilation/public_html/maven/" )) ),
     useCoursier          := false
 )
 
@@ -94,11 +94,11 @@ settings(
          "-language:implicitConversions,postfixOps,reflectiveCalls"),
   scalacOptions += (scalaVersion map { sv => sv match {
                                         case "2.11.12" => "-optimise"
-                                        case "2.12.8" => "-opt:_"
+                                        case "2.12.18" => "-opt:_"
                                       }}).value,
   resolvers += "uuverifiers" at "https://eldarica.org/maven/",
-  libraryDependencies += "uuverifiers" %% "eldarica" % "nightly-SNAPSHOT",
-  libraryDependencies += "uuverifiers" %% "horn-concurrency" % "nightly-SNAPSHOT",
+  libraryDependencies += "uuverifiers" %% "eldarica" % "2.1",
+  libraryDependencies += "uuverifiers" %% "horn-concurrency" % "2.1",
   libraryDependencies += "net.jcazevedo" %% "moultingyaml" % "0.4.2",
   libraryDependencies += "org.scalactic" %% "scalactic" % "3.2.12",
   libraryDependencies += "org.scalatest" %% "scalatest" % "3.2.12" % "test",

diff --git a/src/tricera/params/TriCeraParameters.scala b/src/tricera/params/TriCeraParameters.scala
@@ -120,7 +120,7 @@ class TriCeraParameters extends GlobalParameters {
   override def withAndWOTemplates : Seq[TriCeraParameters] =
     for (p <- super.withAndWOTemplates) yield p.asInstanceOf[TriCeraParameters]
 
-  private val version = "0.2"
+  private val version = "0.3"
 
   private val greeting =
     "TriCera v" + version + ".\n(C) Copyright " +