AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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
2012-06-21	Marion Guthmuller	model-checker : end of cleanup for stateful and stateless...	commit \| commitdiff \| tree
2012-06-21	Marion Guthmuller	model-checker : update examples with new function MSG_init	commit \| commitdiff \| tree
2012-06-21	Marion Guthmuller	model-checker : unused variable	commit \| commitdiff \| tree
2012-06-21	Marion Guthmuller	model-checker : factorization of code for model-checking...	commit \| commitdiff \| tree
2012-06-21	Marion Guthmuller	model-checker: remove unused examples	commit \| commitdiff \| tree
2012-06-20	Marion Guthmuller	model-checker : remove unused example	commit \| commitdiff \| tree
2012-06-20	Marion Guthmuller	model-checker : new surf configuration mc-checkpoint	commit \| commitdiff \| tree
2012-06-20	Marion Guthmuller	Revert "model-checker : add new surf configuration...	commit \| commitdiff \| tree
2012-06-20	Marion Guthmuller	model-checker : add new surf configuration mc-checkpoint	commit \| commitdiff \| tree
2012-06-20	Marion Guthmuller	model-checker : cosmetics, tab forgotten	commit \| commitdiff \| tree
2012-06-20	Marion Guthmuller	model-checker : cosmetics reindent	commit \| commitdiff \| tree
2012-06-20	Marion Guthmuller	model-checker : cosmetics reindent	commit \| commitdiff \| tree
2012-06-20	Marion Guthmuller	model-checker : cosmectics reindent and unnecessary...	commit \| commitdiff \| tree
2012-06-20	Marion Guthmuller	model-checker : detect pointers on valid blocks in...	commit \| commitdiff \| tree
2012-06-20	Marion Guthmuller	model-checker : memset 0 on block/fragment allocated...	commit \| commitdiff \| tree
2012-06-19	Marion Guthmuller	model-checker : fixme about initialization	commit \| commitdiff \| tree
2012-06-19	Marion Guthmuller	model-checker : remove unused code and update debug...	commit \| commitdiff \| tree
2012-06-19	Marion Guthmuller	model-checker : add stats in mmalloc	commit \| commitdiff \| tree
2012-06-19	Marion Guthmuller	model-checker : cosmetics reindent	commit \| commitdiff \| tree
2012-06-18	Marion Guthmuller	model-checker : update tesh examples with last modifications...	commit \| commitdiff \| tree
2012-06-18	Marion Guthmuller	model-checker : add debug messages	commit \| commitdiff \| tree
2012-06-18	Marion Guthmuller	model-checker : assert on block/fragment address in...	commit \| commitdiff \| tree
2012-06-18	Marion Guthmuller	model-checker : unnecessary comments removed	commit \| commitdiff \| tree
2012-06-15	Marion Guthmuller	model-checker : remove clone file	commit \| commitdiff \| tree
2012-06-15	Marion Guthmuller	model-checker : remove unused files in examples/ms/mc	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	resolve merge conflict	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	model-checker : examples updated with new lex and yacc...	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	model-checker : lex and yacc parsing moved in src/xbt...	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	model-checker : remove unused files	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	model-checker : remove unnecessary include in lex file	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	model-checker : add header (description, copyright...	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	model-checker : add header (description, copyright...	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	model-checker : comment unused variable	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	model-checker : get end heap with field breakval in...	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	model-checker : move print statistics if property is...	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	model-checker : fix std_heap address for heap comparison...	commit \| commitdiff \| tree
2012-06-14	Marion Guthmuller	model-checker : in second test unit, snapshot comparison...	commit \| commitdiff \| tree
2012-06-13	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom