AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2013-09-21	Marion Guthmuller	model-checker : get size used (heapinfo meta-data)	commit \| commitdiff \| tree
2013-09-21	Marion Guthmuller	model-checker : minor fix in ddfs algorithm	commit \| commitdiff \| tree
2013-09-21	Marion Guthmuller	model-checker : fix bugged1_liveness example	commit \| commitdiff \| tree
2013-09-21	Marion Guthmuller	model-checker : --cfg=model-check/checkpoint is an...	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	increase timeout	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : else if instead of if{} if{}	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : init equal_to in mmalloc info	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : memory free and cleanup	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : update SMPI bugged mutual exclusion...	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : update MSG bugged mutual exclusion...	commit \| commitdiff \| tree
2013-08-14	Marion Guthmuller	model-checker : stop stack comparison before the context...	commit \| commitdiff \| tree
2013-08-13	Marion Guthmuller	model-checker : fix dot output for liveness MC	commit \| commitdiff \| tree
2013-08-13	Marion Guthmuller	model-checker : fix error compilation without MC	commit \| commitdiff \| tree
2013-08-13	Marion Guthmuller	model-checker : remove binary	commit \| commitdiff \| tree
2013-08-13	Marion Guthmuller	model-checker : create mc directory in smpi examples...	commit \| commitdiff \| tree
2013-08-13	Marion Guthmuller	model-checker : ignore in_use in s_smpi_mpi_datatype	commit \| commitdiff \| tree
2013-08-13	Marion Guthmuller	model-checker : fix ignore mechanism	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : ignore smpi timer	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	get size of struct s_xbt_os_timer	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : fix ignore global variable	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : remove unused variable	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : add debug message	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	init ret_val (MC compliant)	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : fix MC init in smpi_main	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : fix comparison of local variables	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : initialize equal_to in mmalloc heapinfo	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : memory free	commit \| commitdiff \| tree
2013-08-12	Marion Guthmuller	model-checker : extend ignore mechanism with new user...	commit \| commitdiff \| tree
2013-08-11	Marion Guthmuller	model-checker : remove fprintf -> XBT_DEBUG	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : update tesh	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : update chord example for exhaustive...	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : udpate debug information	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : fix DPOR with visited states reduction	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : add min and max values for MC_RANDOM...	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : rename MC_max_depth(int prop) -> MC_cut()	commit \| commitdiff \| tree
2013-08-10	Marion Guthmuller	model-checker : fix dot_output with DPOR	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	update the other tesh for chord example	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	disable random lookup in Chord (tesh examples fail)	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	update chord.tesh	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : update CMakeLists	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : remove dead file	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : remove duplicated example chord	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	implement check_predecessor and random_lookup (periodic...	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	cosmetics	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : remove obsolete examples	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : remove dead code	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : new primitive MC_max_depth, to define...	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : update tesh files	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : fix DPOR with timeout	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : include simcall number in request_to_string	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : snapshot comparison with the types...	commit \| commitdiff \| tree
2013-08-05	Marion Guthmuller	model-checker : comparison of number of processes and...	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	model-checker : restore while statement for bugged1_liveness...	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	model-checker : update bugged1 and bugged2 tesh (different...	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	model-checker : MC doesn't work with thread context	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	disable optimizations for build MC in jenkins	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	unused variable if tracing disabled	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	model-checker : increase timeout in tesh	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	model-checker : missing #ifdef	commit \| commitdiff \| tree
2013-06-13	Marion Guthmuller	model-checker : update bugged2 tesh	commit \| commitdiff \| tree
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
next

Clone of SimGrid repository with local patches

RSS Atom