AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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
2012-10-05	Marion Guthmuller	model-checker : forget to remove unused variables	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	Get local variables in binary and libsimgrid.so and...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : remove unused variable with debug mode...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : extend MC_ignore mechanism for global...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : display information about variables...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	cosmetics	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : check if a difference detected in stack...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : functions only used in mc_global declared...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : store local variables in raw heap	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : memory free	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : double free memory fixed	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : cosmetics reindent	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : move functions about snapshot comparison...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : take snapshot of stacks (local variables...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : store equality detected in heap comparison...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : move struct s_smx_ctx_sysv in smx_private...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : detect if binary program has been compiled...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : ignore stack areas in heap comparison...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : add libunwind in simgrid dependencies	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : previous algorithm for heap comparison...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : print local variables only with debug...	commit \| commitdiff \| tree
2012-10-05	Marion Guthmuller	model-checker : memset forgotten in mmalloc	commit \| commitdiff \| tree
2012-09-18	Marion Guthmuller	model-checker : first part to retrieve local variables...	commit \| commitdiff \| tree
2012-09-18	Marion Guthmuller	model-checker : remove unused variable	commit \| commitdiff \| tree
2012-08-18	Marion Guthmuller	model-checker : init result of simcalls for snapshot...	commit \| commitdiff \| tree
2012-08-17	Marion Guthmuller	model-checker : try first to associate each block or...	commit \| commitdiff \| tree
2012-08-16	Marion Guthmuller	model-checker : remove unnecessary step	commit \| commitdiff \| tree
2012-08-16	Marion Guthmuller	model-checker : equal_to field of blocks/fragments...	commit \| commitdiff \| tree
2012-08-16	Marion Guthmuller	modelc-checker : reset list of blocks/fragments pairs...	commit \| commitdiff \| tree
2012-08-16	Marion Guthmuller	model-checker : init equal_to field to -1 for each...	commit \| commitdiff \| tree
2012-08-16	Marion Guthmuller	model-checker : set size used to 0 when free fragment	commit \| commitdiff \| tree
2012-08-08	Marion Guthmuller	model-checker : MC_ignore_init in MSG for ucontext	commit \| commitdiff \| tree
2012-08-02	Marion Guthmuller	model-checker : add block and fragment number in mc_ignore_r...	commit \| commitdiff \| tree
2012-08-01	Marion Guthmuller	model-checker : count ignore done in heap comparison...	commit \| commitdiff \| tree
2012-08-01	Marion Guthmuller	model-checker : sort ignore list and dichotomic search	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom