diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-15 16:35:29 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-15 16:40:12 +0200 |
| commit | 1203ad99f5676a26fba189bfae4259c0bf09eac1 (patch) | |
| tree | de7f24ca53394984d67dafd3d25e70d7d7f4b44f /python/runner | |
| parent | ca8dcfdf819dae2aed6c864a3a11f1e30c632e96 (diff) | |
Process user stats in Python instead of SQL
Since we ultimately want to include events from traces (hints, tests) in
statistics, SQL will be insufficient.
Diffstat (limited to 'python/runner')
0 files changed, 0 insertions, 0 deletions