AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2012-12-26	Marion Guthmuller	model-checker : don't ignore simcall result in system...	commit \| commitdiff \| tree
2012-12-25	Marion Guthmuller	model-checker : stats XP of model checking on chord...	commit \| commitdiff \| tree
2012-12-20	Marion Guthmuller	model-checker : fix MC_take_snapshot if malloc used...	commit \| commitdiff \| tree
2012-12-20	Marion Guthmuller	model-checker : fix dpor with state equality reduction	commit \| commitdiff \| tree
2012-12-20	Marion Guthmuller	model-checker : if frame name is empty, stop stack...	commit \| commitdiff \| tree
2012-12-20	Marion Guthmuller	model-checker : remove restriction of DPOR if several...	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	model-checker : remove tesh bugged2 (too long with...	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	model-checker : update tesh bugged1 with the new version...	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	model-checker : interleave all enabled processes for...	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	model-checker : cosmectics	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	Remove comm from src_proc->comms and dst_proc->comms...	commit \| commitdiff \| tree
2012-12-16	Marion Guthmuller	remove comm from rdv if comm destroyed before being...	commit \| commitdiff \| tree
2012-12-11	Marion Guthmuller	model-checker : update tesh bugged1_liveness	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : update tesh bugged1 and bugged2	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : forget one fix in MC_state_set_executed_request	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : fix dpor algorithm if max depth reached	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : restore previous version of MC_state_set_exe...	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : remove independance between iSend/iRecv...	commit \| commitdiff \| tree
2012-12-10	Marion Guthmuller	model-checker : one region in snapshot for data and...	commit \| commitdiff \| tree
2012-12-06	Marion Guthmuller	model-checker : liveness model-checking works only...	commit \| commitdiff \| tree
2012-12-06	Marion Guthmuller	model-checker : improve debug message if different...	commit \| commitdiff \| tree
2012-12-06	Marion Guthmuller	model-checker : ignore global variables corresponding...	commit \| commitdiff \| tree
2012-12-05	Marion Guthmuller	model-checker : increase tesh timeout for mc-chord...	commit \| commitdiff \| tree
2012-12-05	Marion Guthmuller	model-checker : update snapshot_comparison tests	commit \| commitdiff \| tree
2012-12-04	Marion Guthmuller	model-checker : ignore new variables	commit \| commitdiff \| tree
2012-12-04	Marion Guthmuller	model-checker : display instruction pointer if different...	commit \| commitdiff \| tree
2012-12-04	Marion Guthmuller	model-checker : ignore simcall result in heap comparison	commit \| commitdiff \| tree
2012-12-04	Marion Guthmuller	model-checker : remove unused code	commit \| commitdiff \| tree
2012-12-04	Marion Guthmuller	model-checker : set raw heap for initialization step	commit \| commitdiff \| tree
2012-12-04	Marion Guthmuller	model-checker : get libsimgrid_path with MC_init_memory_map_...	commit \| commitdiff \| tree
2012-12-03	Marion Guthmuller	model-checker : fix MC_state_set_executed_request	commit \| commitdiff \| tree
2012-12-02	Marion Guthmuller	model-checker : remove independance between iRecv and...	commit \| commitdiff \| tree
2012-12-02	Marion Guthmuller	model-checker : statistics printed twice if exhaustive...	commit \| commitdiff \| tree
2012-12-02	Marion Guthmuller	model-checker : get global variables with objdump and...	commit \| commitdiff \| tree
2012-12-02	Marion Guthmuller	model-checker : get segments start only in MC_init_memory_ma...	commit \| commitdiff \| tree
2012-12-02	Marion Guthmuller	model-checker : text segment is read and exec only	commit \| commitdiff \| tree
2012-12-02	Marion Guthmuller	model-checker : cleanups in comments	commit \| commitdiff \| tree
2012-12-02	Marion Guthmuller	model-checker : get .got.plt sections	commit \| commitdiff \| tree
2012-12-02	Marion Guthmuller	model-checker : increase tesh timeout	commit \| commitdiff \| tree
2012-12-02	Marion Guthmuller	model-checker : fix tesh name	commit \| commitdiff \| tree
2012-12-02	Marion Guthmuller	model-checker : increase tesh timeouts	commit \| commitdiff \| tree
2012-11-22	Marion Guthmuller	model-checker : increase timeout in tesh chord_neverjoin	commit \| commitdiff \| tree
2012-11-22	Marion Guthmuller	model-checker : increase timeout in tesh snapshot_comparison...	commit \| commitdiff \| tree
2012-11-21	Marion Guthmuller	model-checker: take snapshot if property file set	commit \| commitdiff \| tree
2012-11-21	Marion Guthmuller	model-checker : abort if acceptance cycle detected	commit \| commitdiff \| tree
2012-11-21	Marion Guthmuller	model-checker : remove automatic activation of MC if...	commit \| commitdiff \| tree
2012-11-20	Marion Guthmuller	model-checker : new tesh for snapshot comparison tests	commit \| commitdiff \| tree
2012-11-20	Marion Guthmuller	model-checker : rename cfg flag for state comparison...	commit \| commitdiff \| tree
2012-11-20	Marion Guthmuller	model-checker : use xbt_cfg_setdefault instead of default_va...	commit \| commitdiff \| tree
2012-11-20	Marion Guthmuller	model-checker : ignore coverage variables	commit \| commitdiff \| tree
2012-11-20	Marion Guthmuller	model-checker : abort if popen failed	commit \| commitdiff \| tree
2012-11-19	Marion Guthmuller	model-checker : fix compilation error (with optimizations...	commit \| commitdiff \| tree
2012-11-18	Marion Guthmuller	model-checker : add tesh for bugged1_liveness and chord_neve...	commit \| commitdiff \| tree
2012-11-18	Marion Guthmuller	model-checker : use XBT_DEBUG instead of XBT_INFO	commit \| commitdiff \| tree
2012-11-18	Marion Guthmuller	model-checker : fix insertion in mc_data_bss_comparion	commit \| commitdiff \| tree
2012-11-18	Marion Guthmuller	model-checker : ignore some variables enabled with...	commit \| commitdiff \| tree
2012-11-18	Marion Guthmuller	model-checker : improve stack ignore in heap comparison...	commit \| commitdiff \| tree
2012-11-18	Marion Guthmuller	model-checker : stateful mode disabled by default	commit \| commitdiff \| tree
2012-11-17	Marion Guthmuller	model-checker : stop independance reduction if same...	commit \| commitdiff \| tree
2012-11-16	Marion Guthmuller	model-checker : ignore new local variable	commit \| commitdiff \| tree
2012-11-16	Marion Guthmuller	model-checker : use XBT_DEBUG instead of XBT_INFO	commit \| commitdiff \| tree
2012-11-16	Marion Guthmuller	model-checker : MC_init() must be called for initial...	commit \| commitdiff \| tree
2012-11-16	Marion Guthmuller	model-checker : fix dpor algorithm	commit \| commitdiff \| tree
2012-11-16	Marion Guthmuller	forget to apply cleanups in MC on SMPI (separate MC_modelche...	commit \| commitdiff \| tree
2012-11-15	Marion Guthmuller	model-checker : factorize code for safety and liveness...	commit \| commitdiff \| tree
2012-11-15	Marion Guthmuller	model-checker : fix dependance theorem according to...	commit \| commitdiff \| tree
2012-11-15	Marion Guthmuller	model-checker : warning message if max depth is reached	commit \| commitdiff \| tree
2012-11-15	Marion Guthmuller	model-checker : memory free	commit \| commitdiff \| tree
2012-11-15	Marion Guthmuller	model-checker : cleanups in verification of current...	commit \| commitdiff \| tree
2012-11-15	Marion Guthmuller	model-checker : comparison times are NULL for visited_pair	commit \| commitdiff \| tree
2012-11-15	Marion Guthmuller	model-checker : fix segfault in get_local_variables_values()	commit \| commitdiff \| tree
2012-11-15	Marion Guthmuller	model-checker : create subdir for chord example with...	commit \| commitdiff \| tree
2012-11-15	Marion Guthmuller	model-checker : store last visited states during exploration	commit \| commitdiff \| tree
2012-11-13	Marion Guthmuller	model-checker : new cfg command line flag (model-check...	commit \| commitdiff \| tree
2012-11-12	Marion Guthmuller	model-checker : cosmetics on log message	commit \| commitdiff \| tree
2012-11-12	Marion Guthmuller	model-checker : Add statistics about comparison times...	commit \| commitdiff \| tree
2012-11-11	Marion Guthmuller	model-checker : remove chunks used comparison at the...	commit \| commitdiff \| tree
2012-11-11	Marion Guthmuller	model-checker : unset raw heap after display of statistics...	commit \| commitdiff \| tree
2012-11-11	Marion Guthmuller	model-checker : get times elapsed for snasphot comparison	commit \| commitdiff \| tree
2012-11-11	Marion Guthmuller	model-checker : add ignore mechanism for global variables...	commit \| commitdiff \| tree
2012-11-11	Marion Guthmuller	model-checker : get start of libsimgrid bss segment...	commit \| commitdiff \| tree
2012-11-11	Marion Guthmuller	model-checker : typo	commit \| commitdiff \| tree
2012-11-09	Marion Guthmuller	Shake up snapshot comparison : apply a new order of...	commit \| commitdiff \| tree
2012-11-09	Marion Guthmuller	model-checker : remove unnecessary comment	commit \| commitdiff \| tree
2012-11-09	Marion Guthmuller	model-checker : move creation of initial_state_liveness...	commit \| commitdiff \| tree
2012-11-09	Marion Guthmuller	model-checker : add size of stack in parameter of the...	commit \| commitdiff \| tree
2012-11-09	Marion Guthmuller	model-checker : getter function for chunks used in...	commit \| commitdiff \| tree
2012-11-09	Marion Guthmuller	model-checker : use statistics already included in...	commit \| commitdiff \| tree
2012-11-09	Marion Guthmuller	model-checker : initialize global variables	commit \| commitdiff \| tree
2012-11-08	Marion Guthmuller	model-checker : enable WaitTimeout requests only if...	commit \| commitdiff \| tree
2012-11-08	Marion Guthmuller	model-checker : new command line flag (model-check...	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : initialize variables (compilation error...	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : add debug information on processes...	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker: add chord example for liveness property...	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : initialize global variable ignore_done...	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : remove backtracking if no more request...	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : comment trigger for state equality...	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : improve debug information for stacks...	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : add local variables from xbt/ex.h in...	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : ignore some local variables from xbt...	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom