Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

  • Sylvain Dailler's avatar
    Adding a known_id function for prineter in Ident. · f5a07e19
    Sylvain Dailler authored
    Adding a forgeting function for printing variables on exceptions.
    Should do the same at least for patterns.
    Adding printing functions from why3printer.
    Changing exception in transformation so that they
    return terms not strings.
    f5a07e19
why3ide.ml 29.4 KB