summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Cleanup old.Manuel Rüger2014-11-281-39/+0
* Pass correct option for toggling tests wrt bug #526396.Michael Palimaka2014-10-221-3/+3
* Add USE dependency default in preparation for the removal of the semantic-des...Michael Palimaka2013-05-301-2/+2
* Stable for ppc64, wrt bug #466074Agostino Sarubbo2013-05-051-2/+2
* Stable for ppc, wrt bug #466074Agostino Sarubbo2013-05-011-2/+2
* Stable for x86, wrt bug #466074Agostino Sarubbo2013-04-301-2/+2
* Stable for amd64, wrt bug #466074Agostino Sarubbo2013-04-291-2/+2
* Add ~ppc64, wrt bug #455960Agostino Sarubbo2013-02-231-2/+2
* Version bump wrt bug #453680. Remove old.Michael Palimaka2013-01-291-0/+39