src/xbt/mmalloc/test/mmalloc_test.c
src/xbt/datadesc/ddt_parse.yy.l
src/xbt/datadesc/ddt_parse.yy.h
- src/xbt/automaton/y.tab.c
- src/xbt/automaton/y.tab.h
- src/xbt/automaton/automaton_parse.yy.c
+ src/xbt/automaton/parserPromela.tab.cacc
+ src/xbt/automaton/parserPromela.tab.hacc
+ src/xbt/automaton/automaton_lexer.yy.c
src/xbt/automaton/parserPromela.lex
src/xbt/automaton/parserPromela.yacc
src/surf/maxmin_private.h
src/xbt/lib.c
src/xbt/automaton/automatonparse_promela.c
src/xbt/automaton/automaton.c
- src/xbt/automaton/automaton_create.c
- src/xbt/automaton/automaton_create.h
src/xbt/datadesc/ddt_create.c
src/xbt/datadesc/ddt_convert.c
src/xbt/datadesc/ddt_exchange.c