aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/CompactContexts.out
Commit message (Expand)AuthorAge
* Simplified compaction criterion + tests.Gravatar Pierre Courtieu2017-05-16