-
_ _____ _ ____
__ _____ _ __ ___(_) ___ _ __ |___ / / |___ \
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | __) |
\ 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 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.
_ _____ _ _
__ _____ _ __ ___(_) ___ _ __ |___ / / / |
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | |
