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
proper check for the -std=gnu++11 standard, and take in on clang too
[simgrid.git]
/
NEWS
diff --git
a/NEWS
b/NEWS
index
7010f28
..
9c9508a
100644
(file)
--- a/
NEWS
+++ b/
NEWS
@@
-8,6
+8,10
@@
__ _____ _ __ ___(_) ___ _ __ |___ / / |___ \
* Surf internal cleanup: rename workstation into host.
Option "workstation/model" now reads "host/model"
* Surf internal cleanup: rename workstation into host.
Option "workstation/model" now reads "host/model"
+ * The model checker now runs in a separate process.
+ * The model checker has support for memory compaction of its snapshots.
+ * MC record/replay: a interesting path found by the modelchecker can be
+ replayed outside of the modelchecker.
_ _____ _ _
__ _____ _ __ ___(_) ___ _ __ |___ / / / |
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | |
_ _____ _ _
__ _____ _ __ ___(_) ___ _ __ |___ / / / |
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | |