AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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
2015-01-30	Gabriel Corona	[mc] Remove useless code in ~DWARF test	commit \| commitdiff \| tree
2015-01-30	Gabriel Corona	[mc] Remote unwinding support	commit \| commitdiff \| tree
2015-01-23	Gabriel Corona	[mc] Make a copy of the libunwind context when snapshoting...	commit \| commitdiff \| tree
2015-01-16	Gabriel Corona	[mc] Add some comments	commit \| commitdiff \| tree
2015-01-16	Gabriel Corona	[mc] Create a separate simgrid-mc program	commit \| commitdiff \| tree
2015-01-09	Gabriel Corona	[mc] Remove remaining bits on hardcoded object list	commit \| commitdiff \| tree
2014-12-19	Gabriel Corona	[mc] Add some FIXMEs for cross-process support	commit \| commitdiff \| tree
2014-12-19	Gabriel Corona	[mc] Cross-process support for MC_ignore	commit \| commitdiff \| tree
2014-12-19	Gabriel Corona	[mc] Implements privatization support for MC_process_read	commit \| commitdiff \| tree
2014-12-19	Gabriel Corona	[mc] Abstract the process and a snapshot types with...	commit \| commitdiff \| tree
2014-12-16	Gabriel Corona	[mc] More comments for mc_dwarf_execute_expression()	commit \| commitdiff \| tree
2014-12-16	Gabriel Corona	[mc] Add more information about mc_dwarf_register_to_libunwind()	commit \| commitdiff \| tree
2014-12-12	Gabriel Corona	[mc] Support for reading heap state from another process	commit \| commitdiff \| tree
2014-12-11	Gabriel Corona	[mc] Fix error handling in MC_process{read,write}	commit \| commitdiff \| tree
2014-12-11	Gabriel Corona	[mc] Access memory from another process	commit \| commitdiff \| tree
2014-12-09	Gabriel Corona	[mc] Enable the custom mm malloc only in MC	commit \| commitdiff \| tree
2014-12-09	Gabriel Corona	[mm] Allow to disable the mm based `malloc` at runtime	commit \| commitdiff \| tree
2014-12-09	Gabriel Corona	[mc] Remove redundant typedefs	commit \| commitdiff \| tree
2014-12-09	Gabriel Corona	[mc] Optimise most of XBT	commit \| commitdiff \| tree
2014-12-08	Gabriel Corona	[mc] Optimise all the MC compilation units	commit \| commitdiff \| tree
2014-12-08	Gabriel Corona	[mc] Multiple .so support for region snapshots	commit \| commitdiff \| tree
2014-12-05	Gabriel Corona	[mc] Multiple .so support in MC_ignore_local_variable()	commit \| commitdiff \| tree
2014-12-05	Gabriel Corona	[mc] Basic support for more other libraries than libsimgrid.so	commit \| commitdiff \| tree
2014-12-04	Gabriel Corona	[mc] Move process info in a new s_mc_process_t structure	commit \| commitdiff \| tree
2014-12-04	Gabriel Corona	[mc] Fix distcheck	commit \| commitdiff \| tree
2014-12-04	Gabriel Corona	[mc] Don't include libunwind.h in non MC builds	commit \| commitdiff \| tree
2014-12-04	Gabriel Corona	Merge branch 'master'	commit \| commitdiff \| tree
2014-12-04	Gabriel Corona	[mc] Don't use unprototyped functions	commit \| commitdiff \| tree
2014-12-04	Gabriel Corona	[mc] Remove useless header #includes	commit \| commitdiff \| tree
2014-12-02	Gabriel Corona	[mc] Modularise header files for MC	commit \| commitdiff \| tree
2014-12-02	Gabriel Corona	[mc] Define a type for MC object information flags	commit \| commitdiff \| tree
2014-12-01	Gabriel Corona	[mc] Remove MC_ignore_global_variable() calls	commit \| commitdiff \| tree
2014-12-01	Gabriel Corona	[mc] Enable MC specific behaviour in replay mode	commit \| commitdiff \| tree
2014-12-01	Gabriel Corona	Revert "[mc] Enable MC specific behaviour in replay...	commit \| commitdiff \| tree
2014-12-01	Gabriel Corona	[mc] Enable MC specific behaviour in replay mode	commit \| commitdiff \| tree
2014-12-01	Gabriel Corona	[mc] Remove useless condition check	commit \| commitdiff \| tree
2014-12-01	Gabriel Corona	[mc] Only enable the umpire test for MC builds	commit \| commitdiff \| tree
2014-12-01	Gabriel Corona	Use pthread mutex instead of semaphore in mm	commit \| commitdiff \| tree
2014-12-01	Gabriel Corona	Fix dist	commit \| commitdiff \| tree
2014-12-01	Gabriel Corona	s/formated/formatted/	commit \| commitdiff \| tree
2014-12-01	Gabriel Corona	[mc] Initial support MC record/replay	commit \| commitdiff \| tree
2014-11-25	Gabriel Corona	[mc] Test if the stack-cleaner has any effect	commit \| commitdiff \| tree
2014-11-24	Gabriel Corona	[mc] Disable/enable the stack-cleaner from a CLI argument...	commit \| commitdiff \| tree
2014-11-24	Gabriel Corona	[mc] Fix the stack cleaner	commit \| commitdiff \| tree
2014-11-24	Gabriel Corona	[mc] Fix umpire tests	commit \| commitdiff \| tree
2014-11-21	Gabriel Corona	Merge branch 'xp'	commit \| commitdiff \| tree
2014-11-21	Gabriel Corona	Revert "Temporarily disable an option"	commit \| commitdiff \| tree
2014-11-21	gabriel corona	Temporarily disable an option	commit \| commitdiff \| tree
2014-11-18	Gabriel Corona	Infrastructure for statically defined tracepoints	commit \| commitdiff \| tree
2014-11-18	Gabriel Corona	[mc] Remove reference to DW_TAG_mutable_type:	commit \| commitdiff \| tree
2014-11-17	Gabriel Corona	[mm] Disable HAVE_GNU_LD code in order to get rid of...	commit \| commitdiff \| tree
2014-11-13	Gabriel Corona	Remove warning about uninitialized variable	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom