AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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
2012-06-13	Marion Guthmuller	model-checker : get std_heap with mmalloc_get_current_heap...	commit \| commitdiff \| tree
2012-06-13	Marion Guthmuller	model-checker : new test unit for snapshot comparison	commit \| commitdiff \| tree
2012-06-13	Marion Guthmuller	model-checker : remove unused argument in functions...	commit \| commitdiff \| tree
2012-06-13	Marion Guthmuller	model-checker : add total hamming distance for heap...	commit \| commitdiff \| tree
2012-06-13	Marion Guthmuller	model-checker : test unit for snapshot comparison	commit \| commitdiff \| tree
2012-06-13	Marion Guthmuller	model-checker : unused variables deleted	commit \| commitdiff \| tree
2012-06-13	Marion Guthmuller	model-checker : remove unnecessary get_memory_map_addr...	commit \| commitdiff \| tree
2012-06-13	Marion Guthmuller	model-checker : update include file	commit \| commitdiff \| tree
2012-06-13	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-06-13	Marion Guthmuller	model-checker : remove binary name as argument of some...	commit \| commitdiff \| tree
2012-06-13	Marion Guthmuller	model-checker : print statistics in all cases (property...	commit \| commitdiff \| tree
2012-06-12	Marion Guthmuller	model-checker : comment unused statistics information	commit \| commitdiff \| tree
2012-06-12	Marion Guthmuller	model-checker : warnings compilation fixed	commit \| commitdiff \| tree
2012-06-12	Marion Guthmuller	fix merge conflict	commit \| commitdiff \| tree
2012-06-12	Marion Guthmuller	model-checker : fix number and address of blocks in...	commit \| commitdiff \| tree
2012-06-11	Marion Guthmuller	model-checker : remove useless memcmp in heap comparison...	commit \| commitdiff \| tree
2012-06-09	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-06-09	Marion Guthmuller	model-checker : heap comparison algorithm rewrited	commit \| commitdiff \| tree
2012-06-08	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-06-06	Marion Guthmuller	typos in message of backtrace display (where malloced...	commit \| commitdiff \| tree
2012-06-03	Marion Guthmuller	model-checker : XBT_DEBUG replaced by XBT_INFO	commit \| commitdiff \| tree
2012-06-03	Marion Guthmuller	model-checker : new properties in promela for centralized_li...	commit \| commitdiff \| tree
2012-06-03	Marion Guthmuller	model-checker : new examples	commit \| commitdiff \| tree
2012-06-03	Marion Guthmuller	model-checker : free pointers	commit \| commitdiff \| tree
2012-06-03	Marion Guthmuller	model-checker : free pointers	commit \| commitdiff \| tree
2012-06-03	Marion Guthmuller	model-checker : initialize pointer and update indice...	commit \| commitdiff \| tree
2012-06-02	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-06-02	Marion Guthmuller	model-checker : free pointer	commit \| commitdiff \| tree
2012-06-02	Marion Guthmuller	model-checker : initialize pointers (segfault with...	commit \| commitdiff \| tree
2012-06-02	Marion Guthmuller	model-checker : add pair's number in struct mc_pair_reached...	commit \| commitdiff \| tree
2012-06-02	Marion Guthmuller	model-checker : free pointers	commit \| commitdiff \| tree
2012-06-01	Marion Guthmuller	model-checker : oops, about 3000 blocks unchecked in...	commit \| commitdiff \| tree
2012-06-01	Marion Guthmuller	model-checker : first work for canonicalisation (get...	commit \| commitdiff \| tree
2012-05-30	Marion Guthmuller	model-checker : remove unused variable CS_PER_PROCESS	commit \| commitdiff \| tree
2012-05-30	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-05-29	Marion Guthmuller	model-checker : replace all XBT_DEBUG by XBT_INFO	commit \| commitdiff \| tree
2012-05-24	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-05-24	Marion Guthmuller	model-checker : reindent, no change	commit \| commitdiff \| tree
2012-05-24	Marion Guthmuller	model-checker : switch between data program and data...	commit \| commitdiff \| tree
2012-05-24	Marion Guthmuller	model-checker : fclose forgotten in get_memory_map_addr	commit \| commitdiff \| tree
2012-05-23	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-05-23	Marion Guthmuller	model-checker : function get_addr_memory_map rewrited...	commit \| commitdiff \| tree
2012-05-23	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-05-23	Marion Guthmuller	compilation errors (optimizations and model checking...	commit \| commitdiff \| tree
2012-05-21	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-05-21	Marion Guthmuller	model-checker : get location of pointed address in...	commit \| commitdiff \| tree
2012-05-11	Marion Guthmuller	model-checker : parser for dwarf file (to complete...	commit \| commitdiff \| tree
2012-05-03	Marion Guthmuller	add SIMIX_host_get/set_data declaration in simix.h...	commit \| commitdiff \| tree
2012-05-03	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-05-03	Marion Guthmuller	model-checker : new comparison of region (program data...	commit \| commitdiff \| tree
2012-04-27	Marion Guthmuller	model-checker : remove meta-data of heap in comparison...	commit \| commitdiff \| tree
2012-04-20	Marion Guthmuller	model-checker : get pointer address for bytes detected...	commit \| commitdiff \| tree
2012-04-20	Marion Guthmuller	model-checker : change XBT_DEBUG for fprintf	commit \| commitdiff \| tree
2012-04-20	Marion Guthmuller	model-checker : reindent, no change	commit \| commitdiff \| tree
2012-04-20	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-04-20	Marion Guthmuller	model-checker : separate bugged1_liveness (deleted...	commit \| commitdiff \| tree
2012-04-03	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-04-02	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-03-30	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-03-27	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-03-27	Marion Guthmuller	model-checker : new example test_snapshot to check...	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom