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] Do not use strerror(), not thread-safe
[simgrid.git]
/
src
/
mc
/
mc_global.c
2015-02-13
Gabriel Corona
[mc] Do not use strerror(), not thread-safe
blob
|
commitdiff
|
raw
2015-02-13
Gabriel Corona
[mc] Remote support for MC_deadlock_check() using MC_ME...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-12
Gabriel Corona
Merge master into mc-process
blob
|
commitdiff
|
raw
|
diff to current
2015-02-10
Marion Guthmuller
model-checker : intermediate backtracking enabled if...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-10
Gabriel Corona
[mc] Server side symbol evaluation
blob
|
commitdiff
|
raw
|
diff to current
2015-02-10
Gabriel Corona
[mc] Register symbols as pointers in the examples
blob
|
commitdiff
|
raw
|
diff to current
2015-02-10
Gabriel Corona
[mc] Extend xbt_propositional_symbols
blob
|
commitdiff
|
raw
|
diff to current
2015-02-10
Gabriel Corona
[mc] Cleanup heap switching code
blob
|
commitdiff
|
raw
|
diff to current
2015-02-09
Marion Guthmuller
model-checker : cosmetics
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-09
Marion Guthmuller
model-checker : communications determinism with visited...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Gabriel Corona
(wip) Move the MCed public API in the same file
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Gabriel Corona
[mc] Communicate MC_remove_ignore_heap to the remote...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Gabriel Corona
[mc] Move mc_model_checker in its own .c file
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Gabriel Corona
[mc] Communication of heap_area_to_ignore to the remote...
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-30
Gabriel Corona
[mc] Remote unwinding support
blob
|
commitdiff
|
raw
|
diff to current
2014-12-19
Gabriel Corona
[mc] Add some FIXMEs for cross-process support
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
[mc] Don't include libunwind.h in non MC builds
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] Remove useless header #includes
blob
|
commitdiff
|
raw
|
diff to current
2014-12-02
Augustin Degomme
forgot to add this include
blob
|
commitdiff
|
raw
|
diff to current
2014-12-02
Augustin Degomme
let's try to please windows
blob
|
commitdiff
|
raw
|
diff to current
2014-12-01
Gabriel Corona
[mc] Remove MC_ignore_global_variable() calls
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
Revert "[mc] Enable MC specific behaviour in replay...
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] Remove useless condition check
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-02
Martin Quinson
rename smx_action_t to smx_synchro_t
blob
|
commitdiff
|
raw
|
diff to current
2014-11-02
Martin Quinson
rename all SIMIX_pre_* to simcall_HANDLER_*
blob
|
commitdiff
|
raw
|
diff to current
2014-11-01
Martin Quinson
improve a bit the documentation of popping, and align...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-31
Gabriel Corona
[mc] Split config code into mc_config.c
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] Simplify mc_update_comm_pattern
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-12
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-11
Martin Quinson
rename SIMIX_simcall_{pre,post} to SIMIX_simcall_{enter...
blob
|
commitdiff
|
raw
|
diff to current
2014-08-01
Gabriel Corona
[mc] DRY in MC_replay_liveness()
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
Merge branch 'mc'
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-22
Gabriel Corona
[mc] Disable soft-dirty page tracking by default
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-03
Marion Guthmuller
model-checker : check dict content before removing...
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-19
Gabriel Corona
[mc] Config to disable soft-dirty page tracking --cfg...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-18
Paul Bédaride
Merge branch 'v3_11_x'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-18
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
[mc] Add option --cfg=model-check/sparse-checkpoint...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Gabriel Corona
Add some informations/help for the user on SIGSEGV
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Gabriel Corona
[mc] Group MC_ignore_global_variable("mc_diff_info...
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-04
scastelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-04
degomme
Kill f2c. Finally. I hope.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-04
Marion Guthmuller
model-checker : use new variable _sg_mc_liveness instea...
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-06-04
Marion Guthmuller
model-checker : fix backtracking with comm determinism...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-03
Marion Guthmuller
model-checker : comment erroneous ignore (not completel...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-03
Marion Guthmuller
model-checker : remove useless ignore
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 : cleanups, refactoring and apply indent...
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-13
Marion Guthmuller
model-checker : handle waitany simcall
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 : deal with the soundness of DPOR only...
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-15
Stéphane Castelli
Added some work in the creation of links in the fat...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-14
Gabriel Corona
[mc] Only enable KSM on snapshots and not on main memory
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] Kernel Samepage Merging support (Linux)
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
2014-03-25
Gabriel Corona
[mc] Fix DW_OP_addr to translate address into virtual...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Fix handling of inlined subroutines in MC_ignore_l...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Attach correct namespaced name in inlined subrouti...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Process nested-scopes
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Remove MC_dwarf_get_variable_by_name (unused)
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Fix handling of DW_AT_high_pc
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Remove frame->end field which was not used anymore
blob
|
commitdiff
|
raw
|
diff to current
2014-03-24
Gabriel Corona
[mc] Process nested scopes DWARF informations
blob
|
commitdiff
|
raw
|
diff to current
2014-03-21
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-21
Gabriel Corona
Merge branch 'mc++'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-20
Gabriel Corona
[mc] Fix cleanup of info->types
blob
|
commitdiff
|
raw
|
diff to current
2014-03-20
Gabriel Corona
[mc] Fix free callback for type->members
blob
|
commitdiff
|
raw
|
diff to current
next