Commit Verlauf

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