AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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] 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-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
2014-11-13	Gabriel Corona	Don't use xbt_os_time() when not needed	commit \| commitdiff \| tree
2014-11-13	Gabriel Corona	Fix small leak in NetworkIBModel::NetworkIBMode()	commit \| commitdiff \| tree
2014-11-13	Gabriel Corona	[mc] Disable timer in MC	commit \| commitdiff \| tree
2014-11-07	Gabriel Corona	[mc] Fix distcheck	commit \| commitdiff \| tree
2014-11-07	Gabriel Corona	[mc] Add useless parends to remove WTF warning-which...	commit \| commitdiff \| tree
2014-11-07	Gabriel Corona	[mc] Don't fork another process in the hop spot, MC_get_curr...	commit \| commitdiff \| tree
2014-11-06	Gabriel Corona	[mc] Fix the stack-cleaner	commit \| commitdiff \| tree
2014-11-06	Gabriel Corona	[mc] Add MC_dump_stacks	commit \| commitdiff \| tree
2014-11-04	Gabriel Corona	[mc] Fix FD checkpoint/restore	commit \| commitdiff \| tree
2014-11-03	Gabriel Corona	[mc] Fix the previous stack-cleaning optimisation	commit \| commitdiff \| tree
2014-11-03	Gabriel Corona	[mc] Do nto clean the main stack	commit \| commitdiff \| tree
2014-11-03	Gabriel Corona	[mc] Add stack-cleaning compiler wrappers	commit \| commitdiff \| tree
2014-10-31	Gabriel Corona	[mc] Split config code into mc_config.c	commit \| commitdiff \| tree
2014-10-31	Gabriel Corona	[mc] Make MC_resolve_subtype() and MC_resolve_subtype...	commit \| commitdiff \| tree
2014-10-30	Gabriel Corona	[mc] Document/simplify MC_request_is_enabled()	commit \| commitdiff \| tree
2014-10-30	Gabriel Corona	[mc] Simplify mc_update_comm_pattern	commit \| commitdiff \| tree
2014-10-30	Gabriel Corona	[mc] DRY with mc_update_comm_pattern() (broken)	commit \| commitdiff \| tree
2014-10-30	Gabriel Corona	[mc] DRY by adding get_call_type()	commit \| commitdiff \| tree
2014-10-30	Gabriel Corona	[mc] Try to DRY in MC main loops	commit \| commitdiff \| tree
2014-10-17	Gabriel Corona	[smpi+mc] When restoring a snapshot, always remap the...	commit \| commitdiff \| tree
2014-10-16	Gabriel Corona	Remove irrelevant API documentation	commit \| commitdiff \| tree
2014-10-13	Gabriel Corona	[mmalloc] Expand the junkarea	commit \| commitdiff \| tree
2014-10-13	Gabriel Corona	[mc] Add support for DW_OP_regN locaitions from DW_AT_frame_base	commit \| commitdiff \| tree
2014-10-13	Gabriel Corona	[mc] Prepare support for register location in DWARF...	commit \| commitdiff \| tree
2014-10-13	Gabriel Corona	[mmalloc] Fix junkarea handling in free	commit \| commitdiff \| tree
2014-10-09	Gabriel Corona	[mc] Fix segfault when a function does not have a name	commit \| commitdiff \| tree
2014-10-09	Gabriel Corona	[mc] Give the real type of mc_heap/std_heap (xbt_mheap_t...	commit \| commitdiff \| tree
2014-10-09	Gabriel Corona	[mc] Simplify tests specifications for mc-bugged1-liveness*	commit \| commitdiff \| tree
2014-10-02	Gabriel Corona	[smpi] Leave the underlying structure of MPI_File opaque	commit \| commitdiff \| tree
2014-10-02	Gabriel Corona	[mc] Fix conversion from char 0 into char*	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom