diff options
| author | Thomas Bauereiss | 2018-01-31 19:44:37 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-01-31 19:44:37 +0000 |
| commit | 59d915dea25b100dbc141306124aa2a9227b8480 (patch) | |
| tree | 50700fb99e25a93dc235ed8b86e36f48a0876614 /language/sil.ott | |
| parent | 0e42ceae97d254a4ce51c67463828af9b04157a4 (diff) | |
Try to make bitvector pattern rewriting more robust
Look deep into sub-patterns for identifiers and literals instead of relying on
assumptions about possible nestings
Diffstat (limited to 'language/sil.ott')
0 files changed, 0 insertions, 0 deletions