Update inox (#1587)

* update inox * exclude dependencies to compile * exclude scala xml 3 and not 2.13 --------- Co-authored-by: Viktor Kunčak <[email protected]>
epfl-lara · Oct 28, 2024 · 2024a36 · 2024a36
1 parent e2d66f5
commit 2024a36
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/build.sbt b/build.sbt
@@ -78,6 +78,12 @@ lazy val artifactSettings: Seq[Setting[_]] = baseSettings ++ Seq(
   buildInfoPackage := "stainless",
   buildInfoKeys := stainlessBuildInfoKeys,
   buildInfoOptions := Seq(BuildInfoOption.BuildTime),
+  excludeDependencies ++= Seq(
+    "org.scala-lang.modules" % "scala-parser-combinators_2.13",
+    "org.scala-lang.modules" % "scala-xml_3",
+    "org.scalactic" % "scalactic_2.13",
+  ),
+
 )
 
 lazy val commonSettings: Seq[Setting[_]] = artifactSettings ++ Seq(
@@ -88,7 +94,7 @@ lazy val commonSettings: Seq[Setting[_]] = artifactSettings ++ Seq(
   ),
 
   resolvers ++= Resolver.sonatypeOssRepos("releases"),
-  resolvers += ("uuverifiers" at "http://logicrunch.research.it.uu.se/maven").withAllowInsecureProtocol(true),
+  resolvers += ("uuverifiersStainless" at "https://eldarica.org/maven"),
 
   libraryDependencies ++= Seq(
     // "ch.epfl.lara"    %% "inox"          % inoxVersion,

diff --git a/inox b/inox