AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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
2012-11-07	Marion Guthmuller	model-checker : update examples for test snapshot comparison	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : memory free	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : verification of current_heap	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : add ignore mechanism for comparison...	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : remove declaration of unused function	commit \| commitdiff \| tree
2012-11-07	Marion Guthmuller	model-checker : fix dynar index in algorithm to get...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : update second parameter of mmorecore...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : store initial snapshot in structure...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : don't call exit at the end of MC (segfault...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : update debug information	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : remove the display of promela property	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : test examples for snapshot comparison	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : New public functions to take a snapshot...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : let some debug information with XBT_INFO	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : check current heap	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : update bprintf format for local variables	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : fix memory leaks in heap comparison	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : clean debug information in bugged1_liveness...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : remove files about test_heap_comparison	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : process can be NULL	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : backtracking if there is no request...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : use xbt_abort to exit MC if acceptance...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : init MC for liveness in a separate...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : if get_libsimgrid_plt_section called...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : display debug information with XBT_DEBUG...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : change MC_take_snapshot_liveness declaration...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : remove instruction pointer offset for...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : stack_areas stored in raw_heap instead...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : debug information more concise	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : fix some memory leaks	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : first line of objdump --section-headers...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : fix first parameter for get_stack_pointer...	commit \| commitdiff \| tree
2012-10-27	Marion Guthmuller	model-checker : ignore pointers on raw_heap in data...	commit \| commitdiff \| tree
2012-10-12	Marion Guthmuller	model-checker : display malloc backtrace according...	commit \| commitdiff \| tree
2012-10-11	Marion Guthmuller	model-checker : forget regions corresponding to libsimgrid...	commit \| commitdiff \| tree
2012-10-10	Marion Guthmuller	function check_fraghead to detect mmalloc metadata...	commit \| commitdiff \| tree
2012-10-09	Marion Guthmuller	set size to -1 for free fragments in new fragmented...	commit \| commitdiff \| tree
2012-10-09	Marion Guthmuller	set value -1 in unsigned short cannot work fine ...	commit \| commitdiff \| tree
2012-10-08	Marion Guthmuller	set size_used negative for free fragment/block	commit \| commitdiff \| tree
2012-10-08	Marion Guthmuller	UNLOCK forgotten before THROWF	commit \| commitdiff \| tree
2012-10-08	Marion Guthmuller	check if free on fragment already free	commit \| commitdiff \| tree
2012-10-08	Marion Guthmuller	add executable chord_before_dsend in CMakeLists	commit \| commitdiff \| tree
2012-10-08	Marion Guthmuller	version of chord before use MSG_task_dsend	commit \| commitdiff \| tree
2012-10-08	Marion Guthmuller	model-checker : restore struct smx_ctx_sysv in smx_context_s...	commit \| commitdiff \| tree
2012-10-07	Marion Guthmuller	model-checker : forget include ucontext.h for struct...	commit \| commitdiff \| tree
2012-10-07	Marion Guthmuller	model-checker : test if variable is initialized (warning...	commit \| commitdiff \| tree
2012-10-06	Marion Guthmuller	model-checker : ignore differences in data segment...	commit \| commitdiff \| tree
2012-10-06	Marion Guthmuller	model-checker : remove maestro stack from stack comparison	commit \| commitdiff \| tree
2012-10-06	Marion Guthmuller	model-checker : cleanup in mc examples	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom