Historique des commits

Auteur SHA1 Message Date
  TUeSET 20cf401bb4 * tobjectdef has now an attribute "invariant", with the class invariants. il y a 19 ans
  TUeSET b3a1f78bc6 * Procedures and functions now have attributes "precondition" and "postcondition" il y a 19 ans
  TUeSET ce5346eeea + pdecformal.pas - Parsing of declarations in formal annotation. il y a 19 ans
  Jonas Maebe 51fd96b340 Merged revisions 4184 via svnmerge from il y a 19 ans
  florian 949d7b3a8c * r199 is merged almost now il y a 19 ans
  florian 00cd6f38e5 Merged revisions 3614 via svnmerge from il y a 19 ans
  florian 676ec647f2 Merged revisions 3590 via svnmerge from il y a 19 ans
  Jonas Maebe b02a8d371a Merged revisions 2758 via svnmerge from il y a 19 ans
  peter e6f0e40584 Merged revisions 2444,2472,2481-2484,2487-2488 via svnmerge from il y a 19 ans
  peter 9759c14244 Merged revisions 1913-1914,1920,1922,1925,1957,1976,2024,2038,2052,2126,2140 via svnmerge from il y a 20 ans
  peter d269ccd524 Merged revisions 1496 via svnmerge from il y a 20 ans
  peter 93a614ff77 * merge r446 goto/label refactoring, needed for r1274 il y a 20 ans
  peter 01ce5d2d4d Merged revisions 512,531 via svnmerge from il y a 20 ans
  peter ad9e165b0b Merged revisions 637,639-640,646-647,653-658 via svnmerge from il y a 20 ans
  peter fc80e2c151 Merged revisions 642,644 via svnmerge from il y a 20 ans
  peter f87e730a73 Merged revisions 539-540,542,544-545 via svnmerge from il y a 20 ans
  peter 74afd0284a Merged revisions 508 via svnmerge from il y a 20 ans
  fpc 6434db35c2 * mime-type property in fixes branch set il y a 20 ans
  fpc 50778076c3 initial import il y a 20 ans
  peter aee4b7bcf7 * also set intsize for paralocs written to ppu il y a 20 ans
  peter e417e34496 * truncate log il y a 20 ans
  peter 13bea3e077 * fix range check error when compiled with 1.9.6 il y a 20 ans
  olle 7572f3a539 * rework of macro subsystem il y a 21 ans
  peter fd3f6a9017 * fix setting minval for enum with specified values il y a 21 ans
  peter 296e81146e * insert stack_check helper call before doing register allocation il y a 21 ans
  peter 78c2af7b3c * set vo_explicit_paraloc flag il y a 21 ans
  peter cd4534c862 * uninited results il y a 21 ans
  peter 14d25d278b mangledname setting moved to place after the complete proc declaration is read il y a 21 ans
  peter c4502aebe7 * _mangledname for symbols moved only to symbols that really need it il y a 21 ans
  peter e740a66636 * tparaitem removed, use tparavarsym instead il y a 21 ans