view GRAAL_AUTHORS @ 9259:324dcaedb1ed

Added a method isValid to the Assumption class. Added javadoc to the Assumption class.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 23 Apr 2013 15:44:07 +0200
parents e4019a78c938
children
line wrap: on
line source

Gilles Duboscq (gdub)
Peter Hofer
Christian Haeubl (chaeubl)
Christian Humer (chumer)
Roland Schatz
Doug Simon (dnsimon)
Lukas Stadler (lstadler)
Alexander Stipsits
Katrin Strassl
Christian Wimmer (cwimmer)
Andreas Woess (aw)
Thomas Wuerthinger (thomaswue)