From da0ef675262e31e1ce8f1035410faba570f98eba Mon Sep 17 00:00:00 2001 From: Zafer Esen Date: Mon, 25 Mar 2024 15:15:35 +0100 Subject: [PATCH] Eliminate nightly dependencies, bump version to 0.3 --- build.sbt | 12 ++++++------ src/tricera/params/TriCeraParameters.scala | 2 +- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/build.sbt b/build.sbt index 8a55678..d06bea2 100644 --- 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 index cc047d2..d9cdcd1 100644 --- 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 " +