Commit Log
| commit | description | author | date |
|---|---|---|---|
| fe02d26f331f | Plumb together all the rule tree/stratification stuff | Steve Losh | Mon, 21 Nov 2016 16:52:13 +0000 |
| addb56e3eb9d | Move all the graphviz code into its own file | Steve Losh | Mon, 21 Nov 2016 15:33:17 +0000 |
| 37e64253cccf | Stratify rules according to negations | Steve Losh | Sun, 20 Nov 2016 15:33:06 +0000 |
| fcc52d00b79f | Start the individual rule trees | Steve Losh | Fri, 18 Nov 2016 16:59:02 +0000 |
| 312aaa8e3bfe | Wire things up together. | Steve Losh | Tue, 15 Nov 2016 17:20:50 +0000 |