Commit Log
| commit | description | author | date |
|---|---|---|---|
| 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 |