aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/FloatSyntax.v
AgeCommit message (Expand)Author
2019-11-01Make primitive float work on WindowsPierre Roux
2019-11-01Pretty-printing primitive float constantsErik Martin-Dorel
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-12 00:55:07 +0000