view GRAAL_AUTHORS @ 10749:e7c0658c2f25

record disjunctive conditions in ConditionalEliminationPhase change suggested by Miguel Garcia <miguelalfredo.garcia@epfl.ch>
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 15 Jul 2013 13:36:41 +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)