AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2015-04-07	Gabriel Corona	[mc] Fix safety initialisation code	commit \| commitdiff \| tree \| snapshot
2015-04-03	Gabriel Corona	[mc] Add %rip and %rsp in MC_dump_stacks() for x86_64	commit \| commitdiff \| tree \| snapshot
2015-04-02	Gabriel Corona	[mc] Fix cross process access to xtd_heap in mc_diff.c	commit \| commitdiff \| tree \| snapshot
2015-04-02	Gabriel Corona	[mc] Fix broken mc_snapshot_get_heap_end()	commit \| commitdiff \| tree \| snapshot
2015-04-02	Gabriel Corona	[mc] Bring back snapshot comparison in safety	commit \| commitdiff \| tree \| snapshot
2015-04-02	Gabriel Corona	[mc] Fix cross-process access in MC_request_is_enabled...	commit \| commitdiff \| tree \| snapshot
2015-03-27	Gabriel Corona	[mc] Fix cross-process support in visited_state_new()	commit \| commitdiff \| tree \| snapshot
2015-03-27	Gabriel Corona	[mc] Read context from remote process in MC_take_snapsh...	commit \| commitdiff \| tree \| snapshot
2015-03-26	Gabriel Corona	[mc] Cross-process MC/safety implementation	commit \| commitdiff \| tree \| snapshot
2015-03-26	Gabriel Corona	[mc] Fix buffer size in MC_process_refresh_malloc_info()	commit \| commitdiff \| tree \| snapshot
2015-03-26	Gabriel Corona	[mc] Fix MC_process_read_dynar_element	commit \| commitdiff \| tree \| snapshot
2015-03-24	Gabriel Corona	[mc] Fix: MC_random always starts from 0	commit \| commitdiff \| tree \| snapshot
2015-03-23	Gabriel Corona	[mc] Fix Remote remote access to simix_process_maxpid	commit \| commitdiff \| tree \| snapshot
2015-03-23	Gabriel Corona	[mc] Resolve process in MC_request_is_enabled()	commit \| commitdiff \| tree \| snapshot
2015-03-23	Gabriel Corona	[mc] Remote xbt_dynar_foreach() in MC_request_testany_f...	commit \| commitdiff \| tree \| snapshot
2015-03-23	Gabriel Corona	[mc] Read from MCed	commit \| commitdiff \| tree \| snapshot
2015-03-20	Gabriel Corona	[mc] Use MC_process_read_string() in MC_smx_process_get...	commit \| commitdiff \| tree \| snapshot
2015-03-20	Gabriel Corona	[mc] Remove FIXMEs	commit \| commitdiff \| tree \| snapshot
2015-03-20	Gabriel Corona	[mc] Do not take NULL to mean 'the current address...	commit \| commitdiff \| tree \| snapshot
2015-03-19	Gabriel Corona	[mc] Read rdv->name from MCed in mc_comm_determinism.c	commit \| commitdiff \| tree \| snapshot
2015-03-19	Gabriel Corona	[mc] Read MPI_Request from MCed in mc_comm_determinism.c	commit \| commitdiff \| tree \| snapshot
2015-03-19	Gabriel Corona	[mc] Read *pattern->comm from MCed in mc_comm_dterminism.c	commit \| commitdiff \| tree \| snapshot
2015-03-19	Gabriel Corona	[mc] Read *comm->comm.src_buff from MCed	commit \| commitdiff \| tree \| snapshot
2015-03-17	Gabriel Corona	[mc] Read smpi_loaded_page from MCed in MC_process_init()	commit \| commitdiff \| tree \| snapshot
2015-03-17	Gabriel Corona	[mc] Check variable size in MC_process_read_variable()	commit \| commitdiff \| tree \| snapshot
2015-03-17	Gabriel Corona	[mc] Read smpi_privatisation_regions from MCed in MC_re...	commit \| commitdiff \| tree \| snapshot
2015-03-17	Gabriel Corona	[mc] mc_checkpoint.c, remove some TODOs	commit \| commitdiff \| tree \| snapshot
2015-03-17	Gabriel Corona	[smpi] Move start_data_exe and size_data_exe in the...	commit \| commitdiff \| tree \| snapshot
2015-03-16	Gabriel Corona	[mc] Read smpi_process_count() from remote process	commit \| commitdiff \| tree \| snapshot
2015-03-16	Gabriel Corona	[mc] Read from remote process in MC_wait_for_requests()	commit \| commitdiff \| tree \| snapshot
2015-03-16	Gabriel Corona	[mc] Read from remote process in MC_request_get_dot_out...	commit \| commitdiff \| tree \| snapshot
2015-03-16	Gabriel Corona	[mc] Read from remote process in MC_request_is_enabled_...	commit \| commitdiff \| tree \| snapshot
2015-03-16	Gabriel Corona	[mc] Read from remote process in MC_request_to_string()	commit \| commitdiff \| tree \| snapshot
2015-03-13	Gabriel Corona	[mc] Avoid useless malloc	commit \| commitdiff \| tree \| snapshot
2015-03-13	Gabriel Corona	[mc] Cross process access to simcall synchro	commit \| commitdiff \| tree \| snapshot
2015-03-13	Gabriel Corona	[mc] Fix namespace for transition pattern code	commit \| commitdiff \| tree \| snapshot
2015-03-13	Gabriel Corona	[mc] mc_comm_pattern.c containing all communication...	commit \| commitdiff \| tree \| snapshot
2015-03-12	Gabriel Corona	[mc] MCed memory access in MC_state_get_request()	commit \| commitdiff \| tree \| snapshot
2015-03-12	Gabriel Corona	[mc] Remote support for filling state->internal_comm	commit \| commitdiff \| tree \| snapshot
2015-03-12	Gabriel Corona	[mc] Fetch simix_process_maxpid from MCed	commit \| commitdiff \| tree \| snapshot
2015-03-12	Gabriel Corona	[mc] Simplify nesting of MC_state_get_request	commit \| commitdiff \| tree \| snapshot
2015-03-10	Gabriel Corona	Merge branch 'master' into mc-process	commit \| commitdiff \| tree \| snapshot
2015-03-10	Gabriel Corona	[mc] Add more smx_process_t MCer/MCed translations	commit \| commitdiff \| tree \| snapshot
2015-03-10	Gabriel Corona	[mc] Remote access to process name	commit \| commitdiff \| tree \| snapshot
2015-03-09	Gabriel Corona	[mc] Read host name from remote process	commit \| commitdiff \| tree \| snapshot
2015-03-06	Gabriel Corona	[mc] Cross-process access to smx_process and simcall	commit \| commitdiff \| tree \| snapshot
2015-02-27	Gabriel Corona	Add missing copyright notice	commit \| commitdiff \| tree \| snapshot
2015-02-26	Marion Guthmuller	model-checker : MUTEX_UNLOCK is invisible for MC	commit \| commitdiff \| tree \| snapshot
2015-02-26	Marion Guthmuller	model-checker : mutex owner may be NULL after UNLOCK	commit \| commitdiff \| tree \| snapshot
2015-02-25	Marion Guthmuller	model-checker : initialize variable	commit \| commitdiff \| tree \| snapshot
2015-02-25	Marion Guthmuller	model-checker : clang compliant	commit \| commitdiff \| tree \| snapshot
2015-02-25	Marion Guthmuller	model-checker : removed tesh forgotten in DefinePackage...	commit \| commitdiff \| tree \| snapshot
2015-02-25	Marion Guthmuller	model-checker : include MUTEX_LOCK and UNLOCK in dot...	commit \| commitdiff \| tree \| snapshot
2015-02-25	Marion Guthmuller	model-checker : really (?) fix SIMCALL_MUTEX_LOCK and...	commit \| commitdiff \| tree \| snapshot
2015-02-25	Marion Guthmuller	model-checker : fix SIMCALL_MUTEX_LOCK with MC	commit \| commitdiff \| tree \| snapshot
2015-02-24	Marion Guthmuller	model-checker : extend comm determinism verification	commit \| commitdiff \| tree \| snapshot
2015-02-24	Marion Guthmuller	model-checker : new files forgotten	commit \| commitdiff \| tree \| snapshot
2015-02-24	Marion Guthmuller	model-checker : non-progressive cycle detection (enable...	commit \| commitdiff \| tree \| snapshot
2015-02-23	Martin Quinson	fix the formating of the energy plugin's documentation...	commit \| commitdiff \| tree \| snapshot
2015-02-23	Gabriel Corona	[mc] Use MC_process_is_enabled instead of MC_request_is...	commit \| commitdiff \| tree \| snapshot
2015-02-23	Martin Quinson	some more documentation to the energy plugin	commit \| commitdiff \| tree \| snapshot
2015-02-23	Martin Quinson	rename one of the energy examples	commit \| commitdiff \| tree \| snapshot
2015-02-22	Martin Quinson	cosmetics	commit \| commitdiff \| tree \| snapshot
2015-02-22	Martin Quinson	typo--	commit \| commitdiff \| tree \| snapshot
2015-02-22	Martin Quinson	Ignore the display of the used collective algorithm	commit \| commitdiff \| tree \| snapshot
2015-02-22	Martin Quinson	SMPI: info message when the collective algorithm is...	commit \| commitdiff \| tree \| snapshot
2015-02-22	Martin Quinson	display the information earlier	commit \| commitdiff \| tree \| snapshot
2015-02-18	Arnaud Legrand	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2015-02-18	Arnaud Legrand	Improve error message	commit \| commitdiff \| tree \| snapshot
2015-02-17	Arnaud Giersch	Update SIMGRID_VERSION_DATE.	commit \| commitdiff \| tree \| snapshot
2015-02-17	Arnaud Giersch	Typos.	commit \| commitdiff \| tree \| snapshot
2015-02-17	Arnaud Giersch	Replace remaining smx_action by smx_synchro.	commit \| commitdiff \| tree \| snapshot
2015-02-17	Arnaud Giersch	Fix comments.	commit \| commitdiff \| tree \| snapshot
2015-02-16	Martin Quinson	Have smpirun, smpicc and friends display the simgrid...	commit \| commitdiff \| tree \| snapshot
2015-02-16	Martin Quinson	make smpirun guess the hostfile for cluster tags too	commit \| commitdiff \| tree \| snapshot
2015-02-15	Martin Quinson	misleading typo in the comments	commit \| commitdiff \| tree \| snapshot
2015-02-13	Gabriel Corona	[mc] Do not use strerror(), not thread-safe	commit \| commitdiff \| tree \| snapshot
2015-02-13	Marion Guthmuller	model-checker : include tag in comm determinism verific...	commit \| commitdiff \| tree \| snapshot
2015-02-13	Gabriel Corona	[mc] Remote support for MC_deadlock_check() using MC_ME...	commit \| commitdiff \| tree \| snapshot
2015-02-12	Gabriel Corona	Merge master into mc-process	commit \| commitdiff \| tree \| snapshot
2015-02-12	Gabriel Corona	[mc] Make an option for file descriptor snapshot (off...	commit \| commitdiff \| tree \| snapshot
2015-02-12	Gabriel Corona	[mc] Mark some issues as fixed	commit \| commitdiff \| tree \| snapshot
2015-02-10	Marion Guthmuller	model-checker : intermediate backtracking enabled if...	commit \| commitdiff \| tree \| snapshot
2015-02-10	Gabriel Corona	[mc] Server side symbol evaluation	commit \| commitdiff \| tree \| snapshot
2015-02-10	Marion Guthmuller	model-checker : memory leak	commit \| commitdiff \| tree \| snapshot
2015-02-10	Gabriel Corona	[mc] Register symbols as pointers in the examples	commit \| commitdiff \| tree \| snapshot
2015-02-10	Gabriel Corona	[mc] Extend xbt_propositional_symbols	commit \| commitdiff \| tree \| snapshot
2015-02-10	Gabriel Corona	[mc] Cleanup heap switching code	commit \| commitdiff \| tree \| snapshot
2015-02-09	Marion Guthmuller	model-checker : revalidate tesh	commit \| commitdiff \| tree \| snapshot
2015-02-09	Marion Guthmuller	model-checker : cosmetics	commit \| commitdiff \| tree \| snapshot
2015-02-09	Marion Guthmuller	model-checker : non-recursive liveness algorithm	commit \| commitdiff \| tree \| snapshot
2015-02-09	Marion Guthmuller	model-checker : intermediate backtracking with model...	commit \| commitdiff \| tree \| snapshot
2015-02-09	Marion Guthmuller	model-checker : communications determinism with visited...	commit \| commitdiff \| tree \| snapshot
2015-02-06	Gabriel Corona	[mc] Add MCer handling for MC_MESSAGE_IGNORE_HEAP and...	commit \| commitdiff \| tree \| snapshot
2015-02-06	Gabriel Corona	(wip) Move the MCed public API in the same file	commit \| commitdiff \| tree \| snapshot
2015-02-06	Gabriel Corona	[mc] New message for stack_area	commit \| commitdiff \| tree \| snapshot
2015-02-06	Gabriel Corona	[mc] Flag global variables in mc_ignore as belonging...	commit \| commitdiff \| tree \| snapshot
2015-02-06	Gabriel Corona	[mc] Communicate MC_remove_ignore_heap to the remote...	commit \| commitdiff \| tree \| snapshot
2015-02-06	Gabriel Corona	[mc] Do not call malloc_no_memset in mc_snapshot	commit \| commitdiff \| tree \| snapshot
2015-02-06	Gabriel Corona	[mc] Implement remote support for MC_ignore	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom