Remove illegal reflection call and upgrade to Scala 3.2.0 (#82)
Showing
- .gitignore 2 additions, 0 deletions.gitignore
- README.md 10 additions, 11 deletionsREADME.md
- build.sbt 3 additions, 13 deletionsbuild.sbt
- project/build.properties 1 addition, 1 deletionproject/build.properties
- src/main/java/z3/Z3Wrapper.java 44 additions, 80 deletionssrc/main/java/z3/Z3Wrapper.java
- src/main/scala/z3/scala/Z3Model.scala 5 additions, 7 deletionssrc/main/scala/z3/scala/Z3Model.scala
- src/main/scala/z3/scala/dsl/Trees.scala 1 addition, 1 deletionsrc/main/scala/z3/scala/dsl/Trees.scala
- src/main/scala/z3/scala/dsl/ValHandler.scala 1 addition, 1 deletionsrc/main/scala/z3/scala/dsl/ValHandler.scala
- src/main/scala/z3/scala/dsl/package.scala 93 additions, 115 deletionssrc/main/scala/z3/scala/dsl/package.scala
- src/main/scala/z3/scala/package.scala 1 addition, 1 deletionsrc/main/scala/z3/scala/package.scala
- src/test/scala/z3/scala/ADTs.scala 4 additions, 2 deletionssrc/test/scala/z3/scala/ADTs.scala
- src/test/scala/z3/scala/Abs.scala 3 additions, 2 deletionssrc/test/scala/z3/scala/Abs.scala
- src/test/scala/z3/scala/Arrays.scala 3 additions, 2 deletionssrc/test/scala/z3/scala/Arrays.scala
- src/test/scala/z3/scala/Calendar.scala 14 additions, 13 deletionssrc/test/scala/z3/scala/Calendar.scala
- src/test/scala/z3/scala/Core.scala 7 additions, 2 deletionssrc/test/scala/z3/scala/Core.scala
- src/test/scala/z3/scala/ForComprehension.scala 16 additions, 10 deletionssrc/test/scala/z3/scala/ForComprehension.scala
- src/test/scala/z3/scala/IntArith.scala 3 additions, 2 deletionssrc/test/scala/z3/scala/IntArith.scala
- src/test/scala/z3/scala/NQueens.scala 7 additions, 2 deletionssrc/test/scala/z3/scala/NQueens.scala
- src/test/scala/z3/scala/Optimizer.scala 3 additions, 2 deletionssrc/test/scala/z3/scala/Optimizer.scala
- src/test/scala/z3/scala/Quantifiers.scala 3 additions, 2 deletionssrc/test/scala/z3/scala/Quantifiers.scala
Loading
Please register or sign in to comment