[YICES-HELP] YICES 2.0

[Zaher S Andraus]

Hello,

Can you please describe the advances in YICES 2.0 compared
to 1.0?

Thanks in advance,
-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x
Zaher S. Andraus, Ph.D.
Research Fellow
Advanced Computer Architecture Laboratory
Electrical Engineering and Computer Science Department
University of Michigan - Ann Arbor
http://www.eecs.umich.edu/~zandrawi/academic.htm
-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x