-
- Downloads
Replace all occurences of getOrElseUpdate with manual update.
See commit e5172e62a for more information
parent
6c3c75c2
No related branches found
No related tags found
Showing
- src/main/scala/inox/ast/Definitions.scala 20 additions, 7 deletionssrc/main/scala/inox/ast/Definitions.scala
- src/main/scala/inox/ast/SymbolOps.scala 5 additions, 1 deletionsrc/main/scala/inox/ast/SymbolOps.scala
- src/main/scala/inox/evaluators/SolvingEvaluator.scala 6 additions, 3 deletionssrc/main/scala/inox/evaluators/SolvingEvaluator.scala
- src/main/scala/inox/solvers/princess/AbstractPrincessSolver.scala 8 additions, 4 deletions.../scala/inox/solvers/princess/AbstractPrincessSolver.scala
- src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala 9 additions, 4 deletionssrc/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala
- src/main/scala/inox/solvers/unrolling/EqualityTemplates.scala 21 additions, 14 deletions...main/scala/inox/solvers/unrolling/EqualityTemplates.scala
- src/main/scala/inox/solvers/unrolling/FunctionTemplates.scala 8 additions, 4 deletions...main/scala/inox/solvers/unrolling/FunctionTemplates.scala
- src/main/scala/inox/solvers/unrolling/LambdaTemplates.scala 4 additions, 2 deletionssrc/main/scala/inox/solvers/unrolling/LambdaTemplates.scala
- src/main/scala/inox/solvers/unrolling/TypeTemplates.scala 15 additions, 7 deletionssrc/main/scala/inox/solvers/unrolling/TypeTemplates.scala
- src/main/scala/inox/solvers/z3/Z3Native.scala 9 additions, 4 deletionssrc/main/scala/inox/solvers/z3/Z3Native.scala
- src/main/scala/inox/tip/Printer.scala 4 additions, 2 deletionssrc/main/scala/inox/tip/Printer.scala
- src/main/scala/inox/transformers/SimplifierWithCNFPath.scala 30 additions, 22 deletionssrc/main/scala/inox/transformers/SimplifierWithCNFPath.scala
- src/main/scala/inox/utils/Timer.scala 5 additions, 1 deletionsrc/main/scala/inox/utils/Timer.scala
Loading
Please register or sign in to comment