Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cleanups
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 19 Mar 2013 12:41:22 +0000 (13:41 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 19 Mar 2013 15:26:23 +0000 (16:26 +0100)
commit3a54b6d1aef3110883b46f912b3a4eeb5c9fb087
tree4119c166bfc257542483fa6205607fed14ebf163
parent736185da44c7c9e4242f4cb34cea10c9f51ae3a2
model-checker : cleanups

- remove (a part of) redundant code
- rename structs and variables
- update headers
17 files changed:
buildtools/Cmake/DefinePackages.cmake
include/xbt/automaton.h
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_memory.c
src/mc/mc_pair.c [new file with mode: 0644]
src/mc/mc_private.h
src/mc/mc_request.c
src/mc/mc_state.c
src/mc/memory_map.c
src/xbt/automaton/automaton.c
src/xbt/automaton/automatonparse_promela.c
src/xbt/automaton/parserPromela.tab.hacc
src/xbt/automaton/parserPromela.yacc