Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
woops
authorMartin Quinson <martin.quinson@loria.fr>
Sat, 24 Dec 2016 22:38:07 +0000 (23:38 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 24 Dec 2016 22:38:07 +0000 (23:38 +0100)
NEWS

diff --git a/NEWS b/NEWS
index 5be43ef..9e59ede 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -13,6 +13,8 @@ The Chrismas Pi Release.
    - Routing code rewritten for readability
    - Virtual Machines almost turned into a plugin
    - MSG, SimDag, MPI interfaces mostly unchanged
+   
+ * The model-checker now works on NetBSD too.
                     _               _____  _ _____
 __   _____ _ __ ___(_) ___  _ __   |___ / / |___ /
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |_ \