Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix EXTRA_DIST
[simgrid.git] / src /
2015-04-27 Gabriel CoronaMerge branch 'master' into mc tree | commitdiff
2015-04-26 Martin Quinsonthis example needs to forcefully destroy the VMs tree | commitdiff
2015-04-26 Martin QuinsonRemove the kill_time timer when a process stops (fix... tree | commitdiff
2015-04-26 Martin Quinsonnew function: remove a given element of the xbt_heap tree | commitdiff
2015-04-26 Martin Quinsonmore consistant identifier names around Java objects... tree | commitdiff
2015-04-25 Martin QuinsonActually allows the GC to reclaim tasks (fix #18874) 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 Christian HeinrichElaborated on error messages in src/msg/msg_process.c 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 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-04-09 Martin Quinsontiny doc improvement 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 Arnaud LegrandMaking the exception/exception test work: tree | commitdiff
2015-04-08 Arnaud LegrandAdding debug messages tree | commitdiff
2015-04-08 Adrien LebreMerge before commiting VM changes - Adrien tree | commitdiff
2015-04-08 Adrien LebreAdd hosts test before migrating a VM - 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-05 Martin Quinsonimprove Java interface tree | commitdiff
2015-04-05 Martin Quinsonkill unused code: Task.get/setId() tree | commitdiff
2015-04-05 Martin Quinsonreindent the java sources tree | commitdiff
2015-04-05 Martin QuinsonRename Task.setDataSize() to Task.setBytesAmount() tree | commitdiff
2015-04-05 Martin QuinsonInterface cleanup tree | commitdiff
2015-04-05 Martin Quinsonrename parameters to make them unanbigous tree | commitdiff
2015-04-04 Martin Quinsonmv msg/msg.h simgrid/msg.h tree | commitdiff
2015-04-04 Martin Quinsonmv simdag/simdag.h simgrid/simdag.h tree | commitdiff
2015-04-04 Martin Quinsoncleanups and simplifications to our build system tree | commitdiff
2015-04-04 Martin Quinsonrename parameters all around to make their meaning... tree | commitdiff
2015-04-04 Martin QuinsonRename Process.currentProcess() to Process.getCurrentPr... tree | commitdiff
2015-04-04 Martin Quinsonno need for that include tree | commitdiff
2015-04-04 Martin Quinsondont segfault when exiting before everything is allocat... tree | commitdiff
2015-04-04 Martin Quinsondont mangle error messages when surf_exit segfaults 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-17 Gabriel Corona[smpi] Move start_data_exe and size_data_exe in the... 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
next
Clone of SimGrid repository with local patches