- Jun 22, 2021
-
-
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
-
- Jun 21, 2021
-
-
Jad Hamza authored
-
Jad Hamza authored
Thanks @samarion for the suggestions (PR #1098)
-
Jad Hamza authored
-
Jad Hamza authored
Thanks @samarion for the suggestions (PR #1098)
-
Jad Hamza authored
Thanks @samarion for the comments
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
- Jun 11, 2021
-
-
Jad Hamza authored
-
- Jun 10, 2021
-
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
Jad Hamza authored
-
- Jun 08, 2021