diff options
| author | Brian Campbell | 2018-09-03 18:38:36 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-09-03 18:38:36 +0100 |
| commit | fa86144ece89ef018091df1a7eb575fc6da71212 (patch) | |
| tree | ba24b2bee00f3ec9f6300fde90eef0229a372c6c /lib/sail.h | |
| parent | 1913379c0c04a35e43c3eca02e9e47b4481c0cb9 (diff) | |
Coq: get top-level value definitions to work nicely again
Also required some solver fixes:
- make sure that ArithFacts are always cleared to avoid loops
- extract_properties should do the goal first because it might add extra
work to do in the hypotheses
- unfolding should come before extract_properties
Diffstat (limited to 'lib/sail.h')
0 files changed, 0 insertions, 0 deletions