aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/QArithSyntax.v
AgeCommit message (Expand)Author
2020-11-05[numeral notation] QPierre Roux
2020-05-09Add hexadecimal numeralsPierre Roux
2020-01-28Fix #11467Pierre Roux