2011-09-21 Scott West scott.west@inf.ethz.ch
* Math/SMT/Yices/Parser.hs, Math/SMT/Yices/Pipe.hs: fixed a bug when
an item of the the yices output satisfying model gets pretty printed
into multiple lines rather than one line.
2010-02-04 Ahn, Ki Yung kya@pdx.edu
* Math/SMT/Yices/Parser.hs: fixed a bug in the parser which was not
parsing fractional literals properly
2010-02-04 Ahn, Ki Yung kya@pdx.edu
* Math/SMT/Yices/Parser.hs: fixed a bug in the parser which was not
parsing fractional literals properly
2010-01-20 Tom Howkins tomahawkins@gmail.com
* Math/SMT/Yices/Pipe.hs (quickCheckY'): filter out carriage return
character to make it work for windows
2010-01-01 JosÃ© Iborra pepeiborra@gmail.com
* Math/SMT/Yices/Syntax.hs: Avoided quadratic complexity in the pretty
printer and fixed a bug in the pretty printer
* Math/SMT/Yices/Pipe.hs (checkY) : display Yices errors and extraneous
output handling of "unknown" answers
* Math/SMT/Yices/Pipe.hs (quickCheckY, quickCheckY') : Added a driver
which does not use the yices interactive prompt.
The interactive prompt has problems parsing large expressions,
as warned in the Yices FAQ.
2009-08-04 Ahn, Ki Yung kya@pdx.edu
* Math/SMT/Yices/Parser.hs (echo, include): fix obvious parser error
* Math/SMT/Yices/Pipe.hs (hGetReadyString, hGetReadyString1): comment
out unused definition