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 |
| 374014ff34a9 | Add data-zdd to .hgignore. | Steve Losh | Wed, 17 May 2017 13:36:42 +0000 |
| 4c2306e08ed1 | A few more tweaks | Steve Losh | Mon, 15 May 2017 12:22:50 +0000 |