Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7792ce4) | patch
mc_api::automaton_propositional_symbol_evaluate() is used in LivenessChecker::get_pro...
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Fri, 4 Dec 2020 15:00:41 +0000 (16:00 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Fri, 4 Dec 2020 15:00:41 +0000 (16:00 +0100)
commitdfdbedb6bc317da371c783da6ab207dacd90d14e
tree858eb0d15c1eab36ef93ae01774130497bf2a075tree | snapshot
parent7792ce44dc2744211836680af4775a35a823b242commit | diff
mc_api::automaton_propositional_symbol_evaluate() is used in LivenessChecker::get_proposition_values()
src/mc/checker/LivenessChecker.cpp diff | blob | history
src/mc/mc_api.cpp diff | blob | history
src/mc/mc_api.hpp diff | blob | history
Clone of SimGrid repository with local patches