aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/FloatExtraction.v
AgeCommit message (Collapse)Author
2019-11-01Add extraction for primitive floatsErik Martin-Dorel
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-14 04:16:41 +0000