AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2013-05-31	Marion Guthmuller	model-checker : simplify algorithm for the verification...	commit \| commitdiff \| tree
2013-05-30	Marion Guthmuller	model-checker : take snapshot of memory segments during...	commit \| commitdiff \| tree
2013-05-28	Marion Guthmuller	model-checker : use only structure (mc_pair_t) for...	commit \| commitdiff \| tree
2013-05-28	Marion Guthmuller	model-checker : free memory	commit \| commitdiff \| tree
2013-05-28	Marion Guthmuller	model-checker : add global variable in bugged1_liveness...	commit \| commitdiff \| tree
2013-04-29	Marion Guthmuller	model-checker : cleanups in tesh examples	commit \| commitdiff \| tree
2013-04-10	Marion Guthmuller	model-checker : update tesh for jenkins (memory management...	commit \| commitdiff \| tree
2013-04-03	Marion Guthmuller	model-checker : new examples (with tesh) for verification...	commit \| commitdiff \| tree
2013-04-03	Marion Guthmuller	model-checker : display address of communication in...	commit \| commitdiff \| tree
2013-04-03	Marion Guthmuller	model-checker : iSend/iRecv independent with Wait but...	commit \| commitdiff \| tree
2013-04-02	Marion Guthmuller	model-checker : state at max depth may have none interleaved...	commit \| commitdiff \| tree
2013-04-02	Marion Guthmuller	model-checker : update tesh	commit \| commitdiff \| tree
2013-04-02	Marion Guthmuller	model-checker : signed int instead of unsigned int	commit \| commitdiff \| tree
2013-04-02	Marion Guthmuller	model-checker : update tesh (different log messages)	commit \| commitdiff \| tree
2013-04-02	Marion Guthmuller	model-checker : create dot_output file after MC_do_the_model...	commit \| commitdiff \| tree
2013-04-01	Marion Guthmuller	model-checker : restore independence between iSend...	commit \| commitdiff \| tree
2013-04-01	Marion Guthmuller	model-checker : update state equality detection	commit \| commitdiff \| tree
2013-03-27	Marion Guthmuller	model-checker : add example (electric_fence) to check...	commit \| commitdiff \| tree
2013-03-25	Marion Guthmuller	model-checker : variable declaration deleted with a...	commit \| commitdiff \| tree
2013-03-25	Marion Guthmuller	model-checker : add variable deleted before to resolve...	commit \| commitdiff \| tree
2013-03-25	Marion Guthmuller	model-checker : ignore variable about time used with...	commit \| commitdiff \| tree
2013-03-25	Marion Guthmuller	model-checker : if acceptance cycle is detected, get...	commit \| commitdiff \| tree
2013-03-25	Marion Guthmuller	model-checker : last fix in DPOR algorithm if max depth...	commit \| commitdiff \| tree
2013-03-25	Marion Guthmuller	model-checker : update bugged1 tesh	commit \| commitdiff \| tree
2013-03-21	Marion Guthmuller	model-checker : use xbt_free_f instead of a new function...	commit \| commitdiff \| tree
2013-03-21	Marion Guthmuller	model-checker : fix soundness of DPOR algorithm if...	commit \| commitdiff \| tree
2013-03-19	Marion Guthmuller	model-checker : update tesh	commit \| commitdiff \| tree
2013-03-19	Marion Guthmuller	model-checker : order reached_pairs by number of processes...	commit \| commitdiff \| tree
2013-03-19	Marion Guthmuller	model-checker : free memory	commit \| commitdiff \| tree
2013-03-19	Marion Guthmuller	model-checker : cosmetics	commit \| commitdiff \| tree
2013-03-19	Marion Guthmuller	model-checker : fragment size and fragment number may...	commit \| commitdiff \| tree
2013-03-19	Marion Guthmuller	model-checker : store heap_bytes_used and number of...	commit \| commitdiff \| tree
2013-03-19	Marion Guthmuller	model-checker : update tesh (according to previous...	commit \| commitdiff \| tree
2013-03-19	Marion Guthmuller	model-checker : cleanups	commit \| commitdiff \| tree
2013-03-19	Marion Guthmuller	model-checker : code refactoring for get_hash_global	commit \| commitdiff \| tree
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
next

Clone of SimGrid repository with local patches

RSS Atom