diff options
| author | Brian Campbell | 2019-02-20 09:55:19 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-28 17:16:10 +0000 |
| commit | 2fd45fa939ddae7cdb31ee0495e622e6e6a6235f (patch) | |
| tree | fd12b7886a866516bdd9927728428161b2359dc3 /lib/vector_dec.sail | |
| parent | fb362fcb5671b6f008794d0a7db31b1f2685e413 (diff) | |
Coq: some work on bool simplification
This introduces some simplification of informative booleans, but tries
too hard to eliminate all of the existentials resulting in difficulties
in and/or trees.
Diffstat (limited to 'lib/vector_dec.sail')
0 files changed, 0 insertions, 0 deletions