summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2014-05-23before new visitPatrick Simianer
2014-05-20need to fix self-fillingPatrick Simianer
2014-05-20readmePatrick Simianer
2014-05-20cleanupPatrick Simianer
2014-05-20intersect2 correct & fast (ok, at least not impossibly slow)Patrick Simianer
2014-05-19minor changesPatrick Simianer
2014-05-08correct, but still slowPatrick Simianer
2014-05-07added self-filling, fixing stuffPatrick Simianer
2014-05-07ja, it's slowPatrick Simianer
2014-05-07refactoringPatrick Simianer
2014-05-05fixPatrick Simianer
2014-05-05refactoringPatrick Simianer
2014-05-05scanPatrick Simianer
2014-05-05scanPatrick Simianer
2014-05-05visit fnPatrick Simianer
2014-05-05proper cky+Patrick Simianer
2014-05-05proper cky+Patrick Simianer
2014-05-02arity-0 rules with rhs.size > 1Patrick Simianer
2014-05-02now~lPatrick Simianer
2014-05-02now~lPatrick Simianer
2014-05-02first more or less functional versionPatrick Simianer
2014-04-25initPatrick Simianer
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 20:21:06 +0000