aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/6191.v
Commit message (Expand)AuthorAge
* Fixing a 8.7 regression of ring_simplify in ArithRing.Gravatar Hugo Herbelin2017-11-23