aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/abstract_poly.v
Commit message (Expand)AuthorAge
* Getting rid of abstraction breaking code in tclABSTRACT.Gravatar Pierre-Marie Pédrot2017-07-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 02:12:07 +0000