Skip to content

Commit

Permalink
Move classes into ergo-core to satisfy NipopowProof and NipopowVerifi…
Browse files Browse the repository at this point in the history
…er requirements
  • Loading branch information
ccellado committed Nov 20, 2023
1 parent 47938e2 commit 9293d3b
Show file tree
Hide file tree
Showing 192 changed files with 130 additions and 52,223 deletions.
2 changes: 0 additions & 2 deletions build.sbt
Original file line number Diff line number Diff line change
Expand Up @@ -272,10 +272,8 @@ lazy val ergoCore = (project in file("ergo-core"))
commonSettings,
name := "ergo-core",
libraryDependencies ++= Seq(
"com.typesafe.akka" %% "akka-actor" % akkaVersion,
"com.typesafe.akka" %% "akka-http" % akkaHttpVersion,
"com.iheart" %% "ficus" % ficusVersion,
"com.github.ben-manes.caffeine" % "caffeine" % "2.9.3", // use 3.x only for java 11+
effectiveSigma,
(effectiveSigma % Test).classifier("tests")
),
Expand Down
209 changes: 0 additions & 209 deletions ergo-core/src/test/resources/application.conf

This file was deleted.

Loading

0 comments on commit 9293d3b

Please sign in to comment.