• Clément Fumex's avatar
    + use literals in ieee_float theory · f88de190
    Clément Fumex authored
    + add 'minInt and 'maxInt attributes for range types
    + add 'eb and 'sb attributes for float types
    + make ieee_float realization compatible with Coq 8.4
    f88de190
typing.ml 34.8 KB