Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' into mc
[simgrid.git] / src / mc /
2015-04-27 Gabriel CoronaMerge branch 'master' into mc tree | commitdiff
2015-04-23 Marion Guthmullermodel-checker : declare variable at the right place tree | commitdiff
2015-04-23 Marion Guthmullermodel-checker : unused variable tree | commitdiff
2015-04-23 Marion Guthmullermodel-checker : uninitialized variables tree | commitdiff
2015-04-23 Marion Guthmullermodel-checker : really fix mc dependancies with MC... tree | commitdiff
2015-04-23 Marion Guthmullermodel-checker : fix dependancies without MC tree | commitdiff
2015-04-17 Gabriel Corona[mc] Do not execute MCer code in MCed mode in MC_remove... tree | commitdiff
2015-04-17 Gabriel Corona[mc] Add missing copyright notices (and update) tree | commitdiff
2015-04-17 Gabriel Corona[mc] C++ class PageStore tree | commitdiff
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker tree | commitdiff
2015-04-17 Gabriel Corona[mc] Remove mc_interface.h tree | commitdiff
2015-04-17 Gabriel Corona[mc] Remove soft dirty page tracking tree | commitdiff
2015-04-17 Gabriel Corona[mc] Remove standalone mode and remove MC_do_the_modelc... tree | commitdiff
2015-04-16 Gabriel Corona[mc] Remove mc_set.cpp tree | commitdiff
2015-04-16 Gabriel Corona[mc] Switch to C++ tree | commitdiff
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-04-14 Gabriel Corona[mc] Fix comm_determinism to work in split MCer/MCed tree | commitdiff
2015-04-13 Gabriel Corona[mc] Fix MCed event/message loop tree | commitdiff
2015-04-10 Gabriel Corona[mc] Kill the MCed process if/when the MCer dies tree | commitdiff
2015-04-10 Gabriel Corona[mc] DRY MC_do_the_modelcheck_for_real() tree | commitdiff
2015-04-09 Gabriel Corona[mc] Move comm determinism code in mc_comm_determinism.c tree | commitdiff
2015-04-09 Gabriel Corona[mc] Move liveness in MCer process tree | commitdiff
2015-04-08 Adrien LebreMerge before commiting VM changes - Adrien tree | commitdiff
2015-04-07 Gabriel Corona[mc] Cleanup safety initialisation code tree | commitdiff
2015-04-07 Gabriel Corona[mc] Cross-process xbt_swag_size(simix_global->process_... tree | commitdiff
2015-04-07 Gabriel Corona[mc] Fix safety initialisation code tree | commitdiff
2015-04-04 Martin Quinsonmv msg/msg.h simgrid/msg.h tree | commitdiff
2015-04-03 Gabriel Corona[mc] Add %rip and %rsp in MC_dump_stacks() for x86_64 tree | commitdiff
2015-04-02 Gabriel Corona[mc] Fix cross process access to xtd_heap in mc_diff.c tree | commitdiff
2015-04-02 Gabriel Corona[mc] Fix broken mc_snapshot_get_heap_end() tree | commitdiff
2015-04-02 Gabriel Corona[mc] Bring back snapshot comparison in safety tree | commitdiff
2015-04-02 Gabriel Corona[mc] Fix cross-process access in MC_request_is_enabled... tree | commitdiff
2015-03-27 Gabriel Corona[mc] Fix cross-process support in visited_state_new() tree | commitdiff
2015-03-27 Gabriel Corona[mc] Read context from remote process in MC_take_snapsh... tree | commitdiff
2015-03-26 Gabriel Corona[mc] Cross-process MC/safety implementation tree | commitdiff
2015-03-26 Gabriel Corona[mc] Fix buffer size in MC_process_refresh_malloc_info() tree | commitdiff
2015-03-26 Gabriel Corona[mc] Fix MC_process_read_dynar_element tree | commitdiff
2015-03-24 Gabriel Corona[mc] Fix: MC_random always starts from 0 tree | commitdiff
2015-03-23 Gabriel Corona[mc] Fix Remote remote access to simix_process_maxpid tree | commitdiff
2015-03-23 Gabriel Corona[mc] Resolve process in MC_request_is_enabled() tree | commitdiff
2015-03-23 Gabriel Corona[mc] Remote xbt_dynar_foreach() in MC_request_testany_f... tree | commitdiff
2015-03-23 Gabriel Corona[mc] Read from MCed tree | commitdiff
2015-03-20 Gabriel Corona[mc] Use MC_process_read_string() in MC_smx_process_get... tree | commitdiff
2015-03-20 Gabriel Corona[mc] Remove FIXMEs tree | commitdiff
2015-03-20 Gabriel Corona[mc] Do not take NULL to mean 'the current address... tree | commitdiff
2015-03-19 Gabriel Corona[mc] Read rdv->name from MCed in mc_comm_determinism.c tree | commitdiff
2015-03-19 Gabriel Corona[mc] Read MPI_Request from MCed in mc_comm_determinism.c tree | commitdiff
2015-03-19 Gabriel Corona[mc] Read *pattern->comm from MCed in mc_comm_dterminism.c tree | commitdiff
2015-03-19 Gabriel Corona[mc] Read *comm->comm.src_buff from MCed tree | commitdiff
2015-03-17 Gabriel Corona[mc] Read smpi_loaded_page from MCed in MC_process_init() tree | commitdiff
2015-03-17 Gabriel Corona[mc] Check variable size in MC_process_read_variable() tree | commitdiff
2015-03-17 Gabriel Corona[mc] Read smpi_privatisation_regions from MCed in MC_re... tree | commitdiff
2015-03-17 Gabriel Corona[mc] mc_checkpoint.c, remove some TODOs tree | commitdiff
2015-03-16 Gabriel Corona[mc] Read smpi_process_count() from remote process tree | commitdiff
2015-03-16 Gabriel Corona[mc] Read from remote process in MC_wait_for_requests() tree | commitdiff
2015-03-16 Gabriel Corona[mc] Read from remote process in MC_request_get_dot_out... tree | commitdiff
2015-03-16 Gabriel Corona[mc] Read from remote process in MC_request_is_enabled_... tree | commitdiff
2015-03-16 Gabriel Corona[mc] Read from remote process in MC_request_to_string() tree | commitdiff
2015-03-13 Gabriel Corona[mc] Avoid useless malloc tree | commitdiff
2015-03-13 Gabriel Corona[mc] Cross process access to simcall synchro tree | commitdiff
2015-03-13 Gabriel Corona[mc] Fix namespace for transition pattern code tree | commitdiff
2015-03-13 Gabriel Corona[mc] mc_comm_pattern.c containing all communication... tree | commitdiff
2015-03-12 Gabriel Corona[mc] MCed memory access in MC_state_get_request() tree | commitdiff
2015-03-12 Gabriel Corona[mc] Remote support for filling state->internal_comm tree | commitdiff
2015-03-12 Gabriel Corona[mc] Fetch simix_process_maxpid from MCed tree | commitdiff
2015-03-12 Gabriel Corona[mc] Simplify nesting of MC_state_get_request tree | commitdiff
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-03-10 Gabriel Corona[mc] Add more smx_process_t MCer/MCed translations tree | commitdiff
2015-03-10 Gabriel Corona[mc] Remote access to process name tree | commitdiff
2015-03-09 Gabriel Corona[mc] Read host name from remote process tree | commitdiff
2015-03-06 Gabriel Corona[mc] Cross-process access to smx_process and simcall tree | commitdiff
2015-02-27 Gabriel CoronaAdd missing copyright notice tree | commitdiff
2015-02-26 Marion Guthmullermodel-checker : MUTEX_UNLOCK is invisible for MC tree | commitdiff
2015-02-26 Marion Guthmullermodel-checker : mutex owner may be NULL after UNLOCK tree | commitdiff
2015-02-25 Marion Guthmullermodel-checker : clang compliant tree | commitdiff
2015-02-25 Marion Guthmullermodel-checker : include MUTEX_LOCK and UNLOCK in dot... tree | commitdiff
2015-02-25 Marion Guthmullermodel-checker : really (?) fix SIMCALL_MUTEX_LOCK and... tree | commitdiff
2015-02-25 Marion Guthmullermodel-checker : fix SIMCALL_MUTEX_LOCK with MC tree | commitdiff
2015-02-24 Marion Guthmullermodel-checker : extend comm determinism verification tree | commitdiff
2015-02-24 Marion Guthmullermodel-checker : non-progressive cycle detection (enable... tree | commitdiff
2015-02-23 Gabriel Corona[mc] Use MC_process_is_enabled instead of MC_request_is... tree | commitdiff
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2015-02-13 Gabriel Corona[mc] Do not use strerror(), not thread-safe tree | commitdiff
2015-02-13 Marion Guthmullermodel-checker : include tag in comm determinism verific... tree | commitdiff
2015-02-13 Gabriel Corona[mc] Remote support for MC_deadlock_check() using MC_ME... tree | commitdiff
2015-02-12 Gabriel CoronaMerge master into mc-process tree | commitdiff
2015-02-12 Gabriel Corona[mc] Make an option for file descriptor snapshot (off... tree | commitdiff
2015-02-12 Gabriel Corona[mc] Mark some issues as fixed tree | commitdiff
2015-02-10 Marion Guthmullermodel-checker : intermediate backtracking enabled if... tree | commitdiff
2015-02-10 Gabriel Corona[mc] Server side symbol evaluation tree | commitdiff
2015-02-10 Marion Guthmullermodel-checker : memory leak tree | commitdiff
2015-02-10 Gabriel Corona[mc] Register symbols as pointers in the examples tree | commitdiff
2015-02-10 Gabriel Corona[mc] Extend xbt_propositional_symbols tree | commitdiff
2015-02-10 Gabriel Corona[mc] Cleanup heap switching code tree | commitdiff
2015-02-09 Marion Guthmullermodel-checker : cosmetics tree | commitdiff
2015-02-09 Marion Guthmullermodel-checker : non-recursive liveness algorithm tree | commitdiff
2015-02-09 Marion Guthmullermodel-checker : intermediate backtracking with model... tree | commitdiff
2015-02-09 Marion Guthmullermodel-checker : communications determinism with visited... tree | commitdiff
2015-02-06 Gabriel Corona[mc] Add MCer handling for MC_MESSAGE_IGNORE_HEAP and... tree | commitdiff
next
Clone of SimGrid repository with local patches