Commit Log
| commit | description | author | date |
|---|---|---|---|
| e2fbd297f5c7 | Clean up some package layout issues | Steve Losh | Wed, 23 Nov 2016 11:08:33 +0000 |
| 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 |