394 messages

net.sourceforge.lists.monetdb-pf-checkins [All Lists]

2012 December [All Months]

Page 4 (Messages 76 to 100): 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

MonetDB: Feb2013 - strcasestr: make more const, fix compilation ... - Fabian Groffen
MonetDB: Feb2013 - mclient.pl: allow overriding default port - Fabian Groffen
MonetDB: Feb2013 - re-aligned no_mitosis_pipe & sequential_pipe ... - Stefan Manegold
MonetDB: default - cleanup debug output - Niels Nes
MonetDB: default - Merge with Feb2013 branch. - Sjoerd Mullender
MonetDB: Oct2012 - configure: make Python 2 vs Python 3 explicit - Fabian Groffen
MonetDB: Feb2013 - Merge with Oct2012 branch. - Sjoerd Mullender
MonetDB: Feb2013 - Fixing aggregates: if there is a candidate li... - Sjoerd Mullender
MonetDB: Feb2013 - Fix format string - Martin Kersten
MonetDB: Feb2013 - stethoscope: like mclient, accept first non-o... - Fabian Groffen
MonetDB: Feb2013 - exports: GDKgetenv_int was exported in 2033a1... - Fabian Groffen
MonetDB: Oct2012 - python3_test_monetdb_sql: approve now python3... - Fabian Groffen
MonetDB: Oct2012 - Pre-release version number update. - Sjoerd Mullender
MonetDB: Oct2012 - Updated library versions. - Sjoerd Mullender
MonetDB: Feb2013 - Reorder coercion and evaluate optimizers - Martin Kersten
MonetDB: Feb2013 - Ignore start event in cached trace mode - Martin Kersten
MonetDB: Feb2013 - ported fix to the query cache from Oct2012 - Niels Nes
MonetDB: Feb2013 - MALresourceFairness(): variable delay is defi... - Stefan Manegold
MonetDB: default - Merge with Feb2013 branch. - Stefan Manegold
MonetDB: default - Merge with Feb2013 branch. - Stefan Manegold
MonetDB: Feb2013 - Protect eventstream upon closing - Martin Kersten
MonetDB: Feb2013 - small checks to avoid large(r) costs, ie don'... - Niels Nes
MonetDB: Feb2013 - also print total executions time in summary - Stefan Manegold
MonetDB: Feb2013 - Reduce number locks on BAT reference counting - Martin Kersten
MonetDB: Feb2013 - Make joinpath signatures specific - Martin Kersten

Page 4 (Messages 76 to 100): 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16