• Sylvain Dailler's avatar
    Fix crash of eliminate_unknown_types · 9a360820
    Sylvain Dailler authored
    It was previously possible to keep a constant when there was a removed
    symbol in its definition. This changes makes removals be propagated to
    other constants.
    
    This patch mainly adds a variable that keeps track of already removed
    declarations.
    9a360820
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...