-
Jean-Christophe Filliâtre authored
multi-lines spec comments /*@ ... */ axioms, with syntax //@ assume ...; assignments operators ++ -- += etc. for array elements
059c2b54
multi-lines spec comments /*@ ... */ axioms, with syntax //@ assume ...; assignments operators ++ -- += etc. for array elements