| Commit message (Expand) | Author | Age | Files | Lines |
* | * Bound functions near loops now partially work.tue | TUeSET | 2006-10-24 | 3 | -9/+118 |
* | * Some minor code cleanups (corrections of annotation, and adding FORMAL | TUeSET | 2006-10-23 | 3 | -18/+7 |
* | * tobjectdef has now an attribute "invariant", with the class invariants. | TUeSET | 2006-10-17 | 9 | -75/+332 |
* | * Procedures and functions now have attributes "precondition" and "postcondit... | TUeSET | 2006-10-11 | 11 | -276/+538 |
* | - Since it was buggy, removed the impossibility of using propositions outside... | TUeSET | 2006-10-09 | 2 | -11/+1 |
* | + pdecformal.pas - Parsing of declarations in formal annotation. | TUeSET | 2006-10-09 | 9 | -13/+226 |
* | * Added {@ and } tokens, with names _OPEN_FORMAL and _CLOSE_FORMAL. | TUeSET | 2006-10-04 | 8 | -240/+353 |
* | * svnmerge tracking initialized | florian | 2006-10-04 | 0 | -0/+0 |
* | * recreated tue branch | florian | 2006-10-04 | 0 | -0/+0 |
|\ |
|
| * | Merged revisions 4625,4646,4650 via svnmerge from | micha | 2006-09-21 | 4 | -59/+137 |
| * | Merged revisions 4666 via svnmerge from | olle | 2006-09-20 | 1 | -1/+3 |
| * | Merged revisions 4581 via svnmerge from | marco | 2006-09-09 | 1 | -0/+1 |
| * | Merged revisions 4519 via svnmerge from | micha | 2006-09-06 | 2 | -60/+55 |
| * | Merged revisions 4520,4524,4526 via svnmerge from | micha | 2006-09-04 | 2 | -5/+5 |
| * | macos cleanup | olle | 2006-09-04 | 2 | -3/+1 |
| * | Target macos: added a fake sysutils for use by compiler only, minor fixes to ... | olle | 2006-09-03 | 13 | -55/+44 |
| * | * version 2.0.5 | hajny | 2006-08-29 | 145 | -148/+148 |
| * | * version 2.0.5 | hajny | 2006-08-27 | 1 | -2/+2 |
| * | Merged revisions 4487 via svnmerge from | marco | 2006-08-24 | 1 | -3/+3 |
| * | * fix for incorrectly performed merge operation | hajny | 2006-08-23 | 1 | -2/+0 |
| * | Merged revisions 4473 via svnmerge from | florian | 2006-08-20 | 1 | -1/+1 |
| * | Merged revisions 4470 via svnmerge from | michael | 2006-08-20 | 1 | -1/+1 |
| * | Merged revisions 4455,4462,4465 via svnmerge from | florian | 2006-08-20 | 14 | -26/+65 |
| * | Merged revisions 4327 via svnmerge from | michael | 2006-08-20 | 1 | -1/+4 |
| * | Merged revisions 4446 via svnmerge from | hajny | 2006-08-19 | 2 | -2/+1 |
| * | Merged revisions 4436,4445 via svnmerge from | hajny | 2006-08-19 | 2 | -406/+420 |
| * | Merged revisions 4331 via svnmerge from | michael | 2006-08-19 | 1 | -0/+1 |
| * | Merged revisions 4328 via svnmerge from | michael | 2006-08-19 | 1 | -3/+6 |
| * | Merged revisions 4406 via svnmerge from | hajny | 2006-08-11 | 1 | -1/+1 |
| * | Merged revisions 4402 via svnmerge from | hajny | 2006-08-11 | 1 | -0/+2518 |
| * | Merged revisions 4400 via svnmerge from | hajny | 2006-08-11 | 1 | -228/+232 |
| * | Merged revisions 4394 via svnmerge from | hajny | 2006-08-11 | 1 | -1/+1 |
| * | Merged revisions 4380 via svnmerge from | hajny | 2006-08-07 | 1 | -122/+119 |
| * | Merged revisions 4291 via svnmerge from | florian | 2006-08-06 | 2 | -3/+17 |
| * | Merged revisions 4367 via svnmerge from | hajny | 2006-08-06 | 1 | -1/+1 |
| * | Merged revisions 4365-4366 via svnmerge from | hajny | 2006-08-06 | 1 | -88/+163 |
| * | Merged revisions 4364 via svnmerge from | hajny | 2006-08-06 | 1 | -1/+1 |
| * | Merged revisions 4330 via svnmerge from | florian | 2006-08-06 | 3 | -2252/+2312 |
| * | Merged revisions 4369 via svnmerge from | jonas | 2006-08-06 | 1 | -2/+8 |
| * | Merged revisions 4355 via svnmerge from | florian | 2006-08-05 | 2 | -7/+6 |
| * | * fixed releasing of fpu/mm registers after calling refcount increase | jonas | 2006-08-03 | 1 | -0/+2 |
| * | Merged revisions 4339 via svnmerge from | jonas | 2006-08-03 | 1 | -4/+4 |
| * | Merged revisions 4333,4335-4336 via svnmerge from | jonas | 2006-08-03 | 6 | -115/+123 |
| * | Merged revisions 4319 via svnmerge from | peter | 2006-08-01 | 1 | -2/+13 |
| * | Merged revisions 4314 via svnmerge from | peter | 2006-07-31 | 16 | -231/+201 |
| * | Merged revisions 4255 via svnmerge from | hajny | 2006-07-30 | 3 | -36/+35 |
| * | Merged revisions 4266,4286,4302-4303,4311 via svnmerge from | hajny | 2006-07-30 | 2 | -25/+36 |
| * | * Merge 4308 | daniel | 2006-07-30 | 1 | -1/+1 |
| * | * Weird, svn considers root unclean and wants it committed | daniel | 2006-07-30 | 0 | -0/+0 |
| * | Merged revisions 4304 via svnmerge from | florian | 2006-07-30 | 1 | -10/+11 |