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
+5 −0		.github/workflows/inox-CI.yml
+2 −0		.gitignore
+1 −1		README.md
+11 −6		build.sbt
+1 −1		project/build.properties
+2 −1		src/main/scala/inox/ast/TypeOps.scala
+101 −1		src/main/scala/inox/solvers/SolverFactory.scala
+859 −0		src/main/scala/inox/solvers/invariant/InvariantSolver.scala
+177 −0		src/main/scala/inox/solvers/smtlib/EldaricaInterpreter.scala
+19 −0		src/main/scala/inox/solvers/smtlib/EldaricaSolver.scala
+19 −0		src/main/scala/inox/solvers/smtlib/EldaricaTarget.scala
+4 −0		src/main/scala/inox/solvers/smtlib/SMTLIBParser.scala
+8 −6		src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
+34 −11		src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala
+72 −0		src/test/scala/inox/solvers/InvariantSolverSuite.scala