Commit message (Expand) | Author | Age | |
---|---|---|---|
* | tricky view refining code that keeps track of whether the view is widenening ... | 2014-02-16 | |
* | support globs when built w/o TDFA, just slower | 2014-02-16 | |
* | add another quickcheck property, and several edge cases handled | 2014-02-16 | |
* | simplify type | 2014-02-16 | |
* | filter branches (incomplete) | 2014-02-16 |