AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

author	Martin Quinson <martin.quinson@loria.fr>
	Thu, 21 Jun 2012 13:26:06 +0000 (15:26 +0200)
committer	Martin Quinson <martin.quinson@loria.fr>
	Thu, 21 Jun 2012 13:29:33 +0000 (15:29 +0200)
commit	984b8e1616cfd626c6244a34ccd42ee0b1e89bcd
tree	e67b37957df51f7a98953c81c7d2ba292ec5a97c	tree \| snapshot
parent	c67758e45a789619678921867ca40cffbd22b1c6	commit \| diff

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

27 files changed:

buildtools/Cmake/DefinePackages.cmake		diff \| blob \| history
buildtools/Cmake/MaintainerMode.cmake		diff \| blob \| history
buildtools/Cmake/MakeLib.cmake		diff \| blob \| history
examples/msg/mc/bugged1_for_liveness.c		diff \| blob \| history
examples/msg/mc/bugged1_while_liveness.c		diff \| blob \| history
examples/msg/mc/bugged2_liveness.c		diff \| blob \| history
examples/msg/mc/centralized_liveness.c		diff \| blob \| history
examples/msg/mc/centralized_liveness_deadlock.c		diff \| blob \| history
examples/msg/mc/test_snapshot.c		diff \| blob \| history
include/msg/msg.h		diff \| blob \| history
include/simgrid/modelchecker.h		diff \| blob \| history
include/xbt/automaton.h		diff \| blob \| history
include/xbt/automatonparse_promela.h	[deleted file]	blob \| history
src/include/mc/mc.h		diff \| blob \| history
src/mc/mc_global.c		diff \| blob \| history
src/mc/mc_liveness.c		diff \| blob \| history
src/mc/mc_private.h		diff \| blob \| history
src/msg/msg_global.c		diff \| blob \| history
src/xbt/automaton/automaton.c		diff \| blob \| history
src/xbt/automaton/automaton_create.c	[deleted file]	blob \| history
src/xbt/automaton/automaton_create.h	[deleted file]	blob \| history
src/xbt/automaton/automaton_lexer.yy.c	[moved from src/xbt/automaton/automaton_parse.yy.c with 75% similarity]	diff \| blob \| history
src/xbt/automaton/automatonparse_promela.c		diff \| blob \| history
src/xbt/automaton/parserPromela.lex		diff \| blob \| history
src/xbt/automaton/parserPromela.tab.cacc	[moved from src/xbt/automaton/y.tab.c with 98% similarity]	diff \| blob \| history
src/xbt/automaton/parserPromela.tab.hacc	[moved from src/xbt/automaton/y.tab.h with 83% similarity]	diff \| blob \| history
src/xbt/automaton/parserPromela.yacc		diff \| blob \| history

Clone of SimGrid repository with local patches

RSS Atom