Changes between Version 59 and Version 60 of WikiStart


Ignore:
Timestamp:
06/29/14 15:47:34 (12 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v59 v60  
    3434* [wiki:Examples]
    3535
     36== Competition ==
     37
     38Some information concerning SV-COMP.
     39
     40* http://sv-comp.sosy-lab.org/2015/ : SV-COMP 2015
     41* http://gcc.gnu.org/onlinedocs/gcc/C-Extensions.html : the GNU extensions to C
     42
     43
    3644
    3745== Meetings ==