diff options
| author | Brian Campbell | 2019-06-04 15:42:29 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-04 15:42:38 +0100 |
| commit | 5ff72f7ba016d5e698f326750f2635d3a256516c (patch) | |
| tree | dbbc153d6ede35d1e5db384a460f59d1ed9ec5ae /src/return_analysis.ml | |
| parent | 1b8ecbb07b19b78b4812874b82b65f5f1e568d06 (diff) | |
Coq: more constraint solving
- make the exists, iff solver handle more cases
- avoid exposing omega to goals with local definitions involving proofs
Diffstat (limited to 'src/return_analysis.ml')
0 files changed, 0 insertions, 0 deletions