- Try to do better pretty printing when array elements are individually
authorCoccinelle <cocci@diku.dk>
Fri, 21 Dec 2012 12:54:41 +0000 (13:54 +0100)
committerRene Rydhof Hansen <rrh@cs.aau.dk>
Fri, 21 Dec 2012 12:54:41 +0000 (13:54 +0100)
commitabad11c5570b7b9bbae5ff92b3050cf68fe3fd14
treee1e6c3c14ca7609f9f70fa67fc15c57a40fca89a
parent755320b0f64ab4fe487507104d2929cfb19dcee1
- Try to do better pretty printing when array elements are individually
  replaced
- Just fail quietly on attempt to remove a multi-variable declaration,
  allowing the semantic patch to continue.  A warning message is printed.
- Ignore unknown identifiers around known types.
- Ignore --use-glimpse if multiple directories given
- Added support for c++ namespace syntax in cocci files.
- use arg_expression for printing iterator arguments instead of expression,
  to get the right spacing.  Thanks to Lars-Peter Clausen for the fix.
- Better spacing for generated argument lists.  Thanks to Lars-Peter Clausen
  for reporting the problem.
- Collect all module interfaces for ocaml scripting in a single
  coccilib.cmi file, with the list of exposed internal modules in
  ocaml/exposed_modules.ml. This simplifies the installation of the
  ocaml version of coccilib, and allows us to specify which modules
  can be accessed by an ocaml script. The coccilib.cmi must either
  reside in $COCCI_DIR/ocaml/ or $COCCI_DIR/ocaml/coccilib/.
- Ocamlbuild-based compilation of coccinelle (experimental). In a
  cleaned repository, use the configure option --enable-ocamlbuild to
  enable it. The Makefiles will then use ocamlbuild.
- Ocamlscripts can access more of coccinelle: the file
  ocaml/exposed_modules.ml specifies which modules are accessible.
- Use arg_expression to print macro arguments.  Thanks to Lars-Peter
  Clausen for the fix.
- Remove some trailing whitespace due to unindent or added if braces.
  Thanks to Eric LeBlond for reporting one of the problems.
- Remove undesired newline after if header when body is a metavariable.
  Thanks to Eric LeBlond for reporting the problem.
- Improve macro expansion to take into account variable numbers of
  arguments
- Don't count macros or ifdefs in counting fields
- Better counting of indent size when indent contains multiple tabs
- Get the right annotation on trailing , that is after a nest.  Requires
  avoiding double processing in transformation_c.ml
