source: stable @ 1912

Name Size Rev Age Author Last Change
../
1.1 793   12 years forrest restoring stable/1.1
1.2 798   12 years forrest restoring stable/1.2
2.0 1012   11 years forrest fix priorityin
2.1 1032   11 years forrest OA bug
2.2 1157   10 years forrest fix bug which had been fixed in 2.3
2.3 1310   10 years forrest check for infeasible bound tightening
2.4 1649   8 years stefan disable printf
2.5 1513   9 years forrest double double check infeasible at root
2.6 1672   8 years stefan rerun autotools; merge fixes in example Makefiles for mingw/cl from trunk
2.7 1872   6 years forrest fix for minibab
2.8 1912   6 years stefan sync with trunk rev 1911
Note: See TracBrowser for help on using the repository browser.