AND Public Git Repository - simgrid.git/history

2012-10-06	Marion Guthmuller	model-checker : ignore differences in data segment...	blob \| commitdiff \| raw
2012-10-06	Marion Guthmuller	model-checker : remove maestro stack from stack comparison	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	model-checker : forget to remove unused variables	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	Get local variables in binary and libsimgrid.so and...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	model-checker : extend MC_ignore mechanism for global...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	model-checker : check if a difference detected in stack...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	model-checker : move functions about snapshot compariso...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches