aboutsummaryrefslogtreecommitdiffstats
path: root/flocq/Core/Float_prop.v
Commit message (Expand)AuthorAgeFilesLines
* Update Flocq to 3.4.0 (#383)Guillaume Melquiond2020-12-281-5/+7
* Upgrade embedded version of Flocq to 3.1.Guillaume Melquiond2019-03-271-0/+559