Commit Log
| commit | description | author | date |
|---|---|---|---|
| b79af8708c02 | Add rule size test infrastructure | Steve Losh | Sat, 20 May 2017 11:24:54 +0000 |
| 47c967fea4c7 | Explicitly error on grounding problems, clean up stat dumps | Steve Losh | Fri, 19 May 2017 17:28:31 +0000 |
| fd5861c11c5f | Add rule shuffling, new stratification procedure | Steve Losh | Wed, 17 May 2017 13:36:59 +0000 |