A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[mc] Add missing XBT_CONNECT, move some out of HAVE_MC
[simgrid.git]
/
src
/
mc
/
mc_private.h
2015-04-27
Gabriel Corona
Merge branch 'master' into mc
blob
|
commitdiff
|
raw
2015-04-23
Marion Guthmuller
model-checker : really fix mc dependancies with MC...
blob
|
commitdiff
|
raw
|
diff to current
2015-04-23
Marion Guthmuller
model-checker : fix dependancies without MC
blob
|
commitdiff
|
raw
|
diff to current
2015-04-17
Gabriel Corona
[mc] C++ class ModelChecker
blob
|
commitdiff
|
raw
2015-04-16
Gabriel Corona
[mc] Remove mc_set.cpp
blob
|
commitdiff
|
raw
|
diff to current
2015-04-14
Gabriel Corona
Merge branch 'master' into mc-process
blob
|
commitdiff
|
raw
|
diff to current
2015-04-14
Gabriel Corona
Merge branch 'master' into mc-process
blob
|
commitdiff
|
raw
|
diff to current
2015-04-08
Adrien Lebre
Merge before commiting VM changes - Adrien
blob
|
commitdiff
|
raw
|
diff to current
2015-04-04
Martin Quinson
mv msg/msg.h simgrid/msg.h
blob
|
commitdiff
|
raw
|
diff to current
2015-03-26
Gabriel Corona
[mc] Cross-process MC/safety implementation
blob
|
commitdiff
|
raw
|
diff to current
2015-03-12
Gabriel Corona
[mc] Fetch simix_process_maxpid from MCed
blob
|
commitdiff
|
raw
|
diff to current
2015-03-10
Gabriel Corona
Merge branch 'master' into mc-process
blob
|
commitdiff
|
raw
|
diff to current
2015-02-24
Marion Guthmuller
model-checker : non-progressive cycle detection (enable...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-18
Arnaud Legrand
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-12
Gabriel Corona
Merge master into mc-process
blob
|
commitdiff
|
raw
|
diff to current
2015-02-09
Marion Guthmuller
model-checker : intermediate backtracking with model...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Gabriel Corona
[mc] Implement remote support for MC_ignore
blob
|
commitdiff
|
raw
|
diff to current
2015-02-03
Gabriel Corona
[mc] Basic infrastructure for a real model-checker...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-09
Gabriel Corona
[mc] Remove remaining bits on hardcoded object list
blob
|
commitdiff
|
raw
|
diff to current
2014-12-08
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-12-04
Gabriel Corona
[mc] Move process info in a new s_mc_process_t structure
blob
|
commitdiff
|
raw
|
diff to current
2014-12-04
Gabriel Corona
Merge branch 'master'
blob
|
commitdiff
|
raw
|
diff to current
2014-12-04
Gabriel Corona
[mc] Don't use unprototyped functions
blob
|
commitdiff
|
raw
|
diff to current
2014-12-04
Gabriel Corona
[mc] Remove useless header #includes
blob
|
commitdiff
|
raw
|
diff to current
2014-12-02
Gabriel Corona
[mc] Modularise header files for MC
blob
|
commitdiff
|
raw
|
diff to current
2014-12-02
Gabriel Corona
[mc] Define a type for MC object information flags
blob
|
commitdiff
|
raw
|
diff to current
2014-12-01
Gabriel Corona
[mc] Enable MC specific behaviour in replay mode
blob
|
commitdiff
|
raw
|
diff to current
2014-12-01
Gabriel Corona
[mc] Initial support MC record/replay
blob
|
commitdiff
|
raw
|
diff to current
2014-11-28
Adrien Lebre
merge msg_vm.c - adrien (please note that there is...
blob
|
commitdiff
|
raw
|
diff to current
2014-11-06
Gabriel Corona
[mc] Add MC_dump_stacks
blob
|
commitdiff
|
raw
|
diff to current
2014-11-04
Marion Guthmuller
model-checker : save and restore file descriptors
blob
|
commitdiff
|
raw
|
diff to current
2014-11-02
Martin Quinson
rename smx_action_t to smx_synchro_t
blob
|
commitdiff
|
raw
|
diff to current
2014-10-31
Gabriel Corona
[mc] Make MC_resolve_subtype() and MC_resolve_subtype...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-30
Gabriel Corona
[mc] Document/simplify MC_request_is_enabled()
blob
|
commitdiff
|
raw
|
diff to current
2014-10-30
Gabriel Corona
[mc] DRY with mc_update_comm_pattern() (broken)
blob
|
commitdiff
|
raw
|
diff to current
2014-10-30
Gabriel Corona
[mc] DRY by adding get_call_type()
blob
|
commitdiff
|
raw
|
diff to current
2014-10-30
Gabriel Corona
[mc] Try to DRY in MC main loops
blob
|
commitdiff
|
raw
|
diff to current
2014-10-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-13
Lucas Mello Schnorr
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-13
Gabriel Corona
[mc] Prepare support for register location in DWARF...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-09
Martin Quinson
make my previous commit also compile under MC (sorry)
blob
|
commitdiff
|
raw
|
diff to current
2014-10-09
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-09
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-09
Gabriel Corona
[mc] Give the real type of mc_heap/std_heap (xbt_mheap_...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-25
Gabriel Corona
[mc] Make state/snapshot comparison work with SMPI...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-25
Gabriel Corona
Merge branch 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-07-25
Gabriel Corona
[mc] Change the signature of mc_restore_page_snapshot_r...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-24
Gabriel Corona
Merge remote-tracking branch 'origin/mc-fastsnapshot...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-24
Gabriel Corona
[mc] Use mc_region_contain where it could be used
blob
|
commitdiff
|
raw
|
diff to current
2014-07-24
Gabriel Corona
[mc] Udpate doxygen comments
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Gabriel Corona
[mc] Fix name of mc_snapshot_memcmp()
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Gabriel Corona
[mc] Add unit test for mc_snapshot
blob
|
commitdiff
|
raw
|
diff to current
2014-07-08
Gabriel Corona
[mc] Avoid memory allocation for flat snapshots in...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-08
Gabriel Corona
[mc] Fix name of mc_snapshot_region_memcmp
blob
|
commitdiff
|
raw
|
diff to current
2014-07-08
Gabriel Corona
Merge branch 'mc-fix' into mc-fastsnapshot
blob
|
commitdiff
|
raw
|
diff to current
2014-07-04
Gabriel Corona
[mc] Fix bound check in mc_snapshot_read_region
blob
|
commitdiff
|
raw
|
diff to current
2014-07-04
Gabriel Corona
[mc] Add mc_snapshot_read_pointer()
blob
|
commitdiff
|
raw
|
diff to current
2014-06-27
Gabriel Corona
Merge branch 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-27
Gabriel Corona
Merge branch 'mc-fastsnapshot' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Marion Guthmuller
model-checker : visited states reduction available...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Gabriel Corona
[mc] Inline mc_snapshot_read_region()
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Gabriel Corona
[mc] Inline mc_translate_address() and mc_translate_add...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-24
Gabriel Corona
[mc] Use an unordered_set for compared_pointers instead...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-23
Gabriel Corona
[mc] Always inline mc_page_store_get_page (C version...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-23
Gabriel Corona
[mc] Move method definition out of class declaratio...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-20
Gabriel Corona
[mc] Always inline 'inline' functions
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Gabriel Corona
[mc] Avoid region lookup when we know we are in the...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
[mc] Do not use offsetof() in mc_snapshot_get_heap_end
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
[mc] Fix mc_snapshot_get_heap_end() for per-page snapshots
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
[mc] Fix mc_translate_address_region() for per-page...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
[mc] Remove mc_untranslate_address() and mc_member_snap...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
[mc] Use mc_snapshot_read in mc_diff (compatibility...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Gabriel Corona
[mc] Use process addresses in mc_compare
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Gabriel Corona
[mc] Partial integration of per-page snapshot address...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Gabriel Corona
[mc] Simplify s_mc_snapshot_stack
blob
|
commitdiff
|
raw
|
diff to current
2014-06-13
Gabriel Corona
[mc] Page-level sparse snapshot: work-in-progress,...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-13
Gabriel Corona
[mc] In MC_ignore, keep the zeroed data out of the...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-04
Marion Guthmuller
model-checker : compare the pid of enabled processes...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-30
Marion Guthmuller
model-checker : fix comm determinism detection mechanisms
blob
|
commitdiff
|
raw
|
diff to current
2014-05-30
Marion Guthmuller
model-checker : forget file
blob
|
commitdiff
|
raw
|
diff to current
2014-05-26
Gabriel Corona
Merge branch 'master' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-05-16
Gabriel Corona
Merge branch 'mc_without_ksm' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-05-16
Gabriel Corona
[mc] Use the actual heap size when testing if an addres...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-13
Gabriel Corona
[mc] Rename raw_heap into mc_heap
blob
|
commitdiff
|
raw
|
diff to current
2014-05-12
Marion Guthmuller
model-checker : complete comm pattern only after a...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-05
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-29
Marion Guthmuller
model-checker : fix the detection of determinism
blob
|
commitdiff
|
raw
|
diff to current
2014-04-22
Stéphane Castelli
Merge branch 'smpi-topo'
blob
|
commitdiff
|
raw
|
diff to current
2014-04-04
Gabriel Corona
Merge branch 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-04-04
Gabriel Corona
[mc] Make snapshots compatible with SMPI privatization...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Martin Quinson
Revert "Remove XBT_INFO call"
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Pierre Veyre
Remove XBT_INFO call
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-28
Gabriel Corona
[mc] Change type for type->id
blob
|
commitdiff
|
raw
|
diff to current
2014-03-28
Gabriel Corona
[mc] Fix type of expression resolution methods (uintpt_...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-25
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-25
Gabriel Corona
Merge branch 'mc++'
blob
|
commitdiff
|
raw
|
diff to current
next