diff options
| author | Brian Campbell | 2019-05-28 17:38:26 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-28 17:38:51 +0100 |
| commit | 1b79cf6f4c2d798ddd3a8cc3afa275bc364f7eb9 (patch) | |
| tree | c632420aeb1e4da3710a09499e93f85468cbf587 /src/lem_interp/instruction_extractor.lem | |
| parent | e6b66c74e01315a6b34223cf328ec600373df658 (diff) | |
Coq: more constraint solving
- add division lemma
- deal with some awkward \/ constraints from asl_parser
- try simple integer comparison proofs before omega (which can blow up
on trivial properties in large contexts)
Diffstat (limited to 'src/lem_interp/instruction_extractor.lem')
0 files changed, 0 insertions, 0 deletions