Skip to content
Snippets Groups Projects
  1. Jun 22, 2021
    • Yann Bolliger's avatar
      Merge branch 'master' into rust-interop · 6c107ddc
      Yann Bolliger authored
      # Conflicts:
      #	build.sbt
      #	core/src/main/scala/stainless/Component.scala
      #	core/src/main/scala/stainless/MainHelpers.scala
      #	core/src/main/scala/stainless/Reporter.scala
      #	core/src/main/scala/stainless/extraction/imperative/AntiAliasing.scala
      #	core/src/main/scala/stainless/extraction/imperative/EffectsAnalyzer.scala
      #	core/src/main/scala/stainless/extraction/imperative/EffectsChecker.scala
      #	core/src/main/scala/stainless/extraction/imperative/ReturnElimination.scala
      #	core/src/main/scala/stainless/extraction/imperative/TransformerWithPC.scala
      #	core/src/main/scala/stainless/extraction/imperative/TransformerWithType.scala
      #	core/src/main/scala/stainless/extraction/imperative/Trees.scala
      #	core/src/main/scala/stainless/extraction/inlining/FunctionInlining.scala
      #	core/src/main/scala/stainless/extraction/innerfuns/FunctionClosure.scala
      #	core/src/main/scala/stainless/extraction/trace/Trace.scala
      #	core/src/main/scala/stainless/extraction/xlang/TreeSanitizer.scala
      #	core/src/main/scala/stainless/frontend/BatchedCallBack.scala
      #	core/src/main/scala/stainless/genc/CAST.scala
      #	core/src/main/scala/stainless/genc/CPrinter.scala
      #	core/src/main/scala/stainless/genc/ir/IR.scala
      #	core/src/main/scala/stainless/genc/ir/Normaliser.scala
      #	core/src/main/scala/stainless/genc/ir/Referentiator.scala
      #	core/src/main/scala/stainless/genc/phases/ExtraOps.scala
      #	core/src/main/scala/stainless/genc/phases/IR2CPhase.scala
      #	core/src/main/scala/stainless/genc/phases/Scala2IRPhase.scala
      #	core/src/sphinx/genc.rst
      #	core/src/sphinx/purescala.rst
      #	frontends/benchmarks/extraction/invalid/ArgumentAliasing.scala
      #	frontends/benchmarks/imperative/valid/AccessorAliasing.scala
      #	frontends/benchmarks/imperative/valid/MutableTuple.scala
      #	frontends/benchmarks/verification/invalid/WhilePre.scala
      #	frontends/common/src/it/scala/stainless/verification/ComponentTestSuite.scala
      #	frontends/library/stainless/lang/StaticChecks.scala
      #	frontends/library/stainless/lang/package.scala
      #	frontends/scalac/src/it/scala/stainless/GencSuite.scala
      #	frontends/scalac/src/main/scala/stainless/frontends/scalac/ASTExtractors.scala
      #	frontends/scalac/src/main/scala/stainless/frontends/scalac/CodeExtraction.scala
      noxt-0.8.1
      6c107ddc
  2. Jun 21, 2021
  3. Jun 11, 2021
  4. Jun 10, 2021
  5. Jun 08, 2021
Loading