-
- Downloads
Converts case classes if they have strings in their fields or type definition.
Showing
- src/main/scala/leon/purescala/Common.scala 4 additions, 0 deletionssrc/main/scala/leon/purescala/Common.scala
- src/main/scala/leon/purescala/DefOps.scala 91 additions, 29 deletionssrc/main/scala/leon/purescala/DefOps.scala
- src/main/scala/leon/purescala/Expressions.scala 1 addition, 0 deletionssrc/main/scala/leon/purescala/Expressions.scala
- src/main/scala/leon/solvers/combinators/Z3StringCapableSolver.scala 23 additions, 3 deletions...cala/leon/solvers/combinators/Z3StringCapableSolver.scala
- src/main/scala/leon/solvers/z3/Z3StringConversion.scala 51 additions, 32 deletionssrc/main/scala/leon/solvers/z3/Z3StringConversion.scala
- src/main/scala/leon/utils/Bijection.scala 16 additions, 2 deletionssrc/main/scala/leon/utils/Bijection.scala
Loading
Please register or sign in to comment