summaryrefslogtreecommitdiff
path: root/flocq/Appli/Fappli_IEEE.v
Commit message (Expand)AuthorAge
* Update commentGravatar xleroy2014-08-13
* Merge of Flocq version 2.2.0.Gravatar xleroy2013-08-02
* Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)Gravatar xleroy2012-11-03
* Use Flocq for floatsGravatar xleroy2012-06-28