• Guillaume Melquiond's avatar
    Add support for generic printing of integers and reals. · 1ba8f1a6
    Guillaume Melquiond authored
    Prover capabilities are now represented by a record enumerating each case and which syntax to use then.
    This fixes output of nondecimal integers to provers (bug #12981).
    
    TODO: check whether some provers support more than just decimal representations.
    1ba8f1a6
Name
Last commit
Last update
..
booleans.mlw Loading commit data...
complex_arg_1.mlw Loading commit data...
complex_arg_2.mlw Loading commit data...
exns.mlw Loading commit data...
for.mlw Loading commit data...
list.mlw Loading commit data...
loops.mlw Loading commit data...
mccarthy.mlw Loading commit data...
misfix.why Loading commit data...
numbers.why Loading commit data...
oldify.mlw Loading commit data...
poly.mlw Loading commit data...
recfun.mlw Loading commit data...
see.mlw Loading commit data...
set.mlw Loading commit data...
wpcalls.mlw Loading commit data...