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: new examples for liveness model checking
[simgrid.git]
/
examples
/
msg
/
masterslave
/
masterslave_mailbox.c
2011-03-24
agiersch
Remove usage of xbt_assert[0-9].
blob
|
commitdiff
|
raw
2011-03-01
thiery
Remove side effects from xbt_asserts calls
blob
|
commitdiff
|
raw
|
diff to current
2011-02-17
agiersch
Use new style logging macros.
blob
|
commitdiff
|
raw
|
diff to current
2010-11-30
mquinson
definitely kill the Horrible Pimple
blob
|
commitdiff
|
raw
|
diff to current
2010-10-11
alegrand
Indent the rest of the code (examples, buildtools,...
blob
|
commitdiff
|
raw
|
diff to current
2010-08-05
schnorr
fix: compilation warnings
blob
|
commitdiff
|
raw
|
diff to current
2010-08-05
schnorr
removing tracing functions from examples that are not...
blob
|
commitdiff
|
raw
|
diff to current
2010-04-25
mquinson
Fix copyright headers
blob
|
commitdiff
|
raw
|
diff to current
2010-04-12
schnorr
parameter "--trace" to control whether to trace masters...
blob
|
commitdiff
|
raw
|
diff to current
2010-04-12
schnorr
tracing the masterslave_mailbox example
blob
|
commitdiff
|
raw
|
diff to current
2010-04-01
mquinson
Add a pimple to get the ability to trace the amount...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-30
mquinson
Rename configuration variables *_model into */model...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-22
mquinson
less printfs, more proper debug
blob
|
commitdiff
|
raw
|
diff to current
2010-03-02
mquinson
Kill the MSG_paje_output() function. It's a noop since...
blob
|
commitdiff
|
raw
|
diff to current
2010-01-15
mquinson
add a proper example of master/slaves, using mailboxes
blob
|
commitdiff
|
raw
|
diff to current