Yazar | SHA1 Mesaj | Tarih |
---|---|---|
|
a7cc053328 * Bound functions near loops now partially work. | 19 yıl önce |
|
ecd884f025 * Some minor code cleanups (corrections of annotation, and adding FORMAL | 19 yıl önce |
|
20cf401bb4 * tobjectdef has now an attribute "invariant", with the class invariants. | 19 yıl önce |
|
b3a1f78bc6 * Procedures and functions now have attributes "precondition" and "postcondition" | 19 yıl önce |
|
ce5346eeea + pdecformal.pas - Parsing of declarations in formal annotation. | 19 yıl önce |