A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[mc] Fix cross-process support in visited_state_new()
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
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
next