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
model-checker : extend comm determinism verification
[simgrid.git]
/
src
/
mc
/
mc_global.c
2015-02-24
Marion Guthmuller
model-checker : extend comm determinism verification
blob
|
commitdiff
|
raw
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-10
Marion Guthmuller
model-checker : intermediate backtracking enabled if...
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
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] 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
2014-03-20
Gabriel Corona
[mc] Efficient lookup of subprogram by offset
blob
|
commitdiff
|
raw
|
diff to current
2014-03-18
Gabriel Corona
[mc] Fix compile_warnings
blob
|
commitdiff
|
raw
|
diff to current
2014-03-18
Gabriel Corona
[mc] Use reference to types intead of type IDs
blob
|
commitdiff
|
raw
|
diff to current
2014-03-18
Gabriel Corona
[mc] Fix type name handling
blob
|
commitdiff
|
raw
|
diff to current
2014-03-18
Gabriel Corona
[mc] Add location field in struct/class-members
blob
|
commitdiff
|
raw
|
diff to current
2014-03-07
Gabriel Corona
[mc] Remove old code (mc_location_t)
blob
|
commitdiff
|
raw
|
diff to current
2014-03-07
Gabriel Corona
[mc] Use new DWARF expression code for variables
blob
|
commitdiff
|
raw
|
diff to current
2014-03-06
Gabriel Corona
Merge branch 'mc' into mc++
blob
|
commitdiff
|
raw
|
diff to current
2014-02-28
Gabriel Corona
Merge branch 'mc++' into mc-merge
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
Merge branch 'mc' into mc++
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
Merge bugfix from branch mc-refactor
blob
|
commitdiff
|
raw
|
diff to current
2014-02-25
Gabriel Corona
Merge branches 'mc'
blob
|
commitdiff
|
raw
|
diff to current
next