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
Merge branch 'master' into mc-process
[simgrid.git]
/
examples
/
msg
/
2015-04-14
Gabriel Corona
Merge branch 'master' into mc-process
tree
|
commitdiff
2015-04-14
Gabriel Corona
Merge branch 'master' into mc-process
tree
|
commitdiff
2015-04-09
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2015-04-09
Gabriel Corona
[mc] Move liveness in MCer process
tree
|
commitdiff
2015-04-08
Arnaud Legrand
Make a more complex example that tests more combination...
tree
|
commitdiff
2015-04-08
Adrien Lebre
Merge before commiting VM changes - Adrien
tree
|
commitdiff
2015-04-05
Martin Quinson
Interface cleanup
tree
|
commitdiff
2015-04-04
Martin Quinson
mv msg/msg.h simgrid/msg.h
tree
|
commitdiff
2015-04-04
Martin Quinson
cleanups and simplifications to our build system
tree
|
commitdiff
2015-04-04
Martin Quinson
rename parameters all around to make their meaning...
tree
|
commitdiff
2015-03-26
Gabriel Corona
[mc] Cross-process MC/safety implementation
tree
|
commitdiff
2015-03-10
Gabriel Corona
Merge branch 'master' into mc-process
tree
|
commitdiff
2015-02-23
Martin Quinson
rename one of the energy examples
tree
|
commitdiff
2015-02-22
Martin Quinson
typo--
tree
|
commitdiff
2015-02-18
Arnaud Legrand
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2015-02-15
Martin Quinson
misleading typo in the comments
tree
|
commitdiff
2015-02-12
Gabriel Corona
Merge master into mc-process
tree
|
commitdiff
2015-02-10
Gabriel Corona
[mc] Register symbols as pointers in the examples
tree
|
commitdiff
2015-02-09
Marion Guthmuller
model-checker : revalidate tesh
tree
|
commitdiff
2015-02-03
Martin Quinson
New property: watt_off to denote the disipation when...
tree
|
commitdiff
2015-02-03
Gabriel Corona
[mc] Basic infrastructure for a real model-checker...
tree
|
commitdiff
2015-02-03
Martin Quinson
cosmetics in example and revalidate all energy examples
tree
|
commitdiff
2015-02-03
Martin Quinson
partially fix the energy public API (massive renames...
tree
|
commitdiff
2015-02-03
Martin Quinson
Fix energy plugin wrt idle time
tree
|
commitdiff
2015-01-25
Martin Quinson
test that the hosts get the cluster's properties
tree
|
commitdiff
2015-01-16
Gabriel Corona
[mc] Create a separate simgrid-mc program
tree
|
commitdiff
2014-12-12
Augustin Degomme
requalify teshes for vm migration
tree
|
commitdiff
2014-12-09
Gabriel Corona
[mc] Enable the custom mm malloc only in MC
tree
|
commitdiff
2014-12-08
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-12-01
Gabriel Corona
[mc] Enable MC specific behaviour in replay mode
tree
|
commitdiff
2014-12-01
Gabriel Corona
Revert "[mc] Enable MC specific behaviour in replay...
tree
|
commitdiff
2014-12-01
Gabriel Corona
[mc] Enable MC specific behaviour in replay mode
tree
|
commitdiff
2014-11-28
Adrien Lebre
merge msg_vm.c - adrien (please note that there is...
tree
|
commitdiff
2014-11-28
Augustin Degomme
Fix dist
tree
|
commitdiff
2014-11-27
Takahiro Hirofuchi
remove unused migration code for CPU overheads
tree
|
commitdiff
2014-11-25
Gabriel Corona
[mc] Test if the stack-cleaner has any effect
tree
|
commitdiff
2014-11-03
Martin Quinson
revalidate another tesh file
tree
|
commitdiff
2014-11-03
Martin Quinson
revalidate a tesh output
tree
|
commitdiff
2014-10-09
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-10-09
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-10-09
Gabriel Corona
[mc] Simplify tests specifications for mc-bugged1-liveness*
tree
|
commitdiff
2014-10-07
Martin Quinson
please a bit doxygen
tree
|
commitdiff
2014-08-07
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-08-07
Martin Quinson
stupid old gcc. That's initialized.
tree
|
commitdiff
2014-08-07
Martin Quinson
add an example about the remote exception throwing...
tree
|
commitdiff
2014-07-29
Gabriel Corona
[mc] Renable the sparse snpashot tests (after fixing...
tree
|
commitdiff
2014-07-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-07-28
Augustin Degomme
fix dist
tree
|
commitdiff
2014-07-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-07-25
Gabriel Corona
Merge branch 'mc'
tree
|
commitdiff
2014-07-24
Gabriel Corona
Merge remote-tracking branch 'origin/mc-fastsnapshot...
tree
|
commitdiff
2014-07-22
Gabriel Corona
[mc] Add tests for sparse snapshot
tree
|
commitdiff
2014-07-01
Gabriel Corona
[mc] Fix unit MC tests after platform file move/rename
tree
|
commitdiff
2014-07-01
Paul Bédaride
Fix CMakeLists.txt
tree
|
commitdiff
2014-07-01
Paul Bédaride
Path relative to xml directory works
tree
|
commitdiff
2014-06-30
Paul Bédaride
Xml platform cleaning examples/msg/ns3
tree
|
commitdiff
2014-06-30
Paul Bédaride
Fix ns3
tree
|
commitdiff
2014-06-30
Paul Bédaride
Xml platform cleaning
tree
|
commitdiff
2014-06-27
Gabriel Corona
Merge branch 'mc'
tree
|
commitdiff
2014-06-18
Paul Bédaride
Merge branch 'v3_11_x'
tree
|
commitdiff
2014-06-18
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-06-18
Arnaud Giersch
Update tesh files after commit 2c2afb4d73ea196ea97ca46b...
tree
|
commitdiff
2014-06-13
degomme
Requalify one more test
tree
|
commitdiff
2014-06-13
degomme
Revalidate tesh files
tree
|
commitdiff
2014-06-05
Arnaud Giersch
Fix memory leaks.
tree
|
commitdiff
2014-06-04
scastelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-06-04
Takahiro Hirofuchi
fix spell and remove trailing space
tree
|
commitdiff
2014-06-04
Marion Guthmuller
model-checker : compare the pid of enabled processes...
tree
|
commitdiff
2014-06-04
Takahiro Hirofuchi
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-06-04
Takahiro Hirofuchi
add a hopefully simple and clear example of MSG_vm
tree
|
commitdiff
2014-06-03
Marion Guthmuller
model-checker : comment erroneous ignore (not completel...
tree
|
commitdiff
2014-06-03
degomme
Requalify teshes, as we really wanted to send 1 byte...
tree
|
commitdiff
2014-06-03
degomme
Revert "the users are not the only ones lost with 10e0 :)"
tree
|
commitdiff
2014-06-03
Martin Quinson
the users are not the only ones lost with 10e0 :)
tree
|
commitdiff
2014-06-03
Martin Quinson
don't fool the users. Don't write 1 as 10e0
tree
|
commitdiff
2014-06-03
Arnaud Giersch
Typo in variable name (EXEEXT).
tree
|
commitdiff
2014-06-03
suter
remove leaks introduced by previous commit. Ressource...
tree
|
commitdiff
2014-06-02
Arnaud Giersch
Make xbt_free a function-like macro.
tree
|
commitdiff
2014-05-31
Arnaud Giersch
Typo in variable name (EXEEXT).
tree
|
commitdiff
2014-05-31
suter
remove leaks introduced by previous commit. Ressource...
tree
|
commitdiff
2014-05-30
suter
leak--
tree
|
commitdiff
2014-05-28
Augustin Degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-05-28
Arnaud Giersch
generate_memcheck_tests.pl does not support continued...
tree
|
commitdiff
2014-05-27
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-05-27
suter
improve example, should be enough for this release
tree
|
commitdiff
2014-05-27
suter
use the right executable
tree
|
commitdiff
2014-05-27
suter
fill tesh file (still uncomplete)
tree
|
commitdiff
2014-05-27
suter
revalidate tesh files
tree
|
commitdiff
2014-05-27
suter
when doing two consecutive write, each one should have...
tree
|
commitdiff
2014-05-27
suter
getting further in this example unveiled weird behavior...
tree
|
commitdiff
2014-05-27
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-05-27
Arnaud Giersch
Fix path for binary.
tree
|
commitdiff
2014-05-27
Arnaud Giersch
Fix linking of storage example on Windows.
tree
|
commitdiff
2014-05-27
Pierre Veyre
Add use of MSG_file_set_data and MSG_file_get_data...
tree
|
commitdiff
2014-05-26
Gabriel Corona
Merge branch 'master' into mc
tree
|
commitdiff
2014-05-23
suter
start testing remote I/Os
tree
|
commitdiff
2014-05-16
Paul Bédaride
Revert "Replace xbt_heap by boost::heap::fibonacci_heap"
tree
|
commitdiff
2014-05-16
Paul Bédaride
Replace xbt_heap by boost::heap::fibonacci_heap
tree
|
commitdiff
2014-05-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-05-05
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
next