-
- Downloads
Less ambitious equality simplifier. evalOrderSensitive -> isPurelyFunctional
Showing
- src/main/scala/leon/purescala/Constructors.scala 3 additions, 12 deletionssrc/main/scala/leon/purescala/Constructors.scala
- src/main/scala/leon/purescala/ExprOps.scala 13 additions, 16 deletionssrc/main/scala/leon/purescala/ExprOps.scala
- src/main/scala/leon/purescala/ScopeSimplifier.scala 1 addition, 1 deletionsrc/main/scala/leon/purescala/ScopeSimplifier.scala
Loading
Please register or sign in to comment