Age | Commit message (Expand) | Author |
---|---|---|
2019-10-26 | cmd/compile: in poset, implement path collapsing | Giovanni Bajo |
2019-10-12 | cmd/compile: make poset use sufficient conditions for OrderedOrEqual | zdjones |
2019-09-26 | cmd/compile: in poset, simplify usage of CheckIntegrity | Giovanni Bajo |
2018-05-14 | cmd/compile: reduce allocations in prove by reusing posets | Giovanni Bajo |
2018-05-14 | cmd/compile: improve undo of poset | Giovanni Bajo |
2018-04-29 | cmd/compile: in prove, add transitive closure of relations | Giovanni Bajo |