Commit Log
commit | description | author | date |
---|---|---|---|
50011302bb36 | Timing support | Steve Losh | 2017-05-23 |
60c18fdad2b8 | More stat gathering | Steve Losh | 2017-05-23 |
b79af8708c02 | Add rule size test infrastructure | Steve Losh | 2017-05-20 |
47c967fea4c7 | Explicitly error on grounding problems, clean up stat dumps | Steve Losh | 2017-05-19 |
fd5861c11c5f | Add rule shuffling, new stratification procedure | Steve Losh | 2017-05-17 |
374014ff34a9 | Add data-zdd to .hgignore. | Steve Losh | 2017-05-17 |
4c2306e08ed1 | A few more tweaks | Steve Losh | 2017-05-15 |
Loading... |