AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2014-07-22	Gabriel Corona	[mc] Disable soft-dirty page tracking by default	commit \| commitdiff \| tree \| snapshot
2014-07-21	Gabriel Corona	[mc] Disable optimisation for xbt when using MC	commit \| commitdiff \| tree \| snapshot
2014-07-21	Gabriel Corona	[mc] Do not handle mc_model_checker->parent_snapshot...	commit \| commitdiff \| tree \| snapshot
2014-07-21	Gabriel Corona	[mmalloc] Force metadata update in mmalloc/mrealloc	commit \| commitdiff \| tree \| snapshot
2014-07-21	Gabriel Corona	[mmalloc] Add mmcheck() which checks mmalloc heap consi...	commit \| commitdiff \| tree \| snapshot
2014-07-21	Gabriel Corona	[mmalloc] Add new block type for heapinfo blocks	commit \| commitdiff \| tree \| snapshot
2014-07-11	Gabriel Corona	[mmalloc] Add documentation	commit \| commitdiff \| tree \| snapshot
2014-07-11	Gabriel Corona	[mmalloc] Avoid useless memset0	commit \| commitdiff \| tree \| snapshot
2014-07-11	Gabriel Corona	[mc] Remove 'previous' variable ind mmalloc_compare_heap()	commit \| commitdiff \| tree \| snapshot
2014-07-11	Gabriel Corona	[mc] Fix test on type in mc_diff	commit \| commitdiff \| tree \| snapshot
2014-07-10	Gabriel Corona	[mc] Fix name of mc_snapshot_memcmp()	commit \| commitdiff \| tree \| snapshot
2014-07-10	Gabriel Corona	[mc] Add unit tests for reading/comparing the whole...	commit \| commitdiff \| tree \| snapshot
2014-07-10	Gabriel Corona	[mc] Test flat snapshots as well	commit \| commitdiff \| tree \| snapshot
2014-07-10	Gabriel Corona	[mc] Add unit test for mc_snapshot	commit \| commitdiff \| tree \| snapshot
2014-07-08	Gabriel Corona	[mc] Move page store test from the integration test...	commit \| commitdiff \| tree \| snapshot
2014-07-08	Gabriel Corona	Add support for C++ in tools/sg_unit_extractor.pl	commit \| commitdiff \| tree \| snapshot
2014-07-08	Gabriel Corona	[mc] Use mc_snapshot_region_memcmp() in compare_areas_w...	commit \| commitdiff \| tree \| snapshot
2014-07-08	Gabriel Corona	[mc] Avoid memory allocation for flat snapshots in...	commit \| commitdiff \| tree \| snapshot
2014-07-08	Gabriel Corona	[mc] Fix name of mc_snapshot_region_memcmp	commit \| commitdiff \| tree \| snapshot
2014-07-08	Gabriel Corona	Merge branch 'mc-fix' into mc-fastsnapshot	commit \| commitdiff \| tree \| snapshot
2014-07-08	Gabriel Corona	[mc] Fix check on type name	commit \| commitdiff \| tree \| snapshot
2014-07-08	Gabriel Corona	[mc] Fix bad parameter passed in mc_diff	commit \| commitdiff \| tree \| snapshot
2014-07-07	Gabriel Corona	[mc] Fix lookup of malloc fragment type	commit \| commitdiff \| tree \| snapshot
2014-07-04	Gabriel Corona	[mc] Fix bound check in mc_snapshot_read_region	commit \| commitdiff \| tree \| snapshot
2014-07-04	Gabriel Corona	[mc] Add mc_snapshot_read_pointer()	commit \| commitdiff \| tree \| snapshot
2014-07-04	Gabriel Corona	[mc] Bug: MC was reading from the wrong region	commit \| commitdiff \| tree \| snapshot
2014-06-26	Gabriel Corona	[mc] Inline mc_snapshot_read_region()	commit \| commitdiff \| tree \| snapshot
2014-06-26	Gabriel Corona	[mc] Inline mc_translate_address() and mc_translate_add...	commit \| commitdiff \| tree \| snapshot
2014-06-26	Gabriel Corona	[mc] Forgot to decrease the page refcounts when freeing...	commit \| commitdiff \| tree \| snapshot
2014-06-24	Gabriel Corona	[mc] Add support of privatized global variables in...	commit \| commitdiff \| tree \| snapshot
2014-06-24	Gabriel Corona	[mc] Avoid loosing meaningful bits ot pair.p2 when...	commit \| commitdiff \| tree \| snapshot
2014-06-24	Gabriel Corona	[mc] Use an unordered_set for compared_pointers instead...	commit \| commitdiff \| tree \| snapshot
2014-06-24	Gabriel Corona	[mc] Remove declaration of mc_read_pagemap() in mc_page...	commit \| commitdiff \| tree \| snapshot
2014-06-24	Gabriel Corona	[mc] Optimise more files	commit \| commitdiff \| tree \| snapshot
2014-06-23	Gabriel Corona	[mc] Always inline mc_page_store_get_page (C version...	commit \| commitdiff \| tree \| snapshot
2014-06-23	Gabriel Corona	[mc] Move method definition out of class declaratio...	commit \| commitdiff \| tree \| snapshot
2014-06-20	Gabriel Corona	[mc] Reset the softdirty bits before restoring the...	commit \| commitdiff \| tree \| snapshot
2014-06-20	Gabriel Corona	[mc] Try to use optimisation with some part of the MC	commit \| commitdiff \| tree \| snapshot
2014-06-20	Gabriel Corona	[mc] Always inline 'inline' functions	commit \| commitdiff \| tree \| snapshot
2014-06-20	Gabriel Corona	[mc] Fix compilation warnings/errors when optimizing	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Documentation of mc_page_snapshot	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Config to disable soft-dirty page tracking --cfg...	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Avoid big alloca in mc_snapshot_region_memcp and...	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Poor man's TCO in compare_heap_area_with_type()	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Do not allocate pagemap buffer on the heap	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] pread_whole must restart in cas of EINTR, not...	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Documentation about per-page snapshots	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Add some documentation	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Avoid region lookup when we know we are in the...	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Fix bug mc_snapshot_read_fragmented	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Replace test-and-die with assert	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Avoid looking up region in mc_diff (we are in...	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Fix mc_snapshot_read_fragmented	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Remove heap{base,info}{1,2} field in struct s_mc_d...	commit \| commitdiff \| tree \| snapshot
2014-06-19	Gabriel Corona	[mc] Fix inverted test on page soft-dirtiness	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] Do not use offsetof() in mc_snapshot_get_heap_end	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] Fix mc_snapshot_get_heap_end() for per-page snapshots	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] Fix mc_translate_address_region() for per-page...	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] Remove mc_untranslate_address() and mc_member_snap...	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] Use mc_snapshot_read in snapshot_compare (compatib...	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] mremap does not like MAP_PRIVATE\|MAP_ANONYMOUS...	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] Add option --cfg=model-check/sparse-checkpoint...	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] Fix bugs in mc_page_snapshot	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] Use mc_snapshot_read in mc_diff (compatibility...	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] Use mc_snapshot_read in dwarf expression evaluatio...	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] Fix bug in mc_snapshot_read	commit \| commitdiff \| tree \| snapshot
2014-06-17	Gabriel Corona	[mc] Remove useless bits	commit \| commitdiff \| tree \| snapshot
2014-06-16	Gabriel Corona	[mc] Remove useless parameters in compare_local_variables	commit \| commitdiff \| tree \| snapshot
2014-06-16	Gabriel Corona	[mc] Group MC_ignore_global_variable("mc_diff_info...	commit \| commitdiff \| tree \| snapshot
2014-06-16	Gabriel Corona	[mc] Remove useless parts in mmalloc_compare_heap,...	commit \| commitdiff \| tree \| snapshot
2014-06-16	Gabriel Corona	[mc] Use process addresses in mc_compare	commit \| commitdiff \| tree \| snapshot
2014-06-16	Gabriel Corona	[mc] Partial integration of per-page snapshot address...	commit \| commitdiff \| tree \| snapshot
2014-06-16	Gabriel Corona	[mc] Simplify s_mc_snapshot_stack	commit \| commitdiff \| tree \| snapshot
2014-06-13	Gabriel Corona	[mc] Update doc for page_store	commit \| commitdiff \| tree \| snapshot
2014-06-13	Gabriel Corona	[mc] Page-level sparse snapshot: work-in-progress,...	commit \| commitdiff \| tree \| snapshot
2014-06-13	Gabriel Corona	[mc] In MC_ignore, keep the zeroed data out of the...	commit \| commitdiff \| tree \| snapshot
2014-06-05	Gabriel Corona	Remove comment which has not been accurate for a long...	commit \| commitdiff \| tree \| snapshot
2014-06-04	Marion Guthmuller	model-checker : use new variable _sg_mc_liveness instea...	commit \| commitdiff \| tree \| snapshot
2014-06-04	Marion Guthmuller	model-checker : remove useless debug message and add...	commit \| commitdiff \| tree \| snapshot
2014-06-04	Marion Guthmuller	model-checker : compare the pid of enabled processes...	commit \| commitdiff \| tree \| snapshot
2014-06-04	Marion Guthmuller	model-checker : fix backtracking with comm determinism...	commit \| commitdiff \| tree \| snapshot
2014-06-03	Marion Guthmuller	model-checker : comment erroneous ignore (not completel...	commit \| commitdiff \| tree \| snapshot
2014-06-03	Marion Guthmuller	model-checker : use the right heap	commit \| commitdiff \| tree \| snapshot
2014-06-03	Marion Guthmuller	model-checker : reword debug message	commit \| commitdiff \| tree \| snapshot
2014-06-03	Marion Guthmuller	model-checker : mc_dpor.c -> mc_safety.c	commit \| commitdiff \| tree \| snapshot
2014-06-03	Marion Guthmuller	model-checker : remove useless ignore	commit \| commitdiff \| tree \| snapshot
2014-06-03	Marion Guthmuller	model-checker : new tesh examples about communications...	commit \| commitdiff \| tree \| snapshot
2014-05-30	Marion Guthmuller	model-checker : fix comm determinism detection mechanisms	commit \| commitdiff \| tree \| snapshot
2014-05-30	Marion Guthmuller	model-checker : forget file	commit \| commitdiff \| tree \| snapshot
2014-05-30	Marion Guthmuller	model-checker : cleanups, refactoring and apply indent...	commit \| commitdiff \| tree \| snapshot
2014-05-30	Marion Guthmuller	model-checker : cosmetics in log message	commit \| commitdiff \| tree \| snapshot
2014-05-30	Marion Guthmuller	model-checker : improve error message	commit \| commitdiff \| tree \| snapshot
2014-05-26	Gabriel Corona	[mc] Temporary fix for smpi_process_finalize leading...	commit \| commitdiff \| tree \| snapshot
2014-05-26	Gabriel Corona	Merge branch 'master' into mc	commit \| commitdiff \| tree \| snapshot
2014-05-26	Stéphane Castelli	Fix a compilation error regarding logging and strings...	commit \| commitdiff \| tree \| snapshot
2014-05-26	Stéphane Castelli	Lots of bugfixes for the fat trees, it should at least...	commit \| commitdiff \| tree \| snapshot
2014-05-26	Stéphane Castelli	small cosmetics to AsClusterFatTree::generateDotFile()	commit \| commitdiff \| tree \| snapshot
2014-05-26	Stéphane Castelli	Fix some bugs in fat trees	commit \| commitdiff \| tree \| snapshot
2014-05-24	Martin Quinson	make the xbt_os_time module public	commit \| commitdiff \| tree \| snapshot
2014-05-24	Martin Quinson	update the comments of that file	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom