Filewatcher File Search File Search
Catalog
Content Search
» » » »

coccinelle_1.0.0~rc12.deb.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:coccinelle_1.0.0~rc12.deb.orig.tar.gz

/coccinelle-1.0.0-rc12/commons/readme.txt

This directory builds a common.cma library and also optionally
multiple commons_xxx.cma small libraries. The reason not to just build
a single one is that some functionnalities require external libraries
(like Berkeley DB, MPI, etc) or special version of OCaml (like for the
backtrace support) and I don't want to penalize the user by forcing
him to install all those libs before being able to use s
more»

/coccinelle-1.0.0-rc12/demos/demo_rule9/README

1. Motivate in some way the changes that need to be made.

2. Show the semantic patch in rule9_1.cocci.  This could also be developed
   incrementally, with first the lines for get and put, then the line for
   the error checking on hostptr, then the - and + line for moving the
   declaration of hostptr to the parameter list.  Finally, drop the hostno
   parameter.  Explain the metavariables.  Not
more»

/coccinelle-1.0.0-rc12/demos/sgrep/README

These are what appear to be the most recent versions of the scripts used in
the PASTE submission.  "run" is an example of how to run them, specialized
for the intr example.

/coccinelle-1.0.0-rc12/editors/vim/README

README for cocci-syntax
=======================

Syntax highlighting for Coccinelle's cocci files fo
more»

/coccinelle-1.0.0-rc12/parsing_cocci/README

Workflow:

main.ml: an entry point to be used in place of the cocci top level, to
check only the par
more»

/coccinelle-1.0.0-rc12/readme.txt

                            Coccinelle 


Coccinelle allows programmers to easily write some complex
more»

/coccinelle-1.0.0-rc12/scripts/coccicheck/README

		Coccicheck version 0.2.4

 -*- Usage -*-

 1) ./configure mode <your project directory>
 	This wi
more»

/coccinelle-1.0.0-rc12/scripts/readme.pl

# Copyright 2012, INRIA
# Julia Lawall, Gilles Muller
# Copyright 2010-2011, INRIA, University of Co
more»

Browse inside coccinelle_1.0.0~rc12.deb.orig.tar.gz

         [DIR]coccinelle-1.0.0-rc12/ (51)

Download coccinelle_1.0.0~rc12.deb.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com