- Committer: Michele Martone
- Date: 2023-11-17 17:07:21 UTC
- Revision ID: git-v1:156401875e38060728a82cc90dde978126a72948
C parser to cover using namespace id
Signed-off-by: Michele Martone <michelemartone@users.sourceforge.net>
Signed-off-by: Michele Martone <michelemartone@users.sourceforge.net>
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
tests
|
17 | 18 years ago | Julia Lawall | *** empty log message *** svn path=/coccinelle/; |
|
||
#parser_cocci_menhir.conflicts# |
5172 | 2 years ago | Julia Lawall | Added `new (type) (initializer)` and branched all_ | 45.2 KB |
|
|
|
.gitignore |
3386 | 13 years ago | Nicolas Palix | Add .gitignore files, exclude .depend from tarball | 78 bytes |
|
|
|
adjacency.ml |
5464 | 1 year ago | LAWALL Julia | redo adjacency to put a special marker at the end, | 3.4 KB |
|
|
|
adjacency.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 291 bytes |
|
|
|
adjust_pragmas.ml |
5584 | 1 year ago | Julia Lawall | ]] cannot be a single token, because it could be t | 16.5 KB |
|
|
|
adjust_pragmas.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 281 bytes |
|
|
|
arity.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 56.2 KB |
|
|
|
arity.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 285 bytes |
|
|
|
ast0_cocci.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 33.9 KB |
|
|
|
ast0_cocci.mli |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 28.8 KB |
|
|
|
ast0toast.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 51.6 KB |
|
|
|
ast0toast.mli |
4992 | 3 years ago | Julia Lawall | parsing_cocci: ast0: Make Attibute in SmPL's AST m | 2.3 KB |
|
|
|
ast_cocci.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 56.4 KB |
|
|
|
ast_cocci.mli |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 38.3 KB |
|
|
|
check_meta.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 31.8 KB |
|
|
|
check_meta.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 472 bytes |
|
|
|
cleanup_rules.ml |
5545 | 1 year ago | LAWALL Julia | completing pragma metavariables | 7.7 KB |
|
|
|
cleanup_rules.mli |
4624 | 6 years ago | Julia Lawall | clean up semantic patch code dependent on undefine | 364 bytes |
|
|
|
cocci_args.ml |
5434 | 1 year ago | LAWALL Julia | when using testall or test-spacing, the cocci file | 4.2 KB |
|
|
|
cocci_args.mli |
4831.1.4 | 4 years ago | cdesouza | args: simplification and separation of each sub cl | 240 bytes |
|
|
|
cocci_grep.ml |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 3.8 KB |
|
|
|
cocci_grep.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 376 bytes |
|
|
|
comm_assoc.ml |
4703 | 6 years ago | Julia Lawall | allow comm assoc as long as op is context, don't n | 2.4 KB |
|
|
|
comm_assoc.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 354 bytes |
|
|
|
command_line.ml |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 4.3 KB |
|
|
|
command_line.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 278 bytes |
|
|
|
commas_on_lists.ml |
5178 | 2 years ago | LAWALL Julia | * 49faa610 - fixed pretty_print_c.mly - Tathagata | 2.4 KB |
|
|
|
commas_on_lists.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 281 bytes |
|
|
|
compute_lines.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 59.8 KB |
|
|
|
compute_lines.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 514 bytes |
|
|
|
context_neg.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 58.5 KB |
|
|
|
context_neg.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 521 bytes |
|
|
|
data.ml |
5543 | 1 year ago | LAWALL Julia | starting MetaPragmaInfo, incomplete | 7.9 KB |
|
|
|
data.mli |
5543 | 1 year ago | LAWALL Julia | starting MetaPragmaInfo, incomplete | 5.6 KB |
|
|
|
disjdistr.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 23.1 KB |
|
|
|
disjdistr.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 318 bytes |
|
|
|
dpll.ml |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 2.8 KB |
|
|
|
dpll.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 284 bytes |
|
|
|
flag_parsing_cocci.ml |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 942 bytes |
|
|
|
flag_parsing_cocci.mli |
4542.2.6 | 7 years ago | Thierry Martinez | Missing mli files | 333 bytes |
|
|
|
free_vars.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 51.1 KB |
|
|
|
free_vars.mli |
5053 | 3 years ago | Julia Lawall | take into account metavariables found in type cons | 1 KB |
|
|
|
function_prototypes.ml |
5584 | 1 year ago | Julia Lawall | ]] cannot be a single token, because it could be t | 19.6 KB |
|
|
|
function_prototypes.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 484 bytes |
|
|
|
get_constants.ml |
5312 | 1 year ago | LAWALL Julia | temporary version, not woking | 11.2 KB |
|
|
|
get_constants.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 292 bytes |
|
|
|
get_constants2.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 30.4 KB |
|
|
|
get_constants2.mli |
4612.2.1 | 6 years ago | Julia Lawall | make token output correspond better to what is ask | 983 bytes |
|
|
|
get_metas.ml |
5202 | 2 years ago | LAWALL Julia | add support for @D on expressions Wrap up the @D | 5.6 KB |
|
|
|
get_metas.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 348 bytes |
|
|
|
git_grep.ml |
4653.1.21 | 6 years ago | Julia Lawall | more informative not possible | 781 bytes |
|
|
|
git_grep.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 302 bytes |
|
|
|
id_utils.ml |
4590 | 7 years ago | Thierry Martinez | Use Stdcompat Restore compatibility with OCaml 3. | 2.2 KB |
|
|
|
id_utils.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 310 bytes |
|
|
|
index.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 8.9 KB |
|
|
|
index.mli |
4992 | 3 years ago | Julia Lawall | parsing_cocci: ast0: Make Attibute in SmPL's AST m | 1.7 KB |
|
|
|
insert_plus.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 46.4 KB |
|
|
|
insert_plus.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 331 bytes |
|
|
|
iso_compile.ml |
4992 | 3 years ago | Julia Lawall | parsing_cocci: ast0: Make Attibute in SmPL's AST m | 4.5 KB |
|
|
|
iso_compile.mli |
4493 | 7 years ago | julia | typo | 278 bytes |
|
|
|
iso_pattern.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 117 KB |
|
|
|
iso_pattern.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 571 bytes |
|
|
|
lexer_cli.mli |
4542.2.6 | 7 years ago | Thierry Martinez | Missing mli files | 306 bytes |
|
|
|
lexer_cli.mll |
4161.1.5 | 9 years ago | Sébastien Hinderer | Add GPL header to all the files in Coccinelle. | 977 bytes |
|
|
|
lexer_cocci.mli |
4542.2.37 | 7 years ago | julia | clean up a bit the usage of hash tables, especiall | 2.4 KB |
|
|
|
lexer_cocci.mll |
5608 | 1 year ago | Michele Martone | typo fix from last commit on TAndLog | 51.4 KB |
|
|
|
lexer_script.mli |
4542.2.16 | 7 years ago | Thierry Martinez | Fix for OCaml 4.01 | 486 bytes |
|
|
|
lexer_script.mll |
5274 | 2 years ago | Julia Lawall | improve line numbers when there is a string with n | 2.1 KB |
|
|
|
main.ml |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 866 bytes |
|
|
|
Makefile |
4542.2.17 | 7 years ago | Thierry Martinez | Support for compiling single library | 51 bytes |
|
|
|
menhir_output |
5172 | 2 years ago | Julia Lawall | Added `new (type) (initializer)` and branched all_ | 86 bytes |
|
|
|
merge.ml |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 6.5 KB |
|
|
|
merge.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 389 bytes |
|
|
|
parse_aux.ml |
5605 | 1 year ago | Michele Martone | make_ctype_and_ptr: revert declaration, removing n | 31.6 KB |
|
|
|
parse_aux.mli |
5604 | 1 year ago | Michele Martone | change representation of TMul token Signed-off-by | 13.7 KB |
|
|
|
parse_cocci.ml |
5607 | 1 year ago | Michele Martone | change representation of TAndLog token Signed-off | 110 KB |
|
|
|
parse_cocci.mli |
4635 | 6 years ago | Julia Lawall | compile scripts, even if currently under a false d | 1.5 KB |
|
|
|
parse_printf.ml |
4596 | 7 years ago | Julia Lawall | avoid an ocaml warning | 3.1 KB |
|
|
|
parse_printf.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 310 bytes |
|
|
|
parser_cocci_menhir.mly |
5609 | 1 year ago | Michele Martone | coccinelle-side support for rvalue references, par | 144 KB |
|
|
patch_diff.ml |
5063 | 3 years ago | Julia Lawall | avoid using new function split_on_char | 3.7 KB |
|
|
|
patch_diff.mli |
5061 | 3 years ago | LAWALL Julia | --use-diff and --use-patch-diff range --use-diff | 219 bytes |
|
|
|
plus.ml |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 7.3 KB |
|
|
|
plus.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 331 bytes |
|
|
|
pretty_print_cocci.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 52 KB |
|
|
|
pretty_print_cocci.mli |
5237 | 2 years ago | LAWALL Julia | enhance error reporting with expr and line number | 1.9 KB |
|
|
|
re_constraints.ml |
5545 | 1 year ago | LAWALL Julia | completing pragma metavariables | 5.5 KB |
|
|
|
re_constraints.mli |
4533 | 7 years ago | julia | allow removal of bef on decl, field in multidecl c | 64 bytes |
|
|
|
README |
61 | 18 years ago | Julia Lawall | *** empty log message *** svn path=/coccinelle/; | 705 bytes |
|
|
|
safe_for_multi_decls.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 7.4 KB |
|
|
|
safe_for_multi_decls.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 340 bytes |
|
|
|
semantic_cocci.ml |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 261 bytes |
|
|
|
semantic_cocci.mli |
4542.2.6 | 7 years ago | Thierry Martinez | Missing mli files | 29 bytes |
|
|
|
simple_assignments.ml |
4460.2.7 | 7 years ago | Thierry Martinez | Bitfield annotation on expression meta-variables | 3.7 KB |
|
|
|
simple_assignments.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 292 bytes |
|
|
|
single_statement.ml |
5584 | 1 year ago | Julia Lawall | ]] cannot be a single token, because it could be t | 28.6 KB |
|
|
|
single_statement.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 290 bytes |
|
|
|
stmtlist.ml |
5545 | 1 year ago | LAWALL Julia | completing pragma metavariables | 2.3 KB |
|
|
|
stmtlist.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 280 bytes |
|
|
|
test.cocci |
4493 | 7 years ago | julia | typo | 997 bytes |
|
|
|
test2.cocci |
4493 | 7 years ago | julia | typo | 853 bytes |
|
|
|
test_exps.ml |
5270 | 2 years ago | Julia Lawall | done with ForRange for C++ | 3.1 KB |
|
|
|
test_exps.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 348 bytes |
|
|
|
top_level.ml |
5047 | 3 years ago | Julia Lawall | Add support for attributes just before { in functi | 2.8 KB |
|
|
|
top_level.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 370 bytes |
|
|
|
type_cocci.mli |
4862 | 4 years ago | Julia Lawall | Add parentypes to SmPL This allows the SmPL and C | 1.6 KB |
|
|
|
type_infer.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 19.1 KB |
|
|
|
type_infer.mli |
4493 | 7 years ago | julia | typo | 273 bytes |
|
|
|
unify_ast.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 33.6 KB |
|
|
|
unify_ast.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 801 bytes |
|
|
|
unitary_ast0.ml |
4992 | 3 years ago | Julia Lawall | parsing_cocci: ast0: Make Attibute in SmPL's AST m | 13.4 KB |
|
|
|
unitary_ast0.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 635 bytes |
|
|
|
unparse_ast0.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 36.4 KB |
|
|
|
unparse_ast0.mli |
4424.1.12 | 8 years ago | Julia Lawall | fixed som spelling errors | 981 bytes |
|
|
|
visitor_ast.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 81.8 KB |
|
|
|
visitor_ast.mli |
5545 | 1 year ago | LAWALL Julia | completing pragma metavariables | 7.7 KB |
|
|
|
visitor_ast0.ml |
5595 | 1 year ago | Julia Lawall | drop ForRangeInit, since we can use init in all ca | 85.6 KB |
|
|
|
visitor_ast0.mli |
4992 | 3 years ago | Julia Lawall | parsing_cocci: ast0: Make Attibute in SmPL's AST m | 5.8 KB |
|
|
|
visitor_ast0_types.ml |
4992 | 3 years ago | Julia Lawall | parsing_cocci: ast0: Make Attibute in SmPL's AST m | 13.2 KB |
|
|
|
visitor_ast0_types.mli |
4992 | 3 years ago | Julia Lawall | parsing_cocci: ast0: Make Attibute in SmPL's AST m | 13.9 KB |
|
|