• Raphael Rieu-Helft's avatar
    Add support for partial functions · 17ed1270
    Raphael Rieu-Helft authored
    Program functions can be declared as partial with "let/val partial".
    Similarly to "diverges", partial code cannot be ghost, however it does not need to be
    explicitly specified as partial.
    
    Fixes #184.
    17ed1270
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...