• Guillaume Melquiond's avatar
    Rework numerical constants. · d3d7c7ac
    Guillaume Melquiond authored
    Main changes are:
    - Real constants now offer a normalized representation usable for internal
      computations.
    - Constants are no longer stored in textual form.
    d3d7c7ac
Name
Last commit
Last update
..
core Loading commit data...
driver Loading commit data...
ide Loading commit data...
isabelle-client Loading commit data...
jessie Loading commit data...
mlw Loading commit data...
parser Loading commit data...
printer Loading commit data...
server Loading commit data...
session Loading commit data...
tools Loading commit data...
transform Loading commit data...
trywhy3 Loading commit data...
util Loading commit data...
why3doc Loading commit data...
why3session Loading commit data...
config.sh.in Loading commit data...