something.
Merge branch 'master' of github.com:dlwh/puck
log sort time.
Merge branch 'master' of github.com:dlwh/puck
trying to improve sorting.
Merge branch 'master' of github.com:dlwh/puck
pruning now works taking a series of grammars.
Merge branch 'master' of github.com:dlwh/puck
Add verbose options for nvidia
Merge branch 'master' of github.com:dlwh/puck
comparisons for indexed rules
Merge branch 'master' of github.com:dlwh/puck
Merge branch 'master' of github.com:dlwh/puck
fuck nvidia too