summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Version bump. Cleanup old.Manuel Rüger2014-02-253-5/+11
* Version bump.Manuel Rüger2014-01-273-2/+36
* Version bump.Manuel Rüger2014-01-213-23/+37
* Remove old.Johannes Huber2013-11-303-43/+19
* amd64 stable wrt bug #492684Johannes Huber2013-11-303-18/+22
* x86 stable wrt bug #492684Johannes Huber2013-11-303-12/+22
* Version bump wrt bug #488438.Johannes Huber2013-10-183-10/+44
* Remove old.Michael Palimaka2013-07-313-43/+13
* Stable for x86, wrt bug #477634Agostino Sarubbo2013-07-293-18/+22
* Stable for amd64, wrt bug #477634Agostino Sarubbo2013-07-273-12/+22
* Version bump wrt bug #474050.Johannes Huber2013-06-213-10/+44
* Remove old.Michael Palimaka2013-04-024-72/+14
* Stable for x86, wrt bug #462890Agostino Sarubbo2013-03-313-18/+22
* Stable for amd64, wrt bug #462890Agostino Sarubbo2013-03-313-13/+23
* Version bump.Michael Palimaka2013-03-013-9/+43
* Version bump. Remove old.Michael Palimaka2013-01-284-35/+28
* Stable for x86, wrt bug #450678Agostino Sarubbo2013-01-273-5/+9
* Stable for amd64, wrt bug #450678Agostino Sarubbo2013-01-273-6/+10
* Stable for x86, wrt bug #449632Agostino Sarubbo2013-01-023-5/+9
* Stable for amd64, wrt bug #449632Agostino Sarubbo2013-01-023-21/+11
* Version bump wrt bug #449128.Michael Palimaka2012-12-293-5/+43
* Version bump. Remove old.Chris Reffett2012-11-303-12/+14
* Remove old.Johannes Huber2012-11-243-30/+20
* Stable for x86, wrt bug #442394Agostino Sarubbo2012-11-233-5/+9
* Stable for amd64, wrt bug #442394Agostino Sarubbo2012-11-233-19/+9
* Version bump.Michael Palimaka2012-11-063-9/+43
* Version bump, remove old.Johannes Huber2012-10-225-68/+19
* Version bump.Michael Palimaka2012-10-163-9/+43
* Version bump.Johannes Huber2012-09-263-9/+43
* Version bump.Johannes Huber2012-08-073-13/+47
* Remove old.Johannes Huber2012-06-293-38/+13
* Stable for x86, wrt bug #422087Johannes Huber2012-06-293-13/+17
* Stable for amd64, wrt bug #422087Agostino Sarubbo2012-06-203-13/+17
* Remove old.Johannes Huber2012-05-213-37/+13
* Stable for x86, wrt bug #415143Johannes Huber2012-05-213-12/+16
* Version bump, remove old.Johannes Huber2012-05-153-13/+19
* Stable for amd64, wrt bug #415143Agostino Sarubbo2012-05-083-13/+17
* Version bump, remove old.Johannes Huber2012-05-083-14/+20
* Version bump, remove old.Johannes Huber2012-04-063-12/+18
* Version bump, remove old.Johannes Huber2012-03-253-12/+18
* Version bump, remove old.Johannes Huber2012-03-133-12/+18
* Version bump, remove old.Johannes Huber2012-03-013-12/+18
* Version bump, remove old.Johannes Huber2012-02-224-40/+19
* Version bump.Johannes Huber2012-02-153-9/+43
* Version bump.Johannes Huber2012-01-173-12/+18
* Version bump.Johannes Huber2012-01-113-9/+43
* Version bump, remove old.Johannes Huber2012-01-044-49/+22
* Version bumpAndreas Hüttel2011-09-083-6/+50
* Version bump. Stabilise 1.5.1 on amd64 and x86. Drop older.Tomas Chvatal2011-04-204-11/+28
* Stabilise 1.3.4 on amd64 and x86. Add latest.Tomas Chvatal2011-03-264-29/+16