diff options
| author | Brian Campbell | 2018-04-04 11:15:16 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-04 14:45:00 +0100 |
| commit | 6d4d2b46f013e425af4f6c089fd224c9e811f761 (patch) | |
| tree | be2ccb351bb3eb350b8a176960a797bcc8310657 /language | |
| parent | d21f59085e7f531c15c5c58dfb691f418314c929 (diff) | |
Use solver properly to simplify nexps in mono analysis, Lem printing
Turn on complex nexp rewriting for mono by default
(NB: solving is currently quite slow, will optimise)
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions