 TUeSET
|
a7cc053328
* Bound functions near loops now partially work.
|
19 years ago |
|
TUeSET
|
ecd884f025
* Some minor code cleanups (corrections of annotation, and adding FORMAL
|
19 years ago |
|
TUeSET
|
20cf401bb4
* tobjectdef has now an attribute "invariant", with the class invariants.
|
19 years ago |
|
TUeSET
|
b3a1f78bc6
* Procedures and functions now have attributes "precondition" and "postcondition"
|
19 years ago |
|
TUeSET
|
ecffedae99
- Since it was buggy, removed the impossibility of using propositions outside formal annotation.
|
19 years ago |
|
TUeSET
|
ce5346eeea
+ pdecformal.pas - Parsing of declarations in formal annotation.
|
19 years ago |
|
TUeSET
|
11a165f565
* Added {@ and } tokens, with names _OPEN_FORMAL and _CLOSE_FORMAL.
|
19 years ago |
 florian
|
eafe925878
* svnmerge tracking initialized
|
19 years ago |
|
florian
|
b89e54770c
* recreated tue branch
|
19 years ago |
 micha
|
0bf55c8015
Merged revisions 4625,4646,4650 via svnmerge from
|
19 years ago |
 olle
|
ea14a68c27
Merged revisions 4666 via svnmerge from
|
19 years ago |
 marco
|
92f6bca6fb
Merged revisions 4581 via svnmerge from
|
19 years ago |
|
micha
|
95a26d7b4f
Merged revisions 4519 via svnmerge from
|
19 years ago |
|
micha
|
ccbda24a6b
Merged revisions 4520,4524,4526 via svnmerge from
|
19 years ago |
|
olle
|
665637d911
macos cleanup
|
19 years ago |
|
olle
|
5ddd6786db
Target macos: added a fake sysutils for use by compiler only, minor fixes to tests
|
19 years ago |
 Tomas Hajny
|
fb84d5a45e
* version 2.0.5
|
19 years ago |
|
Tomas Hajny
|
c94c246535
* version 2.0.5
|
19 years ago |
|
marco
|
9d3865307c
Merged revisions 4487 via svnmerge from
|
19 years ago |
|
Tomas Hajny
|
ef0399162f
* fix for incorrectly performed merge operation
|
19 years ago |
|
florian
|
29c370bc81
Merged revisions 4473 via svnmerge from
|
19 years ago |
 michael
|
584311b456
Merged revisions 4470 via svnmerge from
|
19 years ago |
|
florian
|
27899461e4
Merged revisions 4455,4462,4465 via svnmerge from
|
19 years ago |
|
michael
|
7aa818f0f6
Merged revisions 4327 via svnmerge from
|
19 years ago |
|
Tomas Hajny
|
f0ef45fb59
Merged revisions 4446 via svnmerge from
|
19 years ago |
|
Tomas Hajny
|
a3dcdc9f46
Merged revisions 4436,4445 via svnmerge from
|
19 years ago |
|
michael
|
3cbb88df4b
Merged revisions 4331 via svnmerge from
|
19 years ago |
|
michael
|
faa121f3c9
Merged revisions 4328 via svnmerge from
|
19 years ago |
|
Tomas Hajny
|
dbeb522174
Merged revisions 4406 via svnmerge from
|
19 years ago |
|
Tomas Hajny
|
3b722b1a4d
Merged revisions 4402 via svnmerge from
|
19 years ago |
