2012-07-18 | Lucca Hirschi | Merge branch 'lucca-tests-bench' into lucca-optim | blob | commitdiff | raw |
2012-07-18 | Lucca Hirschi | time_run | blob | commitdiff | raw |
2012-07-17 | Lucca Hirschi | Merge branch 'lucca-tests-bench' into lucca-optim Core+Extentions+Optim-hconsed_V1 | blob | commitdiff | raw | diff to current |
2012-07-17 | Lucca Hirschi | Add a big query, log of benchmarks... | blob | commitdiff | raw | diff to current |
2012-07-17 | Lucca Hirschi | For testing. | blob | commitdiff | raw | diff to current |
2012-07-17 | Lucca Hirschi | log, bench, generate: 0.5 | blob | commitdiff | raw | diff to current |