aboutsummaryrefslogtreecommitdiff
path: root/test-suite/arithmetic/primitive.v
AgeCommit message (Expand)Author
2020-07-21Turn various anomalies into regular errors in primitive declaration pathGaëtan Gilbert
2019-02-04Primitive integersMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 06:00:02 +0000