From 6182faae17cdcf814e018ca2a7d9166b042cd4f1 Mon Sep 17 00:00:00 2001 From: Coccinelle Date: Sun, 3 Oct 2010 14:03:12 +0200 Subject: [PATCH] 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 --- Makefile | 4 ---- commitmsg | 31 ++++++++++++++++++++++++++++--- commitmsg~ | 3 --- docs/manual/main_grammar.pdf | Bin 287589 -> 287589 bytes docs/manual/manual.pdf | Bin 364897 -> 364897 bytes docs/manual/options.pdf | Bin 94612 -> 94612 bytes globals/config.ml.in | 2 +- test.ml | 22 ---------------------- 8 files changed, 29 insertions(+), 33 deletions(-) rewrite commitmsg (98%) delete mode 100644 commitmsg~ diff --git a/Makefile b/Makefile index c2b7b5c..712ac56 100644 --- 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 --- 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 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 32905c5e93daa3879b2b195ea1c75ebfcd04fc72..60ddeb4a8e7ef4828ad56ce416305f88fa46ac1f 100644 GIT binary patch delta 113 zcmaEQOz`P3!G;#b7N!>FEiB);Sj`PB3=O9L;bM`4Ft^KdvpfrTb}_SbaWXYAaW%Ct jadCDtc5*a!bu)8waxrlFEiB);SS<`pOpT}i;bM`4Ft^KdvpfrTws3MXG&FZLbu_kg jb}=z?GqZFuce6BfF)=qYbTu_IvQw}jq-45BGK(w#VVE8L diff --git a/docs/manual/manual.pdf b/docs/manual/manual.pdf index 5c42bbb1cd1d327b02151c8b80e03701c67c3331..0ae8024140061b27156a96e481d7ae06f2bf2775 100644 GIT binary patch delta 139 zcmaF3NbKPvv4$4L7N!>F7M3lnlf_ug4J`~Tr_T^$m4h(1?-pZqt4c61a4|JCGIDk{ zc5*T`cX2T^adtE}aW!*vv@mfqGB>bOupy`97WtGFbwsHCDOHI2*I*x1a}kV{q7 I)!&T^0DQ?L6951J delta 139 zcmaF3NbKPvv4$4L7N!>F7M3lnlf_sq3`|Uorq2*#m4h(1?-pZqt4c63F|sf97WtGFbwsHCDOHI2*I*x1a}kV{q7 I)!&T^09P#|g8%>k diff --git a/docs/manual/options.pdf b/docs/manual/options.pdf index d946311abd1e2eab4d1589a9831578b1ce12004b..a534fa2af0fc5df7f0298271b8be554e871a52e0 100644 GIT binary patch delta 107 zcmbR8n03ly)`l&N%QIQc4J`}}r?1Iml!Gw0pU-4WV|R8mHFPs{b8>VtcC&DCad9|@9Pj`D delta 107 zcmbR8n03ly)`l&N%QIOm3`|Uor?1Iml!Gw0pU-4WV|O;RFflSTGcYzbG&eMHGj?+` dF>rD*H8FIyFmSSTHFvdBupy*mdPO0l3;=SM90ULW diff --git a/globals/config.ml.in b/globals/config.ml.in index 46ed097..18f2699 100644 --- 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 --- 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 . - * - * 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 -- 2.20.1