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