AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2016-04-13	Gabriel Corona	[mc] Remove mc_stats and move remaining stats in ModelChecke...	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Remove mc_stats.state_size (not used)	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Move mc_stats.expanded_states into the Checkers	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Remove orphaned declarations	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	Remove useless #includes	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Livenesschecker, make private stuff private	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Move liveness stats out of mc_stats into LivenessChecker	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Delegate some part of Session::logState() to Checker...	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Move MC_print_statistics() as Session::logState()	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Remove old dual-stack-related comment	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Use Session::execute() in LivenessChecker as well	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Remove useless model-checker/model-checked round...	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] Add methods to Session	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	[mc] s/getRecordElement/getTransition/	commit \| commitdiff \| tree
2016-04-13	Gabriel Corona	simgrid::config::flag, a more declarative way to describe...	commit \| commitdiff \| tree
2016-04-11	Gabriel Corona	[mc] Rename RecordTraceElement as Transition and use...	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Remove the ugly is_in_vector() hack	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Move resolve_process...() as methods of Process	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Remove old commented-out code	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Remove useless MC_MODE_CLIENT paths	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Mark some remote pointers as such	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Misc. comments	commit \| commitdiff \| tree
2016-04-08	Gabriel Corona	[mc] Mark xbt::string as a hack	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Remove orphaned declaration	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Sort out FIXMEs and TODOs	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Debatably better documentation of State	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] s/value/req_num/ because 'value' does not convey...	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Remove the client-side processing in simgrid:...	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Get rid of the ugly "value" out parameter in MC_state_g...	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Remove MC_state_get_internal_request()	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Remove MC_state_get_executed_request()	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Add Factor some gorry code to State::getRecordElement()	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Simplify/unify the interleeaving/exploration logic	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Get rid of MC_state_set_executed_request() in...	commit \| commitdiff \| tree
2016-04-07	Gabriel Corona	[mc] Document/cleanup State	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Remove MC_state_remove_interleave_process() (not...	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Use nullptr consistently in C++ code	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Fix #includes	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Use std::vector for PatternCommunicationList	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Use std::vector for State::incomplete_comm_pattern...	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Add PatternCommunication::dup()	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Rename the communication pattern types	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Get rid of MC_list_comm_pattern_free()	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Get rid of MC_comm_pattern_free()	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Remove always disabled code	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Remove duplicate init in State	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Fix #includes	commit \| commitdiff \| tree
2016-04-06	Gabriel Corona	[mc] Remove the declaration of a function which has...	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Use std::string for request_get_dot_output() and...	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Use std::string in simgrid::mc::request_to_string	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Don't copy or move states (yet)	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Use RAII std::vector for s_mc_comm_pattern::data	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Use RAII std::string for s_mc_comm_pattern::rdv	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Constructor/destructor for s_mc_comm_pattern	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] C++ification of State	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Remove MC_state_delete()	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Avoid useless stuff when logging is disabled in...	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Create SafetyChecker::backtrack() method	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Move visitedState as a field of SafetyChecker	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Remove user_max_depth which back up MC_cut() for now	commit \| commitdiff \| tree
2016-04-05	Gabriel Corona	[mc] Rename a checkNonDeterminism() to checkNonTermination()	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Make Checker implementation private	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Fix #includes	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Fix warnings	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Use std::unique_ptr for States	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Get rid of the global simgrid::mc::visited_states...	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Move VisitedState stuffs in their own .c file	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Reindent is_visited_state()	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Rename SafetyChecker::is_exploration_stack_state...	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Move the stack as field of SafetyChecker and CommDetChecker	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Use std::list instead of xbt_fifo for mc_stack	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Different/private mc_stack variables for SafetyChecker...	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	[mc] Use shared_ptr for liveness propositions	commit \| commitdiff \| tree
2016-04-04	Gabriel Corona	Fix #includes to automaton.h	commit \| commitdiff \| tree
2016-04-01	Gabriel Corona	[mc] Rename livenessStack to explorationStack	commit \| commitdiff \| tree
2016-04-01	Gabriel Corona	[mc] Factor out Livenesschecker::newPair()	commit \| commitdiff \| tree
2016-04-01	Gabriel Corona	[mc] Remove some control flow nesting in LivenessChecker...	commit \| commitdiff \| tree
2016-04-01	Gabriel Corona	[mc] Create LivenessChecker::backtrack()	commit \| commitdiff \| tree
2016-04-01	Gabriel Corona	[mc] Only #include LivenessChecker.hpp in LivenessChecker.cpp	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Fix some XBT_DEBUG	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Remove useless comment	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Add LivenessChecker::purgeVisitedPairs() method	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Simplify MC_automaton_evaluate_label()	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Use shared_ptr for Pair	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Restrict the scope of local variables in LivenessChecker	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Slay some nested-if-statements-from-hell	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Remove VisitedPair::acceptance_pair	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Type some boolean variable as such	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Remove the _sg_mc_liveness flag	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Use the symbolic values for the xbt_automaton_exp_label...	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] No more global variables	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Use std::vector for liveness {Pair,VisitedPair...	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Move global variables as fields of LivenessChecker	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Use std::shared_ptr for VisitedPair in LivenessChecker	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Use std::list for LivenessChecker::visited_pairs	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Move visited_pairs as a static field of LivenessChecker	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Use std::shared_ptr for State in LivenessChecker	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Use std::list for LivenessChecker::acceptance_pairs	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Use std::list instead of xbt_fifo for the stack...	commit \| commitdiff \| tree
2016-03-30	Gabriel Corona	[mc] Fix #includes in LivenessChecker	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom