diff options
| author | Brian Campbell | 2019-06-06 18:03:25 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-06 18:03:34 +0100 |
| commit | ac95efaf75a17481e9a1c3936f97ebab2c86b8e1 (patch) | |
| tree | 739c41179fe37b37bc5a6167df9db649d9da9558 /src/META | |
| parent | d9862ba2019df1d197bcba3ce85f7fa3ba8576b0 (diff) | |
Coq: more aggressive rewriting before solving
Solves some ARM model constraints much more quickly
Diffstat (limited to 'src/META')
0 files changed, 0 insertions, 0 deletions