summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2020-11-27Imported Upstream version 0.7.12upstream/0.7.12DongHun Kwak20-83/+334
2020-11-27Imported Upstream version 0.7.11upstream/0.7.11DongHun Kwak16-156/+208
2020-11-27Imported Upstream version 0.7.10upstream/0.7.10DongHun Kwak9-54/+224
2020-11-27Imported Upstream version 0.7.9upstream/0.7.9DongHun Kwak10-30/+108
2020-11-27Imported Upstream version 0.7.8upstream/0.7.8DongHun Kwak27-39/+491
2020-11-27Imported Upstream version 0.7.7upstream/0.7.7DongHun Kwak17-21/+168
2019-09-10Imported Upstream version 0.7.6upstream/0.7.6DongHun Kwak16-42/+339
2019-09-10Imported Upstream version 0.7.5upstream/0.7.5DongHun Kwak84-992/+7238
2019-09-10Imported Upstream version 0.7.4upstream/0.7.4DongHun Kwak26-49/+879
2019-09-10Imported Upstream version 0.7.3upstream/0.7.3DongHun Kwak32-361/+595
2019-09-10Imported Upstream version 0.7.2upstream/0.7.2DongHun Kwak39-451/+1015
2019-09-10Imported Upstream version 0.7.1upstream/0.7.1DongHun Kwak6-10/+69
2019-09-10Imported Upstream version 0.7.0upstream/0.7.0DongHun Kwak108-2743/+3332
2019-09-10Imported Upstream version 0.6.36upstream/0.6.36DongHun Kwak26-57/+318
2018-12-04Imported Upstream version 0.6.35upstream/0.6.35DongHun Kwak56-1142/+2453
2018-11-30Imported Upstream version 0.6.34upstream/0.6.34DongHun Kwak5-13/+76
2018-11-30Imported Upstream version 0.6.33upstream/0.6.33DongHun Kwak9-16/+65
2018-11-30Imported Upstream version 0.6.32upstream/0.6.32DongHun Kwak7-139/+252
2018-11-30Imported Upstream version 0.6.31upstream/0.6.31DongHun Kwak43-1731/+3722
2018-11-30Imported Upstream version 0.6.30upstream/0.6.30DongHun Kwak29-1955/+2438
2018-11-30Imported Upstream version 0.6.29upstream/0.6.29DongHun Kwak89-629/+1449
2018-11-30Imported Upstream version 0.6.28upstream/0.6.28DongHun Kwak33-55/+352
2018-11-30Imported Upstream version 0.6.27upstream/0.6.27DongHun Kwak54-2433/+1443
2018-11-30Imported Upstream version 0.6.26upstream/0.6.26DongHun Kwak7-4/+27
2018-11-30Imported Upstream version 0.6.25upstream/0.6.25DongHun Kwak25-110/+388
2018-11-30Imported Upstream version 0.6.24upstream/0.6.24DongHun Kwak27-1014/+1304
2016-10-27Imported Upstream version 0.6.23upstream/0.6.23DongHun Kwak32-895/+1029
2016-10-27Imported Upstream version 0.6.22upstream/0.6.22DongHun Kwak6-20/+82
2016-10-27Imported Upstream version 0.6.21upstream/0.6.21DongHun Kwak32-76/+1001
2016-10-27Imported Upstream version 0.6.20upstream/0.6.20DongHun Kwak22-855/+1330
2016-10-27Imported Upstream version 0.6.19upstream/0.6.19DongHun Kwak4-7/+42
2016-10-27Imported Upstream version 0.6.18upstream/0.6.18DongHun Kwak4-4/+59
2016-10-27Imported Upstream version 0.6.17upstream/0.6.17DongHun Kwak4-7/+91
2016-10-27Imported Upstream version 0.6.16upstream/0.6.16DongHun Kwak12-5/+291
2016-10-27Imported Upstream version 0.6.15upstream/0.6.15DongHun Kwak34-292/+1048
2016-10-27Imported Upstream version 0.6.14upstream/0.6.14DongHun Kwak10-11/+32
2016-10-27Imported Upstream version 0.6.13upstream/0.6.13DongHun Kwak61-4735/+5739
2016-10-27Imported Upstream version 0.6.12upstream/0.6.12DongHun Kwak63-402/+2264
2016-10-27Imported Upstream version 0.6.11upstream/0.6.11DongHun Kwak42-825/+1523
2016-10-27Imported Upstream version 0.6.10upstream/0.6.10DongHun Kwak3-18/+16
2016-10-27Imported Upstream version 0.6.9upstream/0.6.9DongHun Kwak30-363/+1517
2016-10-27Imported Upstream version 0.6.8upstream/0.6.8DongHun Kwak4-20/+26
2016-10-27Imported Upstream version 0.6.7upstream/0.6.7DongHun Kwak13-40/+62
2016-10-27Imported Upstream version 0.6.6upstream/0.6.6DongHun Kwak57-177/+1890
2016-10-27Imported Upstream version 0.6.5upstream/0.6.5DongHun Kwak29-51/+478
2014-07-08add changes, bump versionupstream/0.6.4Michael Schroeder2-1/+10
2014-07-08tweak solver_identical so that applications ignore requiresMichael Schroeder1-3/+7
2014-07-08fix instbuddy generation codeMichael Schroeder1-2/+2
2014-06-24add '-m' option to test the solution callbackMichael Schroeder1-1/+51
2014-06-24rework branch handling so that the old decisions are still availableMichael Schroeder3-62/+140