diff options
| author | Thomas Bauereiss | 2018-01-25 15:54:49 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-01-25 15:54:49 +0000 |
| commit | 49d06b65a90c169e997853e609202a34d31931d3 (patch) | |
| tree | 6392d1627054f0b9e32d5a7b7ec6640360264202 /src/pattern_completeness.ml | |
| parent | 10526d3d18bb6332dba8f5bfe00cf0e891461bed (diff) | |
Rewrite bitvector patterns for OCaml and C backends
Seems to increase compilation speed significantly for OCaml 4.05.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions