diff options
| author | Alasdair Armstrong | 2017-07-10 14:41:12 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-10 14:41:12 +0100 |
| commit | 83a2816d83e206a8b41e72ea8e9a932c0d23b2bb (patch) | |
| tree | 627e461a1c6d2dfc11c1d40f40d3aa726bca735d /src/pprint | |
| parent | cd1299ccfa1145aea772bc43a3914ab1a8f349e7 (diff) | |
Further performance improvements to typechecker
Added code to solve basic constraints without passing them to Z3. This
results in roughly another 5x speedup.
Diffstat (limited to 'src/pprint')
0 files changed, 0 insertions, 0 deletions