From cc4ac5d7a91188e88627c8c4728476c92a81a7ad Mon Sep 17 00:00:00 2001 From: Samuel Chassot Date: Thu, 10 Oct 2024 16:39:54 +0200 Subject: [PATCH 1/3] update inox --- inox | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/inox b/inox index 516bf217f..6062f8f95 160000 --- a/inox +++ b/inox @@ -1 +1 @@ -Subproject commit 516bf217f053996f73a13ce1b400af4551437e12 +Subproject commit 6062f8f9552e5f71d441d7d0365bcb17e67fc224 From 03e7d577f0386d4faafacb17de329f3a34a49eac Mon Sep 17 00:00:00 2001 From: Samuel Chassot Date: Thu, 10 Oct 2024 17:22:53 +0200 Subject: [PATCH 2/3] exclude dependencies to compile --- build.sbt | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/build.sbt b/build.sbt index 2a9248e5c..596de5d17 100644 --- 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_2.13", + "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, From be67f3e1c11beeccf04316001992c95ce66d6c44 Mon Sep 17 00:00:00 2001 From: Samuel Chassot Date: Thu, 10 Oct 2024 17:24:48 +0200 Subject: [PATCH 3/3] exclude scala xml 3 and not 2.13 --- build.sbt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sbt b/build.sbt index 596de5d17..2206aa929 100644 --- a/build.sbt +++ b/build.sbt @@ -80,7 +80,7 @@ lazy val artifactSettings: Seq[Setting[_]] = baseSettings ++ Seq( buildInfoOptions := Seq(BuildInfoOption.BuildTime), excludeDependencies ++= Seq( "org.scala-lang.modules" % "scala-parser-combinators_2.13", - "org.scala-lang.modules" % "scala-xml_2.13", + "org.scala-lang.modules" % "scala-xml_3", "org.scalactic" % "scalactic_2.13", ),