projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 970eb62) | patch
Removing throw specifiers from TypeEnumeratorBase's operator* and isFinished. (#1176)
authorTim King <taking@cs.nyu.edu>
Mon, 2 Oct 2017 05:05:49 +0000 (22:05 -0700)
committerGitHub <noreply@github.com>
Mon, 2 Oct 2017 05:05:49 +0000 (22:05 -0700)
commit117864affc006f81e4d58ed024ffc1744213fffd
tree268b23a3581121b28b28c7403ff29e562ddc84f4tree
parent970eb62a87cefbd0449e914dcd60ac9c0580aa7fcommit | diff
Removing throw specifiers from TypeEnumeratorBase's operator* and isFinished. (#1176)

The throw specifier has been moved to a comment.f

This allows for fixing several CIDs on FloatingPointEnumerator: 1457254, 1457258, 1457260, 1457269, 1457270, 1457274, and 1457275.

This also has miscellaneous formatting, documentation and const labeling improvements.
src/theory/fp/type_enumerator.h diff | blob | history
src/theory/type_enumerator.h diff | blob | history