/flocq/Appli/

• ../
• Fappli_IEEE.v
• Fappli_IEEE_bits.v
• Fappli_rnd_odd.v