 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
|
ecffedae99
- Since it was buggy, removed the impossibility of using propositions outside formal annotation.
|
19 年之前 |
|
TUeSET
|
ce5346eeea
+ pdecformal.pas - Parsing of declarations in formal annotation.
|
19 年之前 |
 Jonas Maebe
|
a3d6a9f6ee
Merged revisions 3745 via svnmerge from
|
19 年之前 |
|
Jonas Maebe
|
715a88dca2
Merged revisions 2843-2844,2854-2855,2952,2957-2959,2968,2973-2976,3002-3003 via svnmerge from
|
19 年之前 |
 peter
|
30c69f9ab4
Merged revisions 2526 via svnmerge from
|
19 年之前 |
|
Jonas Maebe
|
559e4e652a
Merged revisions 2614,2616,2619-2620,2647,2651-2652,2659 via svnmerge from
|
19 年之前 |
|
Jonas Maebe
|
169aef707a
Merged revisions 2338,2412,2445,2469,2485-2486,2501-2502,2508-2509,2514,2516,2530,2535,2537 via svnmerge from
|
19 年之前 |
|
Jonas Maebe
|
2c138147ff
- removed outdated int64funcresok define (from Peter's symtable stack
|
19 年之前 |
|
Jonas Maebe
|
b795045347
Merged revisions 2417 via svnmerge from
|
19 年之前 |
|
peter
|
94052210ca
Merged revisions 1954-1955,1962-1963,1966-1967,1969,1973,1979,1982,1987-1992,1994-1999,2003-2007,2017,2021,2023,2031-2033,2035,2037,2039-2042,2045-2047,2050,2054-2057,2063,2065-2066,2069,2071-2075,2077-2078,2080-2081,2083,2097-2098,2101,2105-2106,2144-2145,2149,2156-2157,2176,2190,2194-2195,2202,2209-2211,2216,2220,2225-2232,2238 via svnmerge from
|
20 年之前 |
 florian
|
fff1dd8032
Merged revisions 1801-1808,1810-1811 via svnmerge from
|
20 年之前 |
|
peter
|
8a3d46be8b
Merged revisions 1481,1533,1535-1536,1542,1544,1556,1590,1597,1608 via svnmerge from
|
20 年之前 |
|
peter
|
e92bbe6f48
Merged revisions 1376 via svnmerge from
|
20 年之前 |
|
peter
|
05c8579e63
Merged revisions 1477 via svnmerge from
|
20 年之前 |
|
florian
|
9b94d5572e
Merged revisions 1384 via svnmerge from
|
20 年之前 |
|
peter
|
73375cffed
* macpas procvar merged
|
20 年之前 |
|
peter
|
93a614ff77
* merge r446 goto/label refactoring, needed for r1274
|
20 年之前 |
|
peter
|
ad9e165b0b
Merged revisions 637,639-640,646-647,653-658 via svnmerge from
|
20 年之前 |
 fpc
|
6434db35c2
* mime-type property in fixes branch set
|
20 年之前 |
|
fpc
|
50778076c3
initial import
|
20 年之前 |
 michael
|
55e76063df
* Fix methodpointer copy from callnode to loadnode
|
20 年之前 |
|
florian
|
10df6ea0a2
* fpc_variant_get call fixed
|
20 年之前 |
|
florian
|
252fa84c62
+ compiler support for reading/writing of vararrays
|
20 年之前 |
|
peter
|
3f9d6ab32f
* add hint when passing an uninitialized variable to a var parameter
|
20 年之前 |
|
florian
|
eeaded577a
* fixed copy(dyn. array,...);
|
20 年之前 |
|
Jonas Maebe
|
d612918bb2
* fixed Lazarus compilation
|
20 年之前 |
|
Jonas Maebe
|
39a372756f
* properties can also be inherited/overridden
|
20 年之前 |
|
Jonas Maebe
|
7fb6b96aed
* fixed web bug #3738
|
20 年之前 |
