Historique des commits

Auteur SHA1 Message Date
  TUeSET a7cc053328 * Bound functions near loops now partially work. il y a 19 ans
  TUeSET ecd884f025 * Some minor code cleanups (corrections of annotation, and adding FORMAL il y a 19 ans
  TUeSET 20cf401bb4 * tobjectdef has now an attribute "invariant", with the class invariants. il y a 19 ans
  TUeSET b3a1f78bc6 * Procedures and functions now have attributes "precondition" and "postcondition" il y a 19 ans
  TUeSET ce5346eeea + pdecformal.pas - Parsing of declarations in formal annotation. il y a 19 ans