Changes between Version 21 and Version 22 of DeveloperPage

Timestamp:

11/26/20 11:52:01 (5 years ago)

Author:

siegel

Comment:

--

DeveloperPage

@@ -9 +9 @@
 
 
-== CIVL-C Language ==
+== Useful Links ==
 
-Contents
+* [wiki:WikiStart] User Page
 * [wiki:Manual] (under development)
 * [wiki:Language] (under development)
@@ -60 +60 @@
    * [wiki:TraceViewer]
 
-== Proposals & Plans ==
-
-These are proposed plans for enhancing CIVL or related tools
-  * [wiki:IntDivOperations]
-
-== Weekly Presentation Schedule ==
-
-This is the schedule list of weekly presentations
-* [wiki:2018_06_28] Control Flow Graph
-* [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 ==
@@ -97 +78 @@
 * [wiki:Conferences]
 
-== Depricated Pages ==
+== Deprecated Pages ==
 
 Pages are going to be deleted.
 * [wiki:Insieme]
 * [wiki:BattleOfTheDialects]
+* [wiki:2018_06_28] Control Flow Graph
+* [wiki:2018_07_05] C Implementation of Naive Decision Tree
+* [wiki:IntDivOperations]