AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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
2012-03-23	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-03-15	Marion Guthmuller	model-checker : change log category name	commit \| commitdiff \| tree
2012-03-15	Marion Guthmuller	model-checker : get offset for each different byte...	commit \| commitdiff \| tree
2012-03-15	Marion Guthmuller	model-checker : hamming distance computed for each...	commit \| commitdiff \| tree
2012-03-07	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-03-07	Marion Guthmuller	model-checker : display backtrace for busy fragments...	commit \| commitdiff \| tree
2012-03-07	Marion Guthmuller	model-checker : SMALLEST_POSSIBLE_MALLOC increased	commit \| commitdiff \| tree
2012-02-28	Marion Guthmuller	model-checker : add backtrace for each fragment allocated...	commit \| commitdiff \| tree
2012-02-28	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-02-28	Marion Guthmuller	model-checker : only reindent, no real change (safe...	commit \| commitdiff \| tree
2012-02-23	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-02-23	Marion Guthmuller	model-checker : example bugged2_liveness modified	commit \| commitdiff \| tree
2012-02-21	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-02-21	Marion Guthmuller	model-checker : memcmp on space really used in fragment	commit \| commitdiff \| tree
2012-02-21	Marion Guthmuller	model-checker : remove arg std_heap_addr in mmalloc_compare_...	commit \| commitdiff \| tree
2012-02-21	Marion Guthmuller	model-checker : add backtrace when large block(s) mallocated...	commit \| commitdiff \| tree
2012-02-21	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-02-21	Marion Guthmuller	model-checker : function mmalloc_compare_mdesc rewritten...	commit \| commitdiff \| tree
2012-02-21	Marion Guthmuller	model-checker: remove subcategory log unused	commit \| commitdiff \| tree
2012-01-30	Marion Guthmuller	model-checker : merge conflict resolved	commit \| commitdiff \| tree
2012-01-30	Marion Guthmuller	remove function MC_take_snapshot_to_restore_liveness	commit \| commitdiff \| tree
2012-01-30	Marion Guthmuller	.	commit \| commitdiff \| tree
2012-01-30	Marion Guthmuller	model-checker : fix compilation error	commit \| commitdiff \| tree
2012-01-30	Marion Guthmuller	merge conflict resolved	commit \| commitdiff \| tree
2012-01-30	Marion Guthmuller	model-checker : new function (rdv_points_compare) to...	commit \| commitdiff \| tree
2012-01-30	Marion Guthmuller	model-checker : more debug information	commit \| commitdiff \| tree
2012-01-30	Marion Guthmuller	model-checker : add address of std_heap into debug...	commit \| commitdiff \| tree
2012-01-30	Marion Guthmuller	model-checker : get rdv_points in simix for comparison...	commit \| commitdiff \| tree
2012-01-29	Marion Guthmuller	model-checker : more debug informations in function...	commit \| commitdiff \| tree
2012-01-19	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree
2012-01-19	Marion Guthmuller	unused example chord_stateful removed	commit \| commitdiff \| tree
2012-01-13	Marion Guthmuller	Merge branch 'MC_LTL'	commit \| commitdiff \| tree
2012-01-13	Marion Guthmuller	model-checker : new function MC_diff to display all...	commit \| commitdiff \| tree
2012-01-13	Marion Guthmuller	model-checker : break forgotten in switch	commit \| commitdiff \| tree
2012-01-12	Marion Guthmuller	model-checker : add informations when log debug enabled	commit \| commitdiff \| tree
2012-01-12	Marion Guthmuller	model-checker : prototypes of static functions moved	commit \| commitdiff \| tree
2012-01-12	Marion Guthmuller	model-checker : prototypes of unused functions removed	commit \| commitdiff \| tree
2012-01-12	Marion Guthmuller	model-checker : %zu instead of %Zu in printf	commit \| commitdiff \| tree
2012-01-11	Marion Guthmuller	merge conflicts resolved	commit \| commitdiff \| tree
2012-01-11	Marion Guthmuller	model-checker : more informations if log enabled for...	commit \| commitdiff \| tree
2012-01-11	Marion Guthmuller	model-checker : add example centralized_liveness in...	commit \| commitdiff \| tree
2012-01-11	Marion Guthmuller	model-checker : new example for liveness properties	commit \| commitdiff \| tree
2012-01-10	Marion Guthmuller	model-checker : bugged2_liveness with promela of LTL...	commit \| commitdiff \| tree
2012-01-10	Marion Guthmuller	model-checker : new LTL property for bugged2_liveness...	commit \| commitdiff \| tree
2012-01-09	Marion Guthmuller	model-checker : add comments for the example bugged2_liveness	commit \| commitdiff \| tree
2012-01-09	Marion Guthmuller	model-checker : new examples for verification of liveness...	commit \| commitdiff \| tree
2012-01-05	Marion Guthmuller	model-checker : warnings fixed	commit \| commitdiff \| tree
2011-12-13	Marion Guthmuller	Merge branch 'master' into MC_LTL	commit \| commitdiff \| tree
2011-12-13	Marion Guthmuller	model-checker : clean code	commit \| commitdiff \| tree
2011-12-07	Marion Guthmuller	Merge branch 'master' into MC_LTL	commit \| commitdiff \| tree
2011-12-07	Marion Guthmuller	model-checker : hash of regions in snapshot for reached...	commit \| commitdiff \| tree
2011-12-07	Marion Guthmuller	model-checker : more requests of CS per process in...	commit \| commitdiff \| tree
2011-12-06	Marion Guthmuller	model-checker : block 0 (mdp->heapinfo[0]) removed...	commit \| commitdiff \| tree
2011-12-06	Marion Guthmuller	model-checker : reached_pairs changed to dynar	commit \| commitdiff \| tree
2011-12-05	Marion Guthmuller	model-checker : visited_pairs and visited_pairs_hash...	commit \| commitdiff \| tree
2011-12-05	Marion Guthmuller	model-checker : comparison between two hash of regions...	commit \| commitdiff \| tree
2011-12-05	Marion Guthmuller	Merge branch 'master' into MC_LTL	commit \| commitdiff \| tree
2011-12-05	Marion Guthmuller	model-checker : hash of regions in snapshot stored...	commit \| commitdiff \| tree
2011-12-01	Marion Guthmuller	model-checker : args prgm and automaton changed in...	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom