A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Implement pthread_cond in sthread -- too bad it's TODO in MC
[simgrid.git]
/
ChangeLog
diff --git
a/ChangeLog
b/ChangeLog
index
e1a85f9
..
66d4a37
100644
(file)
--- a/
ChangeLog
+++ b/
ChangeLog
@@
-42,7
+42,7
@@
sthread:
- Allow to use on valgrind-observed processes
- Install sthread on user's disk.
- Implement recursive pthreads.
- Allow to use on valgrind-observed processes
- Install sthread on user's disk.
- Implement recursive pthreads.
- - Implement pthread_barrier.
+ - Implement pthread_barrier
and pthread_cond
.
- Add some McMini codes to test sthread further (controlled with enable_testsuite_McMini).
Model checking:
- Add some McMini codes to test sthread further (controlled with enable_testsuite_McMini).
Model checking: