2013-09-10 | blanchet | moved ML function closer to its remaining use | changeset | files |
2013-09-10 | blanchet | faster uniquification | changeset | files |
2013-09-10 | blanchet | stronger fact normalization | changeset | files |
2013-09-10 | blanchet | gracefully handle huge thys | changeset | files |
2013-09-10 | blanchet | speed up detection of simp rules | changeset | files |
2013-09-10 | blanchet | don't be so verbose about SMT solver failures | changeset | files |
Loading... |