Commit f0230da1 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Split binary encoding and formats from the more abstract formalization.

parent 5ba7dc20
This diff is collapsed.
This diff is collapsed.
......@@ -26,6 +26,7 @@ FILES = \
Prop/Fprop_relative.v \
Prop/Fprop_Sterbenz.v \
Appli/Fappli_IEEE.v \
Appli/Fappli_IEEE_bits.v \
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment