提交历史

作者 SHA1 备注 提交日期
  TUeSET a7cc053328 * Bound functions near loops now partially work. 19 年之前
  TUeSET ecd884f025 * Some minor code cleanups (corrections of annotation, and adding FORMAL 19 年之前
  TUeSET 20cf401bb4 * tobjectdef has now an attribute "invariant", with the class invariants. 19 年之前
  TUeSET b3a1f78bc6 * Procedures and functions now have attributes "precondition" and "postcondition" 19 年之前
  TUeSET ce5346eeea + pdecformal.pas - Parsing of declarations in formal annotation. 19 年之前