| 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 |
 |
index : go | |
| The Go programming language |
| aboutsummaryrefslogtreecommitdiff |