AbsInt/CompCert — pull request #1 by jhjourdan (2014-10-07 13:33:15+00:00)
Title: Upgrade to flocq 2.4.0

* Upgraded to flocq 2.4.0
* Removed from Fappli_IEEE_extra the definition of Bcompare and Babs, that have been integrated into flocq