Changes between Version 4 and Version 5 of DeveloperPage

Timestamp:

07/13/18 11:20:47 (8 years ago)

Author:

wuwenhao

Comment:

--

DeveloperPage

@@ -59 +59 @@
 * [wiki:2018_07_05] C Implementation of Naive Decision Tree
 
+== Competition ==
+
+Some information concerning SV-COMP.
+
+* http://sv-comp.sosy-lab.org/2015/ : SV-COMP 2015
+* http://gcc.gnu.org/onlinedocs/gcc/C-Extensions.html : the GNU extensions to C
+* http://www.sosy-lab.org/~dbeyer/cpa-witnesses/ : Error witness format
+* http://sv-comp.sosy-lab.org/2015/Minutes-2014.txt : Minutes of 2014 meeting
+
 == Related Tools ==