src/main/scala/leon/purescala/Extractors.scala · 532bc4d71723b96ed46b87e73f8be712b29815fe · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
532bc4d7
Grammar transformers should propagate ProductionRule costs · 532bc4d7
Manos Koukoutos authored 9 years ago
```
Additional fixes:
- move OneOf to grammars
- Propagate Terminating in IntroduceRecCall
```
532bc4d7

History
Grammar transformers should propagate ProductionRule costs
Manos Koukoutos authored 9 years ago
```
Additional fixes:
- move OneOf to grammars
- Propagate Terminating in IntroduceRecCall
```