AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2015-04-28	Gabriel Corona	[mc] Remove the dual heap mc_heap/std_heap	commit \| commitdiff \| tree
2015-04-28	Gabriel Corona	[mc] Cleanup MC init code (split MCer and MCed init)	commit \| commitdiff \| tree
2015-04-28	Gabriel Corona	[mc] Move stacks_areas code in mcer_ignore	commit \| commitdiff \| tree
2015-04-28	Gabriel Corona	[mc] Cleanup mc_ignore/mcer_ignore	commit \| commitdiff \| tree
2015-04-28	Gabriel Corona	[mc] Move MCer code from mc_ignore.cpp to mcer_ignore.cpp	commit \| commitdiff \| tree
2015-04-28	Gabriel Corona	[mc] Multiple heap removal (partial)	commit \| commitdiff \| tree
2015-04-27	Gabriel Corona	[mc] Fix XBT_CONNECT, mc_main is not in libsimgrid.so	commit \| commitdiff \| tree
2015-04-27	Gabriel Corona	[mc] Add missing XBT_CONNECT, move some out of HAVE_MC	commit \| commitdiff \| tree
2015-04-27	Gabriel Corona	Fix EXTRA_DIST	commit \| commitdiff \| tree
2015-04-27	Gabriel Corona	Merge branch 'master' into mc	commit \| commitdiff \| tree
2015-04-17	Gabriel Corona	[mc] Do not execute MCer code in MCed mode in MC_remove_igno...	commit \| commitdiff \| tree
2015-04-17	Gabriel Corona	[mc] Add missing copyright notices (and update)	commit \| commitdiff \| tree
2015-04-17	Gabriel Corona	[mc] C++ class PageStore	commit \| commitdiff \| tree
2015-04-17	Gabriel Corona	[mc] C++ class ModelChecker	commit \| commitdiff \| tree
2015-04-17	Gabriel Corona	[mc] Remove mc_interface.h	commit \| commitdiff \| tree
2015-04-17	Gabriel Corona	[mc] Remove soft dirty page tracking	commit \| commitdiff \| tree
2015-04-17	Gabriel Corona	[mc] Remove standalone mode and remove MC_do_the_modelcheck_...	commit \| commitdiff \| tree
2015-04-16	Gabriel Corona	[mc] Remove mc_set.cpp	commit \| commitdiff \| tree
2015-04-16	Gabriel Corona	[mc] Switch to C++	commit \| commitdiff \| tree
2015-04-14	Gabriel Corona	Merge branch 'master' into mc-process	commit \| commitdiff \| tree
2015-04-14	Gabriel Corona	Merge branch 'master' into mc-process	commit \| commitdiff \| tree
2015-04-14	Gabriel Corona	[mc] Fix comm_determinism to work in split MCer/MCed	commit \| commitdiff \| tree
2015-04-13	Gabriel Corona	[mc] Fix MCed event/message loop	commit \| commitdiff \| tree
2015-04-10	Gabriel Corona	[mc] Kill the MCed process if/when the MCer dies	commit \| commitdiff \| tree
2015-04-10	Gabriel Corona	[mc] DRY MC_do_the_modelcheck_for_real()	commit \| commitdiff \| tree
2015-04-09	Gabriel Corona	[mc] Move comm determinism code in mc_comm_determinism.c	commit \| commitdiff \| tree
2015-04-09	Gabriel Corona	[mc] Move liveness in MCer process	commit \| commitdiff \| tree
2015-04-07	Gabriel Corona	[mc] Cleanup safety initialisation code	commit \| commitdiff \| tree
2015-04-07	Gabriel Corona	[mc] Cross-process xbt_swag_size(simix_global->process_list)	commit \| commitdiff \| tree
2015-04-07	Gabriel Corona	[mc] Fix safety initialisation code	commit \| commitdiff \| tree
2015-04-03	Gabriel Corona	[mc] Add %rip and %rsp in MC_dump_stacks() for x86_64	commit \| commitdiff \| tree
2015-04-02	Gabriel Corona	[mc] Fix cross process access to xtd_heap in mc_diff.c	commit \| commitdiff \| tree
2015-04-02	Gabriel Corona	[mc] Fix broken mc_snapshot_get_heap_end()	commit \| commitdiff \| tree
2015-04-02	Gabriel Corona	[mc] Bring back snapshot comparison in safety	commit \| commitdiff \| tree
2015-04-02	Gabriel Corona	[mc] Fix cross-process access in MC_request_is_enabled...	commit \| commitdiff \| tree
2015-03-27	Gabriel Corona	[mc] Fix cross-process support in visited_state_new()	commit \| commitdiff \| tree
2015-03-27	Gabriel Corona	[mc] Read context from remote process in MC_take_snapshot_st...	commit \| commitdiff \| tree
2015-03-26	Gabriel Corona	[mc] Cross-process MC/safety implementation	commit \| commitdiff \| tree
2015-03-26	Gabriel Corona	[mc] Fix buffer size in MC_process_refresh_malloc_info()	commit \| commitdiff \| tree
2015-03-26	Gabriel Corona	[mc] Fix MC_process_read_dynar_element	commit \| commitdiff \| tree
2015-03-24	Gabriel Corona	[mc] Fix: MC_random always starts from 0	commit \| commitdiff \| tree
2015-03-23	Gabriel Corona	[mc] Fix Remote remote access to simix_process_maxpid	commit \| commitdiff \| tree
2015-03-23	Gabriel Corona	[mc] Resolve process in MC_request_is_enabled()	commit \| commitdiff \| tree
2015-03-23	Gabriel Corona	[mc] Remote xbt_dynar_foreach() in MC_request_testany_fail()	commit \| commitdiff \| tree
2015-03-23	Gabriel Corona	[mc] Read from MCed	commit \| commitdiff \| tree
2015-03-20	Gabriel Corona	[mc] Use MC_process_read_string() in MC_smx_process_get_name...	commit \| commitdiff \| tree
2015-03-20	Gabriel Corona	[mc] Remove FIXMEs	commit \| commitdiff \| tree
2015-03-20	Gabriel Corona	[mc] Do not take NULL to mean 'the current address...	commit \| commitdiff \| tree
2015-03-19	Gabriel Corona	[mc] Read rdv->name from MCed in mc_comm_determinism.c	commit \| commitdiff \| tree
2015-03-19	Gabriel Corona	[mc] Read MPI_Request from MCed in mc_comm_determinism.c	commit \| commitdiff \| tree
2015-03-19	Gabriel Corona	[mc] Read *pattern->comm from MCed in mc_comm_dterminism.c	commit \| commitdiff \| tree
2015-03-19	Gabriel Corona	[mc] Read *comm->comm.src_buff from MCed	commit \| commitdiff \| tree
2015-03-17	Gabriel Corona	[mc] Read smpi_loaded_page from MCed in MC_process_init()	commit \| commitdiff \| tree
2015-03-17	Gabriel Corona	[mc] Check variable size in MC_process_read_variable()	commit \| commitdiff \| tree
2015-03-17	Gabriel Corona	[mc] Read smpi_privatisation_regions from MCed in MC_region_...	commit \| commitdiff \| tree
2015-03-17	Gabriel Corona	[mc] mc_checkpoint.c, remove some TODOs	commit \| commitdiff \| tree
2015-03-17	Gabriel Corona	[smpi] Move start_data_exe and size_data_exe in the...	commit \| commitdiff \| tree
2015-03-16	Gabriel Corona	[mc] Read smpi_process_count() from remote process	commit \| commitdiff \| tree
2015-03-16	Gabriel Corona	[mc] Read from remote process in MC_wait_for_requests()	commit \| commitdiff \| tree
2015-03-16	Gabriel Corona	[mc] Read from remote process in MC_request_get_dot_output()	commit \| commitdiff \| tree
2015-03-16	Gabriel Corona	[mc] Read from remote process in MC_request_is_enabled_by_idx()	commit \| commitdiff \| tree
2015-03-16	Gabriel Corona	[mc] Read from remote process in MC_request_to_string()	commit \| commitdiff \| tree
2015-03-13	Gabriel Corona	[mc] Avoid useless malloc	commit \| commitdiff \| tree
2015-03-13	Gabriel Corona	[mc] Cross process access to simcall synchro	commit \| commitdiff \| tree
2015-03-13	Gabriel Corona	[mc] Fix namespace for transition pattern code	commit \| commitdiff \| tree
2015-03-13	Gabriel Corona	[mc] mc_comm_pattern.c containing all communication...	commit \| commitdiff \| tree
2015-03-12	Gabriel Corona	[mc] MCed memory access in MC_state_get_request()	commit \| commitdiff \| tree
2015-03-12	Gabriel Corona	[mc] Remote support for filling state->internal_comm	commit \| commitdiff \| tree
2015-03-12	Gabriel Corona	[mc] Fetch simix_process_maxpid from MCed	commit \| commitdiff \| tree
2015-03-12	Gabriel Corona	[mc] Simplify nesting of MC_state_get_request	commit \| commitdiff \| tree
2015-03-10	Gabriel Corona	Merge branch 'master' into mc-process	commit \| commitdiff \| tree
2015-03-10	Gabriel Corona	[mc] Add more smx_process_t MCer/MCed translations	commit \| commitdiff \| tree
2015-03-10	Gabriel Corona	[mc] Remote access to process name	commit \| commitdiff \| tree
2015-03-09	Gabriel Corona	[mc] Read host name from remote process	commit \| commitdiff \| tree
2015-03-06	Gabriel Corona	[mc] Cross-process access to smx_process and simcall	commit \| commitdiff \| tree
2015-02-27	Gabriel Corona	Add missing copyright notice	commit \| commitdiff \| tree
2015-02-23	Gabriel Corona	[mc] Use MC_process_is_enabled instead of MC_request_is_enabled	commit \| commitdiff \| tree
2015-02-13	Gabriel Corona	[mc] Do not use strerror(), not thread-safe	commit \| commitdiff \| tree
2015-02-13	Gabriel Corona	[mc] Remote support for MC_deadlock_check() using MC_MESSAGE...	commit \| commitdiff \| tree
2015-02-12	Gabriel Corona	Merge master into mc-process	commit \| commitdiff \| tree
2015-02-12	Gabriel Corona	[mc] Make an option for file descriptor snapshot (off...	commit \| commitdiff \| tree
2015-02-12	Gabriel Corona	[mc] Mark some issues as fixed	commit \| commitdiff \| tree
2015-02-10	Gabriel Corona	[mc] Server side symbol evaluation	commit \| commitdiff \| tree
2015-02-10	Gabriel Corona	[mc] Register symbols as pointers in the examples	commit \| commitdiff \| tree
2015-02-10	Gabriel Corona	[mc] Extend xbt_propositional_symbols	commit \| commitdiff \| tree
2015-02-10	Gabriel Corona	[mc] Cleanup heap switching code	commit \| commitdiff \| tree
2015-02-06	Gabriel Corona	[mc] Add MCer handling for MC_MESSAGE_IGNORE_HEAP and...	commit \| commitdiff \| tree
2015-02-06	Gabriel Corona	(wip) Move the MCed public API in the same file	commit \| commitdiff \| tree
2015-02-06	Gabriel Corona	[mc] New message for stack_area	commit \| commitdiff \| tree
2015-02-06	Gabriel Corona	[mc] Flag global variables in mc_ignore as belonging...	commit \| commitdiff \| tree
2015-02-06	Gabriel Corona	[mc] Communicate MC_remove_ignore_heap to the remote...	commit \| commitdiff \| tree
2015-02-06	Gabriel Corona	[mc] Do not call malloc_no_memset in mc_snapshot	commit \| commitdiff \| tree
2015-02-06	Gabriel Corona	[mc] Implement remote support for MC_ignore	commit \| commitdiff \| tree
2015-02-06	Gabriel Corona	[mc] Move mc_model_checker in its own .c file	commit \| commitdiff \| tree
2015-02-06	Gabriel Corona	[mc] Communication of heap_area_to_ignore to the remote...	commit \| commitdiff \| tree
2015-02-05	Gabriel Corona	[mc] Define one struct per MC message type	commit \| commitdiff \| tree
2015-02-03	Gabriel Corona	[mc] Move MC_init_pid outside of mc_server	commit \| commitdiff \| tree
2015-02-03	Gabriel Corona	[mc] Remove some functions in mc_server	commit \| commitdiff \| tree
2015-02-03	Gabriel Corona	[mc] Basic infrastructure for a real model-checker...	commit \| commitdiff \| tree
2015-02-02	Gabriel Corona	Enable C++11	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom