AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2012-10-07	Marion Guthmuller	model-checker : test if variable is initialized (warning...	commit \| commitdiff \| tree
2012-10-06	Marion Guthmuller	model-checker : ignore differences in data segment...	commit \| commitdiff \| tree
2012-10-06	Marion Guthmuller	model-checker : remove maestro stack from stack comparison	commit \| commitdiff \| tree
2012-10-06	Marion Guthmuller	model-checker : cleanup in mc examples	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : forget to remove unused variables	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	Get local variables in binary and libsimgrid.so and...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : remove unused variable with debug mode...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : extend MC_ignore mechanism for global...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : display information about variables...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	cosmetics	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : check if a difference detected in stack...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : functions only used in mc_global declared...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : store local variables in raw heap	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : memory free	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : double free memory fixed	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : cosmetics reindent	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : move functions about snapshot comparison...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : take snapshot of stacks (local variables...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : store equality detected in heap comparison...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : move struct s_smx_ctx_sysv in smx_private...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : detect if binary program has been compiled...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : ignore stack areas in heap comparison...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : add libunwind in simgrid dependencies	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : previous algorithm for heap comparison...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : print local variables only with debug...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : memset forgotten in mmalloc	commit \| commitdiff \| tree
2012-09-18	Marion Guthmuller	model-checker : first part to retrieve local variables...	commit \| commitdiff \| tree
2012-09-18	Marion Guthmuller	model-checker : remove unused variable	commit \| commitdiff \| tree
2012-08-18	Marion Guthmuller	model-checker : init result of simcalls for snapshot...	commit \| commitdiff \| tree
2012-08-17	Marion Guthmuller	model-checker : try first to associate each block or...	commit \| commitdiff \| tree
2012-08-16	Marion Guthmuller	model-checker : remove unnecessary step	commit \| commitdiff \| tree
2012-08-16	Marion Guthmuller	model-checker : equal_to field of blocks/fragments...	commit \| commitdiff \| tree
2012-08-16	Marion Guthmuller	modelc-checker : reset list of blocks/fragments pairs...	commit \| commitdiff \| tree
2012-08-16	Marion Guthmuller	model-checker : init equal_to field to -1 for each...	commit \| commitdiff \| tree
2012-08-16	Marion Guthmuller	model-checker : set size used to 0 when free fragment	commit \| commitdiff \| tree
2012-08-08	Marion Guthmuller	model-checker : MC_ignore_init in MSG for ucontext	commit \| commitdiff \| tree
2012-08-02	Marion Guthmuller	model-checker : add block and fragment number in mc_ignore_r...	commit \| commitdiff \| tree
2012-08-01	Marion Guthmuller	model-checker : count ignore done in heap comparison...	commit \| commitdiff \| tree
2012-08-01	Marion Guthmuller	model-checker : sort ignore list and dichotomic search	commit \| commitdiff \| tree
2012-08-01	Marion Guthmuller	model-checker : ignore stack_top of maestro context...	commit \| commitdiff \| tree
2012-08-01	Marion Guthmuller	model-checker : init list of irrelevant differences...	commit \| commitdiff \| tree
2012-08-01	Marion Guthmuller	model-checker : forget case of comparison in heap comparison...	commit \| commitdiff \| tree
2012-08-01	Marion Guthmuller	model-checker : ignore irrelevant differences for heap...	commit \| commitdiff \| tree
2012-08-01	Marion Guthmuller	model-checker : remove unused function	commit \| commitdiff \| tree
2012-07-30	Marion Guthmuller	model-checker : add debug information about pointers...	commit \| commitdiff \| tree
2012-07-30	Marion Guthmuller	model-checker : free memory	commit \| commitdiff \| tree
2012-07-30	Marion Guthmuller	model-checker : use bprintf instead of sprintf	commit \| commitdiff \| tree
2012-07-30	Marion Guthmuller	model-checker : ignore differences of pointers in ...	commit \| commitdiff \| tree
2012-07-30	Marion Guthmuller	model-checker : cleanup for heap comparison	commit \| commitdiff \| tree
2012-07-30	Marion Guthmuller	model-checker : update tests for snapshot comparison	commit \| commitdiff \| tree
2012-07-30	Marion Guthmuller	model-checker : remove core dump for each reached pair	commit \| commitdiff \| tree
2012-07-30	Marion Guthmuller	model-checker : cleanup on mc_checkpoint	commit \| commitdiff \| tree
2012-07-25	Marion Guthmuller	model-checker : cleanups for liveness property model...	commit \| commitdiff \| tree
2012-07-25	Marion Guthmuller	model-checker : new heap comparison algorithm	commit \| commitdiff \| tree
2012-07-16	Marion Guthmuller	model-checker : #ifdef instead of #if (found by Cristian...	commit \| commitdiff \| tree
2012-07-16	Marion Guthmuller	model-checker : add new pair reached in raw_heap	commit \| commitdiff \| tree
2012-07-16	Marion Guthmuller	model-checker : add new pair reached even if compare==0	commit \| commitdiff \| tree
2012-07-12	Marion Guthmuller	model-checker : remove unnecessary memset on free fragments...	commit \| commitdiff \| tree
2012-07-12	Marion Guthmuller	model-checker : comment MC_compare	commit \| commitdiff \| tree
2012-07-11	Marion Guthmuller	model-checker : application alert for state equality...	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : new recursive function for comparison...	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : malloc_backtrace_display functions...	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : heapinfo adresses refer to saved heap...	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : remove header of unused function	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : heapinfo address in parameter of malloc_back...	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : update example bugged1_liveness (variable...	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : memset 0 on free block/fragment	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : factorization of set_pair_reached and...	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : remove useless code	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : update backtrace display	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : remove unused function	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : remove unnecessary take_snapshot for...	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : initialize variables	commit \| commitdiff \| tree
2012-07-10	Marion Guthmuller	model-checker : remove useless code	commit \| commitdiff \| tree
2012-07-04	Marion Guthmuller	model-checker : use rename() instead of system(mv ..)	commit \| commitdiff \| tree
2012-07-03	Marion Guthmuller	model-checker : use abort() instead of a hack for core...	commit \| commitdiff \| tree
2012-07-03	Marion Guthmuller	model-checker : typo	commit \| commitdiff \| tree
2012-07-03	Marion Guthmuller	model-checker : create core dump without termination...	commit \| commitdiff \| tree
2012-07-03	Marion Guthmuller	model-checker : pointer detection fixed	commit \| commitdiff \| tree
2012-07-03	Marion Guthmuller	model-checker : copyright header for safety properties...	commit \| commitdiff \| tree
2012-07-02	Marion Guthmuller	model-checker: sed 's/m_task_t/msg_task_t/g' on MC...	commit \| commitdiff \| tree
2012-07-02	Marion Guthmuller	model-checker : extend pointer detection in heap comparison...	commit \| commitdiff \| tree
2012-07-02	Marion Guthmuller	model-checker : remove unnecessary test	commit \| commitdiff \| tree
2012-06-29	Marion Guthmuller	model-checker : tests for snapshot comparison	commit \| commitdiff \| tree
2012-06-29	Marion Guthmuller	model-checker : test unit removed	commit \| commitdiff \| tree
2012-06-29	Marion Guthmuller	model-checker : move functions about snapshot comparison...	commit \| commitdiff \| tree
2012-06-29	Marion Guthmuller	model-checker : get fragment number like in realloc...	commit \| commitdiff \| tree
2012-06-27	Marion Guthmuller	model-checker : update supernovae files (automaton_create...	commit \| commitdiff \| tree
2012-06-27	Marion Guthmuller	model-checker : detect valid block or fragment pointer...	commit \| commitdiff \| tree
2012-06-27	Marion Guthmuller	model-checker : check current_heap before SET_RAW_MEM...	commit \| commitdiff \| tree
2012-06-26	Marion Guthmuller	model-checker : keep one bugged1 example for liveness...	commit \| commitdiff \| tree
2012-06-26	Marion Guthmuller	model-checker : update list of examples in CMakeLists	commit \| commitdiff \| tree
2012-06-26	Marion Guthmuller	model-checker : remove unused examples	commit \| commitdiff \| tree
2012-06-26	Marion Guthmuller	model-checker : cosmetics reindent	commit \| commitdiff \| tree
2012-06-22	Marion Guthmuller	model-checker : keep MC_request_to_string in std heap	commit \| commitdiff \| tree
2012-06-22	Marion Guthmuller	model-checker : detect pointers on valid fragment in...	commit \| commitdiff \| tree
2012-06-22	Marion Guthmuller	model-checker : update tesh with new cleanups done...	commit \| commitdiff \| tree
2012-06-21	Marion Guthmuller	model-checker : update name of generated_files	commit \| commitdiff \| tree
2012-06-21	Marion Guthmuller	model-checker : comment storage of visited pairs	commit \| commitdiff \| tree
2012-06-21	Marion Guthmuller	model-checker : fix debug message	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom