Release coccinelle-0.1.11

** Language:
   - Meta-identifier/function and constant could be filtered from SmPL by
     regular expressions using the "~=" and "!~=" operators followed by
     an OCaml regular expression (see man Str) in double quote.
   - Virtual rules, which can be referenced in depends, and set and unset
     using the command-line options -D
   - ++ for multiple additions

** Features:
   - coccicheck: a framework to check a series of SmPL files on a project
     see scripts/coccicheck for more information

** Bugfix:
   - bind position variables to the correct starting position in the case of a
     complex statement such as an if or while.  Thanks to Derek Jones for
     pointing out the problem.
   - checking for non mentioned case lines in switch should be unchecked.
   - space should be printed after sizeof when there are no parentheses around
     the argument.  Thanks to Daniel Walker for pointing out the problem.
   - avoid introducing sharing in propagating ! over () in treatment of isos
   - save_excursion has to handle and rethrow exceptions
   - eliminate unnecessary consideration of CVS strings.  Thanks to David
     Young for pointing out the problem.
   - completely new treatment of statement metavariables
   - better type checking for macro definitions
   - drop regression testing in -parse_c

diff --git a/Makefile b/Makefile
index c2b7b5c..712ac56 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -387,10 +387,6 @@ OCAMLVERSION=$(shell ocaml -version |perl -p -e 's/.*version (.*)/$$1/;')
 # the scripts/licensify has been run at least once.
 # For the 'make bintar' I can do it from my original repo.
 
-prepackage:
-       cvs up -CdP
-       $(MAKE) distclean
-       $(MAKE) licensify
 
 package:
        $(MAKE) srctar

diff --git a/commitmsg b/commitmsg
dissimilarity index 98%
index 09dc916..8ce230f 100644 (file)
--- a/commitmsg
+++ b/commitmsg
@@ -1,3 +1,28 @@
-Release coccinelle-0.1.11rc1
-
-Release Candidate 1 for coccinelle-0.1.11
+Release coccinelle-0.1.11
+
+** Language:
+   - Meta-identifier/function and constant could be filtered from SmPL by
+     regular expressions using the "~=" and "!~=" operators followed by
+     an OCaml regular expression (see man Str) in double quote.
+   - Virtual rules, which can be referenced in depends, and set and unset
+     using the command-line options -D
+   - ++ for multiple additions
+
+** Features:
+   - coccicheck: a framework to check a series of SmPL files on a project
+     see scripts/coccicheck for more information
+
+** Bugfix:
+   - bind position variables to the correct starting position in the case of a
+     complex statement such as an if or while.  Thanks to Derek Jones for
+     pointing out the problem.
+   - checking for non mentioned case lines in switch should be unchecked.
+   - space should be printed after sizeof when there are no parentheses around
+     the argument.  Thanks to Daniel Walker for pointing out the problem.
+   - avoid introducing sharing in propagating ! over () in treatment of isos
+   - save_excursion has to handle and rethrow exceptions
+   - eliminate unnecessary consideration of CVS strings.  Thanks to David
+     Young for pointing out the problem.
+   - completely new treatment of statement metavariables
+   - better type checking for macro definitions
+   - drop regression testing in -parse_c

diff --git a/commitmsg~ b/commitmsg~
deleted file mode 100644 (file)
index 982a878..0000000
--- a/commitmsg~
+++ /dev/null
@@ -1,3 +0,0 @@
-Release coccinelle-0.1.9-rc1
-
-Release Candidate 1 for coccinelle-0.1.9

diff --git a/docs/manual/main_grammar.pdf b/docs/manual/main_grammar.pdf
index 32905c5..60ddeb4 100644 (file)
Binary files a/docs/manual/main_grammar.pdf and b/docs/manual/main_grammar.pdf differ

diff --git a/docs/manual/manual.pdf b/docs/manual/manual.pdf
index 5c42bbb..0ae8024 100644 (file)
Binary files a/docs/manual/manual.pdf and b/docs/manual/manual.pdf differ

diff --git a/docs/manual/options.pdf b/docs/manual/options.pdf
index d946311..a534fa2 100644 (file)
Binary files a/docs/manual/options.pdf and b/docs/manual/options.pdf differ

diff --git a/globals/config.ml.in b/globals/config.ml.in
index 46ed097..18f2699 100644 (file)
--- a/globals/config.ml.in
+++ b/globals/config.ml.in
@@ -1,4 +1,4 @@
-let version = "0.1.11rc1"
+let version = "0.1.11"
 
 let path = 
   try (Sys.getenv "COCCINELLE_HOME") 

diff --git a/test.ml b/test.ml
index eef8949..2c0c801 100644 (file)
--- a/test.ml
+++ b/test.ml
@@ -130,28 +130,6 @@
  *)
 
 
-(*
- * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
- * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
- * This file is part of Coccinelle.
- *
- * Coccinelle is free software: you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation, according to version 2 of the License.
- *
- * Coccinelle is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
- *
- * The authors reserve the right to distribute this or future versions of
- * Coccinelle under other licenses.
- *)
-
-
 (*
  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller