summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Version bump. Cleanup old.Manuel Rüger2014-02-251-3/+3
* Version bump.Manuel Rüger2014-01-271-1/+3
* Version bump.Manuel Rüger2014-01-211-21/+3
* Remove old.Johannes Huber2013-11-301-16/+14
* amd64 stable wrt bug #492684Johannes Huber2013-11-301-15/+15
* x86 stable wrt bug #492684Johannes Huber2013-11-301-9/+15
* Version bump wrt bug #488438.Johannes Huber2013-10-181-9/+11
* Remove old.Michael Palimaka2013-07-311-16/+8
* Stable for x86, wrt bug #477634Agostino Sarubbo2013-07-291-15/+15
* Stable for amd64, wrt bug #477634Agostino Sarubbo2013-07-271-9/+15
* Version bump wrt bug #474050.Johannes Huber2013-06-211-9/+11
* Remove old.Michael Palimaka2013-04-021-19/+9
* Stable for x86, wrt bug #462890Agostino Sarubbo2013-03-311-15/+15
* Stable for amd64, wrt bug #462890Agostino Sarubbo2013-03-311-10/+16
* Version bump.Michael Palimaka2013-03-011-8/+10
* Version bump. Remove old.Michael Palimaka2013-01-281-5/+17
* Stable for x86, wrt bug #450678Agostino Sarubbo2013-01-271-2/+2
* Stable for amd64, wrt bug #450678Agostino Sarubbo2013-01-271-2/+2
* Stable for x86, wrt bug #449632Agostino Sarubbo2013-01-021-2/+2
* Stable for amd64, wrt bug #449632Agostino Sarubbo2013-01-021-16/+2
* Version bump wrt bug #449128.Michael Palimaka2012-12-291-4/+10
* Version bump. Remove old.Chris Reffett2012-11-301-10/+6
* Remove old.Johannes Huber2012-11-241-3/+15
* Stable for x86, wrt bug #442394Agostino Sarubbo2012-11-231-2/+2
* Stable for amd64, wrt bug #442394Agostino Sarubbo2012-11-231-16/+2
* Version bump.Michael Palimaka2012-11-061-8/+10
* Version bump, remove old.Johannes Huber2012-10-221-14/+10
* Version bump.Michael Palimaka2012-10-161-8/+10
* Version bump.Johannes Huber2012-09-261-8/+10
* Version bump.Johannes Huber2012-08-071-12/+14
* Remove old.Johannes Huber2012-06-291-10/+8
* Stable for x86, wrt bug #422087Johannes Huber2012-06-291-10/+10
* Stable for amd64, wrt bug #422087Agostino Sarubbo2012-06-201-10/+10
* Remove old.Johannes Huber2012-05-211-10/+8
* Stable for x86, wrt bug #415143Johannes Huber2012-05-211-9/+9
* Version bump, remove old.Johannes Huber2012-05-151-11/+11
* Stable for amd64, wrt bug #415143Agostino Sarubbo2012-05-081-10/+10
* Version bump, remove old.Johannes Huber2012-05-081-11/+11
* Version bump, remove old.Johannes Huber2012-04-061-10/+10
* Version bump, remove old.Johannes Huber2012-03-251-10/+10
* Version bump, remove old.Johannes Huber2012-03-131-10/+10
* Version bump, remove old.Johannes Huber2012-03-011-10/+10
* Version bump, remove old.Johannes Huber2012-02-221-12/+10
* Version bump.Johannes Huber2012-02-151-8/+10
* Version bump.Johannes Huber2012-01-171-10/+10
* Version bump.Johannes Huber2012-01-111-8/+10
* Version bump, remove old.Johannes Huber2012-01-041-19/+11
* Version bumpAndreas K. Hüttel2011-09-081-5/+17
* Version bump. Stabilise 1.5.1 on amd64 and x86. Drop older.Tomas Chvatal2011-04-201-4/+14
* Stabilise 1.3.4 on amd64 and x86. Add latest.Tomas Chvatal2011-03-261-24/+4