projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff498bb) | patch
With reference to Bug 679, this commit integrates part of the patch proposed, and...
authorCristian Mattarei <cristian.mattarei@gmail.com>
Mon, 9 Jan 2017 03:00:09 +0000 (19:00 -0800)
committerCristian Mattarei <cristian.mattarei@gmail.com>
Mon, 9 Jan 2017 03:00:09 +0000 (19:00 -0800)
commitf5eff29054e3eb70ef0e04516b4bd7e49f28db79
tree660d07973a7505e44279f2d6f5b6edd32cedc2b8tree
parentff498bb43b3d3785bdb894974678e65926de62abcommit | diff
With reference to Bug 679, this commit integrates part of the patch proposed, and it fixes the correct float parsing of an std::istringstream.

The compilation issue in Bug 679 does not apply anymore with gcc6.3.1
src/main/command_executor.cpp diff | blob | history