Various cleanups to the model-checking user interface - hide the automaton used to represent the property within MC - move from yacc to bison so that I can choose the output name - Hide a bunch of private functions used to parse the automaton from file (more to come) Hopefully, I didn't break too much stuff on my way
Keep tabs in generated files.
sed -i -e 's/\t/ /g' *.[ch] Please people, stop using tabs in your source
model-checker : lex and yacc parsing moved in src/xbt/automaton/