| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| ADTInduction.scala | ||
| ADTLongInduction.scala | ||
| InnerCaseSplit.scala | ||
| IntInduction.scala | ||
| OptimisticInjection.scala | ||
| SelectiveInlining.scala | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| ADTInduction.scala | ||
| ADTLongInduction.scala | ||
| InnerCaseSplit.scala | ||
| IntInduction.scala | ||
| OptimisticInjection.scala | ||
| SelectiveInlining.scala | ||