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 some documentation
[simgrid.git]
/
src
/
2014-06-19
Gabriel Corona
[mc] Add some documentation
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Avoid region lookup when we know we are in the...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Fix bug mc_snapshot_read_fragmented
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Replace test-and-die with assert
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Avoid looking up region in mc_diff (we are in...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Fix mc_snapshot_read_fragmented
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Remove heap{base,info}{1,2} field in struct s_mc_d...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Fix inverted test on page soft-dirtiness
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Do not use offsetof() in mc_snapshot_get_heap_end
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Fix mc_snapshot_get_heap_end() for per-page snapshots
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Fix mc_translate_address_region() for per-page...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Remove mc_untranslate_address() and mc_member_snap...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Use mc_snapshot_read in snapshot_compare (compatib...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] mremap does not like MAP_PRIVATE|MAP_ANONYMOUS...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Add option --cfg=model-check/sparse-checkpoint...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Fix bugs in mc_page_snapshot
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Use mc_snapshot_read in mc_diff (compatibility...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Use mc_snapshot_read in dwarf expression evaluatio...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Fix bug in mc_snapshot_read
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Remove useless bits
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Remove useless parameters in compare_local_variables
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Group MC_ignore_global_variable("mc_diff_info...
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Remove useless parts in mmalloc_compare_heap,...
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Use process addresses in mc_compare
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Partial integration of per-page snapshot address...
tree
|
commitdiff
2014-06-16
Gabriel Corona
[mc] Simplify s_mc_snapshot_stack
tree
|
commitdiff
2014-06-13
Gabriel Corona
[mc] Update doc for page_store
tree
|
commitdiff
2014-06-13
Gabriel Corona
[mc] Page-level sparse snapshot: work-in-progress,...
tree
|
commitdiff
2014-06-13
Gabriel Corona
[mc] In MC_ignore, keep the zeroed data out of the...
tree
|
commitdiff
2014-06-05
Gabriel Corona
Remove comment which has not been accurate for a long...
tree
|
commitdiff
2014-06-04
Marion Guthmuller
model-checker : use new variable _sg_mc_liveness instea...
tree
|
commitdiff
2014-06-04
Marion Guthmuller
model-checker : remove useless debug message and add...
tree
|
commitdiff
2014-06-04
Marion Guthmuller
model-checker : compare the pid of enabled processes...
tree
|
commitdiff
2014-06-04
Marion Guthmuller
model-checker : fix backtracking with comm determinism...
tree
|
commitdiff
2014-06-03
Marion Guthmuller
model-checker : comment erroneous ignore (not completel...
tree
|
commitdiff
2014-06-03
Marion Guthmuller
model-checker : use the right heap
tree
|
commitdiff
2014-06-03
Marion Guthmuller
model-checker : reword debug message
tree
|
commitdiff
2014-06-03
Marion Guthmuller
model-checker : mc_dpor.c -> mc_safety.c
tree
|
commitdiff
2014-06-03
Marion Guthmuller
model-checker : remove useless ignore
tree
|
commitdiff
2014-05-30
Marion Guthmuller
model-checker : fix comm determinism detection mechanisms
tree
|
commitdiff
2014-05-30
Marion Guthmuller
model-checker : forget file
tree
|
commitdiff
2014-05-30
Marion Guthmuller
model-checker : cleanups, refactoring and apply indent...
tree
|
commitdiff
2014-05-30
Marion Guthmuller
model-checker : cosmetics in log message
tree
|
commitdiff
2014-05-30
Marion Guthmuller
model-checker : improve error message
tree
|
commitdiff
2014-05-26
Gabriel Corona
[mc] Temporary fix for smpi_process_finalize leading...
tree
|
commitdiff
2014-05-26
Gabriel Corona
Merge branch 'master' into mc
tree
|
commitdiff
2014-05-26
Stéphane Castelli
Fix a compilation error regarding logging and strings...
tree
|
commitdiff
2014-05-26
Stéphane Castelli
Lots of bugfixes for the fat trees, it should at least...
tree
|
commitdiff
2014-05-26
Stéphane Castelli
small cosmetics to AsClusterFatTree::generateDotFile()
tree
|
commitdiff
2014-05-26
Stéphane Castelli
Fix some bugs in fat trees
tree
|
commitdiff
2014-05-24
Martin Quinson
make the xbt_os_time module public
tree
|
commitdiff
2014-05-24
Martin Quinson
update the comments of that file
tree
|
commitdiff
2014-05-23
suter
leak--
tree
|
commitdiff
2014-05-23
suter
allow several hosts to open the same file simultaneously
tree
|
commitdiff
2014-05-23
suter
Throw an exception only when it's really not implemented
tree
|
commitdiff
2014-05-22
Gabriel Corona
Revert "[mmalloc] Use mremap to expand heaps (heap...
tree
|
commitdiff
2014-05-21
Arnaud Giersch
Add some words about %e fore spaces in logs.
tree
|
commitdiff
2014-05-21
Martin Quinson
When the parameter parser is jammed, display the full...
tree
|
commitdiff
2014-05-21
Martin Quinson
add some doc about the trap I just felt into
tree
|
commitdiff
2014-05-20
Arnaud Giersch
Free previously set process data.
tree
|
commitdiff
2014-05-20
Arnaud Giersch
Free smpi_instances.
tree
|
commitdiff
2014-05-20
Arnaud Giersch
Free powerPeak which is unused here.
tree
|
commitdiff
2014-05-20
Arnaud Giersch
Skip simcall when HAVE_TRACING.
tree
|
commitdiff
2014-05-20
Arnaud Giersch
Cosmetics: reuse already defined variable.
tree
|
commitdiff
2014-05-20
Arnaud Giersch
task->counter is initialized only when HAVE_TRACING.
tree
|
commitdiff
2014-05-19
Paul Bédaride
Use boost::intrusive in CpuTi
tree
|
commitdiff
2014-05-18
Martin Quinson
further document the parmap mess. Next step should...
tree
|
commitdiff
2014-05-18
Martin Quinson
greatly improve the documentation of the parallel execu...
tree
|
commitdiff
2014-05-18
Martin Quinson
previous version was initializing retval=0 and then...
tree
|
commitdiff
2014-05-16
degomme
move a declaration. Should fix compilation bug on MacOS X .
tree
|
commitdiff
2014-05-16
degomme
Fix compil without tracing, which was broken multiple...
tree
|
commitdiff
2014-05-16
Gabriel Corona
Merge branch 'mc_without_ksm' into mc
tree
|
commitdiff
2014-05-16
Paul Bédaride
Revert "Replace xbt_heap by boost::heap::fibonacci_heap"
tree
|
commitdiff
2014-05-16
Gabriel Corona
[mc] Avoid memsetting twice
tree
|
commitdiff
2014-05-16
Paul Bédaride
Replace xbt_heap by boost::heap::fibonacci_heap
tree
|
commitdiff
2014-05-16
Paul Bédaride
Remove unnecessary casts
tree
|
commitdiff
2014-05-16
Paul Bédaride
Unify models apis
tree
|
commitdiff
2014-05-16
Gabriel Corona
[mc] Use the actual heap size when testing if an addres...
tree
|
commitdiff
2014-05-16
Gabriel Corona
[mc] Move mm_diff in mc/
tree
|
commitdiff
2014-05-16
Gabriel Corona
[mc] Use the actual heap size when testing if an addres...
tree
|
commitdiff
2014-05-16
Gabriel Corona
[mc] Use the actual heap size when testing if an addres...
tree
|
commitdiff
2014-05-16
Gabriel Corona
[mc] Comments/documentation of memory related code
tree
|
commitdiff
2014-05-14
Stéphane Castelli
Fix a bug in SMPI that leads to a segfault when one...
tree
|
commitdiff
2014-05-14
Stéphane Castelli
Fat trees may actually be used
tree
|
commitdiff
2014-05-14
Stéphane Castelli
Add a routing for fat trees
tree
|
commitdiff
2014-05-13
Marion Guthmuller
model-checker : handle waitany simcall
tree
|
commitdiff
2014-05-13
Gabriel Corona
[mc] Rename raw_heap into mc_heap
tree
|
commitdiff
2014-05-13
Stéphane Castelli
The tag cluster accepts the topology fat_tree
tree
|
commitdiff
2014-05-13
Stéphane Castelli
Add a function returning an instance of fat tree
tree
|
commitdiff
2014-05-13
Gabriel Corona
[mmalloc] Use mremap to expand heaps (heap collision...
tree
|
commitdiff
2014-05-12
Henri Casanova
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-05-12
Marion Guthmuller
model-checker : complete comm pattern only after a...
tree
|
commitdiff
2014-05-12
Arnaud Giersch
Set return value.
tree
|
commitdiff
2014-05-12
Arnaud Giersch
Don't try to kill non-existing process (*process =...
tree
|
commitdiff
2014-05-12
Arnaud Giersch
Fix dead assignments.
tree
|
commitdiff
2014-05-12
Arnaud Giersch
Add check for error.
tree
|
commitdiff
2014-05-12
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-05-12
Stéphane Castelli
Fix use of wrong variable
tree
|
commitdiff
2014-05-09
Henri Casanova
Added a --cfg="smpi/simulation_computation" to smpirun...
tree
|
commitdiff
2014-05-08
Henri Casanova
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
next