- Fixed an issue where an 'Impossible' exception could be raised.
- Fixed an issue where some identifiers were incorrectly interpreted as typedef.
385 files changed:
Makefile
Makefile.am
Makefile.common
Makefile.config.in
Makefile.release
_tags [new file with mode: 0644]
bundles/extlib/Makefile
bundles/menhirLib/Makefile
bundles/menhirLib/_tags [new file with mode: 0644]
bundles/menhirLib/menhir-20120123/AUTHORS [deleted file]
bundles/menhirLib/menhir-20120123/CHANGES [deleted file]
bundles/menhirLib/menhir-20120123/INSTALLATION [deleted file]
bundles/menhirLib/menhir-20120123/LICENSE [deleted file]
bundles/menhirLib/menhir-20120123/Makefile [deleted file]
bundles/menhirLib/menhir-20120123/Makefile.arch [deleted file]
bundles/menhirLib/menhir-20120123/demos/Makefile [deleted file]
bundles/menhirLib/menhir-20120123/demos/Makefile.auto [deleted file]
bundles/menhirLib/menhir-20120123/demos/Makefile.shared [deleted file]
bundles/menhirLib/menhir-20120123/demos/OMakefile.shared [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-param/Makefile [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-param/OMakefile [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-param/OMakeroot [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-param/README [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-param/calc.ml [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-param/lexer.mll [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-param/parser.mly [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-param/tokens.mly [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-two/Makefile [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-two/OMakefile [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-two/OMakeroot [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-two/README [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-two/algebraic.mly [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-two/calc.ml [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-two/common.mly [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-two/lexer.mll [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-two/reverse.mly [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc-two/tokens.mly [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc/.omakedb [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc/.omakedb.lock [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc/Makefile [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc/OMakefile [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc/OMakefile.omc [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc/OMakeroot [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc/OMakeroot.omc [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc/README [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc/calc.ml [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc/lexer.mll [deleted file]
bundles/menhirLib/menhir-20120123/demos/calc/parser.mly [deleted file]
bundles/menhirLib/menhir-20120123/demos/ocamldep.wrapper [deleted file]
bundles/menhirLib/menhir-20120123/manual.pdf [deleted file]
bundles/menhirLib/menhir-20120123/menhir.1 [deleted file]
bundles/menhirLib/menhir-20120123/src/Fix.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/Fix.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/IL.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/IO.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/IO.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/META [deleted file]
bundles/menhirLib/menhir-20120123/src/Makefile [deleted file]
bundles/menhirLib/menhir-20120123/src/action.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/action.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/back.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/back.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/breadth.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/breadth.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/checkOCamlVersion.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/codeBackend.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/codeBackend.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/codeBits.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/codeBits.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/codePieces.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/codePieces.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/compressedBitSet.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/compressedBitSet.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/concreteSyntax.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/conflict.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/conflict.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/convert.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/convert.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/coqBackend.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/coqBackend.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/cst.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/cst.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/derivation.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/derivation.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/dot.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/dot.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/engine.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/engine.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/engineTypes.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/error.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/error.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/fancy-parser.mly [deleted file]
bundles/menhirLib/menhir-20120123/src/front.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/front.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/gMap.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/gSet.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/grammar.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/grammar.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/infer.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/infer.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/infiniteArray.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/infiniteArray.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/inliner.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/inliner.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/installation.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/interface.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/interface.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/internalSyntax.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/interpret.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/interpret.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/invariant.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/invariant.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/item.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/item.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/keyword.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/keyword.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/lexdep.mll [deleted file]
bundles/menhirLib/menhir-20120123/src/lexer.mll [deleted file]
bundles/menhirLib/menhir-20120123/src/lexmli.mll [deleted file]
bundles/menhirLib/menhir-20120123/src/lineCount.mll [deleted file]
bundles/menhirLib/menhir-20120123/src/listMonad.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/listMonad.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/lookahead.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/lr0.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/lr0.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/lr1.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/lr1.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/lr1partial.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/lr1partial.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/mark.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/mark.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/misc.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/misc.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/nonTerminalDefinitionInlining.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/nonTerminalDefinitionInlining.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/nonpositiveCycles.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/nonpositiveCycles.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/option.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/option.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/packedIntArray.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/packedIntArray.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/parameterizedGrammar.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/parameterizedGrammar.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/parameters.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/parser.mly [deleted file]
bundles/menhirLib/menhir-20120123/src/parserAux.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/parserAux.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/partialGrammar.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/partialGrammar.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/patricia.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/patricia.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/positions.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/positions.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/pprint.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/pprint.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/preFront.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/preFront.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/printer.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/printer.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/rawPrinter.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/rawPrinter.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/reachability.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/reachability.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/reductionGraphs.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/referenceInterpreter.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/referenceInterpreter.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/rowDisplacement.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/rowDisplacement.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/sentenceLexer.mll [deleted file]
bundles/menhirLib/menhir-20120123/src/sentenceParser.mly [deleted file]
bundles/menhirLib/menhir-20120123/src/settings.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/settings.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/slr.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/slr.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/standard.mly [deleted file]
bundles/menhirLib/menhir-20120123/src/stretch.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/stringMap.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/stringMap.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/stringSet.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/stringSet.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/syntax.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/tableBackend.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/tableBackend.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/tableFormat.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/tableInterpreter.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/tableInterpreter.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/tarjan.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/tarjan.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/time.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/time.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/tokenType.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/tokenType.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/traverse.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/unionFind.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/unionFind.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/unparameterizedPrinter.ml [deleted file]
bundles/menhirLib/menhir-20120123/src/unparameterizedPrinter.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/unparameterizedSyntax.mli [deleted file]
bundles/menhirLib/menhir-20120123/src/version.ml [deleted file]
bundles/menhirLib/menhirLib.mldylib [new file with mode: 0644]
bundles/menhirLib/menhirLib.mllib [new file with mode: 0644]
bundles/menhirLib/menhirLib.mlpack [new file with mode: 0644]
bundles/pcre/Makefile
bundles/pcre/_tags [new file with mode: 0644]
bundles/pcre/libpcre_stubs.clib [new file with mode: 0644]
bundles/pcre/pcre.mldylib [new file with mode: 0644]
bundles/pcre/pcre.mllib [new file with mode: 0644]
bundles/pycaml/Makefile
bundles/pycaml/_tags [new file with mode: 0644]
bundles/pycaml/elim-warnings.patch [new file with mode: 0644]
bundles/pycaml/ignoreheader.patch [new file with mode: 0644]
bundles/pycaml/libpycaml_stubs.clib [new file with mode: 0644]
bundles/pycaml/pycaml.mldylib [new file with mode: 0644]
bundles/pycaml/pycaml.mllib [new file with mode: 0644]
bundles/sexplib/Makefile
changes.txt
cocci.ml
commons/Makefile
commons/common.ml
commons/common.mli
commons/commons.mldylib [new file with mode: 0644]
commons/commons.mllib [new file with mode: 0644]
commons/ograph_simple.mli
commons/oset.ml
commons/seti.ml
configure
configure.ac
ctl/Makefile
ctl/ctl.mldylib [new file with mode: 0644]
ctl/ctl.mllib [new file with mode: 0644]
ctl/ctl_engine.ml
demos/janitorings/bad_zero.cocci
demos/janitorings/empty.iso [moved from bundles/menhirLib/menhir-20120123/src/.marker with 100% similarity]
demos/janitorings/kcalloc_un.cocci
demos/janitorings/kzalloc.cocci
demos/janitorings/list_for_each.cocci
demos/janitorings/static_initfunc.cocci
demos/janitorings/string-array-decl-opti.cocci
docs/manual/Makefile
docs/manual/main_grammar.pdf
docs/manual/manual.pdf
docs/manual/options.pdf
docs/manual/spatch_options.tex
docs/spatch.1.in
engine/Makefile
engine/asttomember.ml
engine/cocci_vs_c.ml
engine/cocci_vs_c.mli
engine/ctlcocci_integration.ml
engine/engine.mldylib [new file with mode: 0644]
engine/engine.mllib [new file with mode: 0644]
engine/obsolete/asttoctl.ml [moved from engine/asttoctl.ml with 97% similarity]
engine/obsolete/sgrep.ml [moved from engine/sgrep.ml with 81% similarity]
engine/pattern_c.ml
engine/transformation_c.ml
extra/Makefile
extra/extra.mldylib [new file with mode: 0644]
extra/extra.mllib [new file with mode: 0644]
extra/kbuild.ml
flag_cocci.ml
globals/Makefile
globals/globals.mldylib [new file with mode: 0644]
globals/globals.mllib [new file with mode: 0644]
install.txt
main.ml
myocamlbuild.ml [new file with mode: 0644]
myocamlbuild.ml.in [new file with mode: 0644]
ocaml/Makefile
ocaml/Makefile.doc
ocaml/coccilib.ml
ocaml/coccilib.mli [deleted file]
ocaml/exposed_modules.ml [new file with mode: 0644]
ocaml/html.odocl [new file with mode: 0644]
ocaml/man.odocl [new file with mode: 0644]
ocaml/ocaml.mldylib [new file with mode: 0644]
ocaml/ocaml.mllib [new file with mode: 0644]
ocaml/yes_prepare_ocamlcocci.ml
parsing_c/Makefile
parsing_c/ast_c.ml
parsing_c/comment_annotater_c.ml
parsing_c/control_flow_c_build.ml
parsing_c/cpp_analysis_c.ml
parsing_c/cpp_ast_c.ml
parsing_c/cpp_token_c.ml
parsing_c/cpp_token_c.mli
parsing_c/lexer_c.mll
parsing_c/parse_c.ml
parsing_c/parser_c.mly
parsing_c/parsing_c.mldylib [new file with mode: 0644]
parsing_c/parsing_c.mllib [new file with mode: 0644]
parsing_c/parsing_hacks.ml
parsing_c/parsing_recovery_c.ml
parsing_c/pretty_print_c.ml
parsing_c/token_annot.ml [new file with mode: 0644]
parsing_c/token_annot.mli [new file with mode: 0644]
parsing_c/token_views_c.ml
parsing_c/type_annoter_c.ml
parsing_c/type_c.ml
parsing_c/unparse_c.ml
parsing_c/unparse_cocci.ml
parsing_c/unparse_hrule.ml
parsing_c/visitor_c.ml
parsing_cocci/Makefile
parsing_cocci/adjacency.ml
parsing_cocci/adjust_pragmas.ml
parsing_cocci/arity.ml
parsing_cocci/ast0_cocci.ml
parsing_cocci/ast0_cocci.mli
parsing_cocci/ast0toast.ml
parsing_cocci/commas_on_lists.ml [new file with mode: 0644]
parsing_cocci/commas_on_lists.mli [new file with mode: 0644]
parsing_cocci/compute_lines.ml
parsing_cocci/context_neg.ml
parsing_cocci/insert_plus.ml
parsing_cocci/iso_compile.ml
parsing_cocci/iso_pattern.ml
parsing_cocci/lexer_cocci.ml
parsing_cocci/lexer_cocci.mll
parsing_cocci/lexer_script.ml
parsing_cocci/parse_aux.ml
parsing_cocci/parse_cocci.ml
parsing_cocci/parser_cocci_menhir.ml
parsing_cocci/parser_cocci_menhir.mli
parsing_cocci/parser_cocci_menhir.mly
parsing_cocci/parsing_cocci.mldylib [new file with mode: 0644]
parsing_cocci/parsing_cocci.mllib [new file with mode: 0644]
parsing_cocci/simple_assignments.ml
parsing_cocci/single_statement.ml
parsing_cocci/unparse_ast0.ml
popl/Makefile
popl09/Makefile
popl09/popl09.mldylib [new file with mode: 0644]
popl09/popl09.mllib [new file with mode: 0644]
python/Makefile
python/coccipython.a [new file with mode: 0644]
python/coccipython.cmxa [new file with mode: 0644]
python/python.mldylib [new file with mode: 0644]
python/python.mllib [new file with mode: 0644]
release.nix
setup/Makefile.am [new file with mode: 0644]
setup/Makefile.in [new file with mode: 0644]
setup/fake-subst.sh
setup/install-sh
setup/log_ocamlfind.sh [new file with mode: 0644]
setup/missing [new file with mode: 0755]
setup/pkg.m4 [new file with mode: 0644]
setup/replies.txt
setup/wrapper-menhir.sh [new file with mode: 0755]
setup/wrapper-ocamlcp.sh
setup/wrapper-ocamlyacc.sh [new file with mode: 0644]
standard.h
test.ml [deleted file]
testing.ml
tests/SCORE_expected.sexp
tests/SCORE_expected_orig.sexp
tests/addfield.c
tests/addfield.res
tests/befS.c
tests/befS.res
tests/dropbr.c [new file with mode: 0644]
tests/dropbr.cocci [new file with mode: 0644]
tests/dropbr.res [new file with mode: 0644]
tests/fieldcount.c [new file with mode: 0644]
tests/fieldcount.cocci [new file with mode: 0644]
tests/inner.c [new file with mode: 0644]
tests/inner.cocci [new file with mode: 0644]
tests/inner2.c [new file with mode: 0644]
tests/inner2.cocci [new file with mode: 0644]
tests/iterprint.c [new file with mode: 0644]
tests/iterprint.cocci [new file with mode: 0644]
tests/iterprint.res [new file with mode: 0644]
tests/retest.c [new file with mode: 0644]
tests/retest.cocci [new file with mode: 0644]
tests/retest.res [new file with mode: 0644]
tests/unl.c [new file with mode: 0644]
tests/unl.cocci [new file with mode: 0644]
tests/unl.res [new file with mode: 0644]
tests/wierdinit.c
tools/Makefile
tools/all.itarget [new file with mode: 0644]
tools/all.opt.itarget [new file with mode: 0644]
tools/cstripenv.ml [new file with mode: 0644]
tools/obsolete/generate_dependencies.ml [moved from tools/generate_dependencies.ml with 71% similarity]
version
version.ml [new file with mode: 0644]