AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2013-03-16	Marion Guthmuller	model-checker : update msg chord example for the verificatio...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : fix tesh (different local deployment...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : fix dpor	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : fix compilation error without MC	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	update tesh	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : update tesh	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : code refactoring for heap comparison...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : add state equality reduction in ddfs...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : get current backtrace with libunwind...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : code refactoring	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : ignore mc_time for heap comparison...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : improve debug message	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : new model-checker configuration model...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : return state number if the current...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : fix MC_RANDOM simcall	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : remove obsolete example	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : set ignore flag to 0 if reallocation	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : minor changes for debug information...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : check if fragment or block has been...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : remove local variable only if frame...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : remove static function	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : cosmetics	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : get hash of local and global variables...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : ignore running context of processes...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : use short instead of int for ignore...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : init ignore information for each block...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : remove commentated declaration of function...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : remove variable from mc_local_variables...	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : fix memory leak	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : cosmetics	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : cleanups in mc_snapshot structure	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : new simcall MC_RANDOM	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : fix memory leak	commit \| commitdiff \| tree
2013-03-16	Marion Guthmuller	model-checker : get instruction pointer and frame name...	commit \| commitdiff \| tree
2013-02-06	Marion Guthmuller	model-checker : fix insertion in mc_heap_comparison_ignore	commit \| commitdiff \| tree
2013-02-01	Marion Guthmuller	model-checker : remove var in list of global variables...	commit \| commitdiff \| tree
2013-02-01	Marion Guthmuller	model-checker : fix index of dynar in get_location	commit \| commitdiff \| tree
2013-01-31	Marion Guthmuller	model-checker : update tesh bugged1_liveness and chord_neverjoin	commit \| commitdiff \| tree
2013-01-31	Marion Guthmuller	model-checker : remove trigger for state equality detection	commit \| commitdiff \| tree
2013-01-31	Marion Guthmuller	model-checker : debug message if log enabled	commit \| commitdiff \| tree
2013-01-31	Marion Guthmuller	model-checker : variable used ifdef MC_VERBOSE	commit \| commitdiff \| tree
2013-01-31	Marion Guthmuller	model-checker : start heap comparison from local variables	commit \| commitdiff \| tree
2013-01-31	Marion Guthmuller	model-checker : fix get_local_variables	commit \| commitdiff \| tree
2013-01-31	Marion Guthmuller	model-checker : get bytes used in std_heap instead...	commit \| commitdiff \| tree
2013-01-31	Marion Guthmuller	model-checker : remove unnecessary variable	commit \| commitdiff \| tree
2013-01-28	Marion Guthmuller	unnecessary loop for the reset of the simcall args	commit \| commitdiff \| tree
2013-01-28	Marion Guthmuller	model-checker : don't need to reset the result of simcal...	commit \| commitdiff \| tree
2013-01-28	Marion Guthmuller	model-checker : reset args and result of simcalls in...	commit \| commitdiff \| tree
2013-01-25	Marion Guthmuller	model-checker : need to switch between raw heap and...	commit \| commitdiff \| tree
2013-01-25	Marion Guthmuller	model-checker : move function from mc_global in mm_module...	commit \| commitdiff \| tree
2013-01-25	Marion Guthmuller	model-checker : compare directly local variables found...	commit \| commitdiff \| tree
2013-01-25	Marion Guthmuller	model-checker : start canonicalizatipn in heap comparison...	commit \| commitdiff \| tree
2013-01-25	Marion Guthmuller	model-checker : cleanups for heap comparison from global...	commit \| commitdiff \| tree
2013-01-25	Marion Guthmuller	model-checker : stop heap comparison when the first...	commit \| commitdiff \| tree
2013-01-16	Marion Guthmuller	model-checker : update bugged1 tesh	commit \| commitdiff \| tree
2013-01-16	Marion Guthmuller	model-checker : apply independance reduction at each...	commit \| commitdiff \| tree
2013-01-16	Marion Guthmuller	model-checker : update bugged1 tesh	commit \| commitdiff \| tree
2013-01-16	Marion Guthmuller	model-checker : minor fix in dpor algorithm	commit \| commitdiff \| tree
2013-01-14	Marion Guthmuller	model-checker : use a global timer for snapshot comparison...	commit \| commitdiff \| tree
2013-01-14	Marion Guthmuller	model-checker : add nb_processes in snapshot	commit \| commitdiff \| tree
2013-01-11	Marion Guthmuller	model-checker : free memory	commit \| commitdiff \| tree
2013-01-11	Marion Guthmuller	model-checker : add chunks used into snapshot structure...	commit \| commitdiff \| tree
2013-01-11	Marion Guthmuller	model-checker : free memory	commit \| commitdiff \| tree
2013-01-10	Marion Guthmuller	model-checker : update mmalloc tesh	commit \| commitdiff \| tree
2013-01-10	Marion Guthmuller	model-checker : update tesh	commit \| commitdiff \| tree
2013-01-10	Marion Guthmuller	model-checker : fix memory free	commit \| commitdiff \| tree
2013-01-10	Marion Guthmuller	model-checker : free memory for stacks comparison	commit \| commitdiff \| tree
2013-01-10	Marion Guthmuller	model-checker : disable use of system malloc for raw_heap	commit \| commitdiff \| tree
2013-01-10	Marion Guthmuller	model-checker : some cleanup in mmalloc_compare_heap...	commit \| commitdiff \| tree
2013-01-07	Marion Guthmuller	model-checker : comment backtrace and add ignore mechanism...	commit \| commitdiff \| tree
2013-01-03	Marion Guthmuller	model-checker : fix dichotomic search and insertion...	commit \| commitdiff \| tree
2013-01-03	Marion Guthmuller	model-checker : update list of visited states during...	commit \| commitdiff \| tree
2013-01-02	Marion Guthmuller	model-checker : use xbt_abort after exhaustive exploration	commit \| commitdiff \| tree
2013-01-02	Marion Guthmuller	model-checker : ignore some local variables from simix...	commit \| commitdiff \| tree
2013-01-02	Marion Guthmuller	model-checker : fix sorting of visited states and state...	commit \| commitdiff \| tree
2013-01-01	Marion Guthmuller	model-checker : sorting of visited states according...	commit \| commitdiff \| tree
2013-01-01	Marion Guthmuller	model-checker : update bugged1 tesh	commit \| commitdiff \| tree
2012-12-26	Marion Guthmuller	model-checker : update chord_neverjoin tesh	commit \| commitdiff \| tree
2012-12-26	Marion Guthmuller	model-checker : don't ignore simcall result in system...	commit \| commitdiff \| tree
2012-12-25	Marion Guthmuller	model-checker : stats XP of model checking on chord...	commit \| commitdiff \| tree
2012-12-20	Marion Guthmuller	model-checker : fix MC_take_snapshot if malloc used...	commit \| commitdiff \| tree
2012-12-20	Marion Guthmuller	model-checker : fix dpor with state equality reduction	commit \| commitdiff \| tree
2012-12-20	Marion Guthmuller	model-checker : if frame name is empty, stop stack...	commit \| commitdiff \| tree
2012-12-20	Marion Guthmuller	model-checker : remove restriction of DPOR if several...	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	model-checker : remove tesh bugged2 (too long with...	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	model-checker : update tesh bugged1 with the new version...	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	model-checker : interleave all enabled processes for...	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	model-checker : cosmectics	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	Remove comm from src_proc->comms and dst_proc->comms...	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	remove comm from rdv if comm destroyed before being...	commit \| commitdiff \| tree
2012-12-11	Marion Guthmuller	model-checker : update tesh bugged1_liveness	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : update tesh bugged1 and bugged2	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : forget one fix in MC_state_set_executed_request	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : fix dpor algorithm if max depth reached	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : restore previous version of MC_state_set_exe...	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : remove independance between iSend/iRecv...	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : one region in snapshot for data and...	commit \| commitdiff \| tree
2012-12-06	Marion Guthmuller	model-checker : liveness model-checking works only...	commit \| commitdiff \| tree
2012-12-06	Marion Guthmuller	model-checker : improve debug message if different...	commit \| commitdiff \| tree
2012-12-06	Marion Guthmuller	model-checker : ignore global variables corresponding...	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom