A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
simgrid.git
2014-06-26
Marion Guthmuller
model-checker : minor fix in comments
commit
|
commitdiff
|
tree
|
snapshot
2014-06-26
Marion Guthmuller
model-checker : update tesh
commit
|
commitdiff
|
tree
|
snapshot
2014-06-26
Marion Guthmuller
model-checker : visited states reduction available...
commit
|
commitdiff
|
tree
|
snapshot
2014-06-23
Marion Guthmuller
model-checker : clarify comments
commit
|
commitdiff
|
tree
|
snapshot
2014-06-13
Gabriel Corona
[mc] In MC_ignore, keep the zeroed data out of the...
commit
|
commitdiff
|
tree
|
snapshot
2014-06-05
Gabriel Corona
Remove comment which has not been accurate for a long...
commit
|
commitdiff
|
tree
|
snapshot
2014-06-04
Marion Guthmuller
model-checker : use new variable _sg_mc_liveness instea...
commit
|
commitdiff
|
tree
|
snapshot
2014-06-04
Marion Guthmuller
model-checker : remove useless debug message and add...
commit
|
commitdiff
|
tree
|
snapshot
2014-06-04
Marion Guthmuller
model-checker : compare the pid of enabled processes...
commit
|
commitdiff
|
tree
|
snapshot
2014-06-04
Marion Guthmuller
model-checker : fix backtracking with comm determinism...
commit
|
commitdiff
|
tree
|
snapshot
2014-06-03
Marion Guthmuller
model-checker : comment erroneous ignore (not completel...
commit
|
commitdiff
|
tree
|
snapshot
2014-06-03
Marion Guthmuller
model-checker : use the right heap
commit
|
commitdiff
|
tree
|
snapshot
2014-06-03
Marion Guthmuller
model-checker : reword debug message
commit
|
commitdiff
|
tree
|
snapshot
2014-06-03
Marion Guthmuller
model-checker : mc_dpor.c -> mc_safety.c
commit
|
commitdiff
|
tree
|
snapshot
2014-06-03
Marion Guthmuller
model-checker : remove useless ignore
commit
|
commitdiff
|
tree
|
snapshot
2014-06-03
Marion Guthmuller
model-checker : new tesh examples about communications...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-30
Marion Guthmuller
model-checker : fix comm determinism detection mechanisms
commit
|
commitdiff
|
tree
|
snapshot
2014-05-30
Marion Guthmuller
model-checker : forget file
commit
|
commitdiff
|
tree
|
snapshot
2014-05-30
Marion Guthmuller
model-checker : cleanups, refactoring and apply indent...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-30
Marion Guthmuller
model-checker : cosmetics in log message
commit
|
commitdiff
|
tree
|
snapshot
2014-05-30
Marion Guthmuller
model-checker : improve error message
commit
|
commitdiff
|
tree
|
snapshot
2014-05-26
Gabriel Corona
[mc] Temporary fix for smpi_process_finalize leading...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-26
Gabriel Corona
Merge branch 'master' into mc
commit
|
commitdiff
|
tree
|
snapshot
2014-05-26
Stéphane Castelli
Fix a compilation error regarding logging and strings...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-26
Stéphane Castelli
Lots of bugfixes for the fat trees, it should at least...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-26
Stéphane Castelli
small cosmetics to AsClusterFatTree::generateDotFile()
commit
|
commitdiff
|
tree
|
snapshot
2014-05-26
Stéphane Castelli
Fix some bugs in fat trees
commit
|
commitdiff
|
tree
|
snapshot
2014-05-24
Martin Quinson
make the xbt_os_time module public
commit
|
commitdiff
|
tree
|
snapshot
2014-05-24
Martin Quinson
update the comments of that file
commit
|
commitdiff
|
tree
|
snapshot
2014-05-23
suter
listing new files
commit
|
commitdiff
|
tree
|
snapshot
2014-05-23
suter
start testing remote I/Os
commit
|
commitdiff
|
tree
|
snapshot
2014-05-23
suter
leak--
commit
|
commitdiff
|
tree
|
snapshot
2014-05-23
suter
allow several hosts to open the same file simultaneously
commit
|
commitdiff
|
tree
|
snapshot
2014-05-23
suter
Throw an exception only when it's really not implemented
commit
|
commitdiff
|
tree
|
snapshot
2014-05-23
Arnaud Giersch
Move unachieved release goals from ChangeLog to TODO...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-23
Arnaud Giersch
Cosmetics: keep alphabetical order.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-22
Paul Bédaride
Update doc for surf++
commit
|
commitdiff
|
tree
|
snapshot
2014-05-22
Gabriel Corona
Revert "[mmalloc] Use mremap to expand heaps (heap...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-22
Gabriel Corona
Documentation for stack size, stack guard and context...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-21
Arnaud Giersch
Add some words about %e fore spaces in logs.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-21
Martin Quinson
When the parameter parser is jammed, display the full...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-21
Martin Quinson
add some doc about the trap I just felt into
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Arnaud Giersch
Free previously set process data.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Arnaud Giersch
Free smpi_instances.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Arnaud Giersch
Free powerPeak which is unused here.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Arnaud Giersch
Some tests have different outputs when !HAVE_TRACING...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Arnaud Giersch
This field definitely has sense only when tracing is...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Arnaud Giersch
Fix race condition.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Arnaud Giersch
Skip simcall when HAVE_TRACING.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Arnaud Giersch
Cosmetics: reuse already defined variable.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Arnaud Giersch
task->counter is initialized only when HAVE_TRACING.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Arnaud Giersch
Disable tracing tests when !HAVE_TRACING.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-19
Paul Bédaride
Use boost::intrusive in CpuTi
commit
|
commitdiff
|
tree
|
snapshot
2014-05-19
Stéphane Castelli
Fix a a wrong use of cmake, which makes linking fail...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-18
Martin Quinson
further document the parmap mess. Next step should...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-18
Martin Quinson
greatly improve the documentation of the parallel execu...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-18
Martin Quinson
previous version was initializing retval=0 and then...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
degomme
move a declaration. Should fix compilation bug on MacOS X .
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
degomme
Fix compil without tracing, which was broken multiple...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
Gabriel Corona
Merge branch 'mc_without_ksm' into mc
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
Paul Bédaride
Revert "Replace xbt_heap by boost::heap::fibonacci_heap"
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
Gabriel Corona
[mc] Avoid memsetting twice
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
Paul Bédaride
Replace xbt_heap by boost::heap::fibonacci_heap
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
Paul Bédaride
Remove unnecessary casts
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
Paul Bédaride
Unify models apis
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
Gabriel Corona
[mc] Use the actual heap size when testing if an addres...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
Gabriel Corona
[mc] Move mm_diff in mc/
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
Gabriel Corona
[mc] Use the actual heap size when testing if an addres...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
Gabriel Corona
[mc] Use the actual heap size when testing if an addres...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-16
Gabriel Corona
[mc] Comments/documentation of memory related code
commit
|
commitdiff
|
tree
|
snapshot
2014-05-14
Stéphane Castelli
Fix a bug in SMPI that leads to a segfault when one...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-14
Stéphane Castelli
Fat trees may actually be used
commit
|
commitdiff
|
tree
|
snapshot
2014-05-14
Stéphane Castelli
Add a routing for fat trees
commit
|
commitdiff
|
tree
|
snapshot
2014-05-13
Augustin Degomme
third time's the charm ?
commit
|
commitdiff
|
tree
|
snapshot
2014-05-13
Marion Guthmuller
model-checker : handle waitany simcall
commit
|
commitdiff
|
tree
|
snapshot
2014-05-13
Gabriel Corona
[mc] Rename raw_heap into mc_heap
commit
|
commitdiff
|
tree
|
snapshot
2014-05-13
Stéphane Castelli
The tag cluster accepts the topology fat_tree
commit
|
commitdiff
|
tree
|
snapshot
2014-05-13
Stéphane Castelli
Add a function returning an instance of fat tree
commit
|
commitdiff
|
tree
|
snapshot
2014-05-13
Gabriel Corona
[mmalloc] Use mremap to expand heaps (heap collision...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-13
suter
merge Fred and Henri description of the same stuff
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Henri Casanova
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Henri Casanova
Added documentation of the --cfg="smpi/simulation_comp...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Luka Stanisic
updating ignore patterns-list should be complete now
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
suter
document the smpi/simulation_computation option and...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Marion Guthmuller
model-checker : complete comm pattern only after a...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Arnaud Giersch
Set return value.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Arnaud Giersch
Don't try to kill non-existing process (*process =...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Arnaud Giersch
Fix dead assignments.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Arnaud Giersch
Add check for error.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Arnaud Giersch
Fix warning about duplicate typedef.
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Stéphane Castelli
Fix use of wrong variable
commit
|
commitdiff
|
tree
|
snapshot
2014-05-09
Henri Casanova
Added a --cfg="smpi/simulation_computation" to smpirun...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-08
Henri Casanova
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-08
Henri Casanova
Rewrote smpi_sleep() and smpi_usleep() so that:
commit
|
commitdiff
|
tree
|
snapshot
2014-05-08
suter
forgot a comma ...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-08
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-08
suter
add color for "test", not sure it's mandatory, but...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-08
Martin Quinson
update the ignore patterns after the recent source...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
|
snapshot
next