Function call merging optimization
Showing
- src/main/scala/inox/ast/Paths.scala 6 additions, 3 deletionssrc/main/scala/inox/ast/Paths.scala
- src/main/scala/inox/ast/SymbolOps.scala 203 additions, 7 deletionssrc/main/scala/inox/ast/SymbolOps.scala
- src/main/scala/inox/transformers/TransformerWithPC.scala 0 additions, 4 deletionssrc/main/scala/inox/transformers/TransformerWithPC.scala
Loading
Please register or sign in to comment