Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5538519) | patch
[mc] Remove MC_automaton_new_propositional_symbol_callback()
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 24 Jul 2015 10:28:04 +0000 (12:28 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 24 Jul 2015 10:42:45 +0000 (12:42 +0200)
commitab1a5770e72e90720fb1f2dc0901cda2573b208b
tree0951e86b6a2f3b98d6ca16853d0d5a95680f29a3tree | snapshot
parent55385199b11593e9afc79c5c42d5a302b9c26b6acommit | diff
[mc] Remove MC_automaton_new_propositional_symbol_callback()

It was defined in the simulated-process API and but it could not be
used in this context: it was to be called in the model-checker
process.

Removed a lot of boilerplate callback management stuff: replaced with
C++-style code (passing lambdas/functors).
buildtools/Cmake/DefinePackages.cmake diff | blob | history
include/simgrid/modelchecker.h diff | blob | history
include/xbt/automaton.hpp [new file with mode: 0644] blob
src/mc/mc_global.cpp diff | blob | history
src/mc/mc_server.cpp diff | blob | history
Clone of SimGrid repository with local patches