AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2013-06-13	Marion Guthmuller	model-checker : fix (again ..) DPOR for iSend/iRecv...	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	model-checker : improve debug messages	commit \| commitdiff \| tree
2013-06-10	Marion Guthmuller	model-checker : update tesh for liveness example	commit \| commitdiff \| tree
2013-06-10	Marion Guthmuller	model-checker : update tesh	commit \| commitdiff \| tree
2013-06-10	Marion Guthmuller	model-checker : remove out of date tesh of chord example	commit \| commitdiff \| tree
2013-06-08	Marion Guthmuller	model-checker : free memory	commit \| commitdiff \| tree
2013-06-08	Marion Guthmuller	model-checker : increase number of colors for dot output	commit \| commitdiff \| tree
2013-06-08	Marion Guthmuller	cosmetics : indent	commit \| commitdiff \| tree
2013-06-08	Marion Guthmuller	model-checker : use raw_heap instead of std_heap	commit \| commitdiff \| tree
2013-06-08	Marion Guthmuller	model-checker : fix dot output for smpi examples	commit \| commitdiff \| tree
2013-06-08	Marion Guthmuller	cosmetics : indent	commit \| commitdiff \| tree
2013-06-08	Marion Guthmuller	model-checker : add information in counter-example...	commit \| commitdiff \| tree
2013-06-02	Marion Guthmuller	model-checker : generate dot file for the verification...	commit \| commitdiff \| tree
2013-06-02	Marion Guthmuller	model-checker : use else if instead of if then if	commit \| commitdiff \| tree
2013-06-02	Marion Guthmuller	model-checker : fix dpor with dot_output	commit \| commitdiff \| tree
2013-06-01	Marion Guthmuller	model-checker : modify chord example in mc for exhaustive...	commit \| commitdiff \| tree
2013-06-01	Marion Guthmuller	model-checker : fix memory free	commit \| commitdiff \| tree
2013-05-31	Marion Guthmuller	model-checker : remove useless if	commit \| commitdiff \| tree
2013-05-31	Marion Guthmuller	model-checker : fix compilation error	commit \| commitdiff \| tree
2013-05-31	Marion Guthmuller	model-checker : remove useless take/restore snapshot	commit \| commitdiff \| tree
2013-05-31	Marion Guthmuller	model-checker : update bugged1_liveness tesh	commit \| commitdiff \| tree
2013-05-31	Marion Guthmuller	model-checker : initialize variables	commit \| commitdiff \| tree
2013-05-31	Marion Guthmuller	model-checker : remove comment and add debug message	commit \| commitdiff \| tree
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
next

Clone of SimGrid repository with local patches

RSS Atom