Add support for extracting from Tasty (#1606)
* Add support for separate compilation * Load Stainless standard library from the classpath * Fix spurious duplicate loads of Tasty units * Fix LibrarySuite test
Showing
- build.sbt 1 addition, 2 deletionsbuild.sbt
- core/src/main/scala/stainless/MainHelpers.scala 1 addition, 0 deletionscore/src/main/scala/stainless/MainHelpers.scala
- core/src/main/scala/stainless/frontend/package.scala 7 additions, 0 deletionscore/src/main/scala/stainless/frontend/package.scala
- core/src/main/scala/stainless/verification/VerificationConditions.scala 2 additions, 0 deletions...scala/stainless/verification/VerificationConditions.scala
- frontends/common/src/it/scala/stainless/LibrarySuite.scala 1 addition, 1 deletionfrontends/common/src/it/scala/stainless/LibrarySuite.scala
- frontends/common/src/test/scala/stainless/InputUtils.scala 1 addition, 1 deletionfrontends/common/src/test/scala/stainless/InputUtils.scala
- frontends/dotty/src/main/scala/stainless/frontends/dotc/DottyCompiler.scala 33 additions, 7 deletions...c/main/scala/stainless/frontends/dotc/DottyCompiler.scala
- frontends/dotty/src/main/scala/stainless/frontends/dotc/StainlessExtraction.scala 93 additions, 13 deletions.../scala/stainless/frontends/dotc/StainlessExtraction.scala
- frontends/dotty/src/main/scala/stainless/frontends/dotc/SymbolMapping.scala 45 additions, 2 deletions...c/main/scala/stainless/frontends/dotc/SymbolMapping.scala
Loading
Please register or sign in to comment