+ _ _____ _ ____
+__ _____ _ __ ___(_) ___ _ __ |___ / / |___ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | __) |
+ \ V / __/ | \__ \ | (_) | | | | ___) || |/ __/
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_|_____|
+
+(to complete)
+
+ * Surf internal cleanup: rename workstation into host.
+ Option "workstation/model" now reads "host/model"
+ * The model checker now runs in a separate process.
+ * The mocel 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.
+ _ _____ _ _
+__ _____ _ __ ___(_) ___ _ __ |___ / / / |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | |
+ \ V / __/ | \__ \ | (_) | | | | ___) || | |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_|_|
+ May 31 2014
+
+The Class Release. Major changes:
+
+ * Surf is now in C++ (and documented!)
+ * Virtual Machine model for Cloud Simulation
+ * Surf callbacks: plug your code directly in Surf!
+ * Simcalls are script-generated to clean the mess
+