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...