-SimGrid (3.12) NOT RELEASED; urgency=low
+SimGrid (3.13) UNRELEASED; urgency=low
+
+ -- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
+
+SimGrid (3.12) stable; urgency=low
+
+ The Facelift Release.
Build System
* Require g++ v4.7 at least to not speak prehistorical C++.
* Require Boost 1.48 (for signal2 component).
+ * Java must be version 7 at least when activated.
+ * Builds on Windows again (including Java bindings).
* Tracing is now always enabled (no way to turn it out)
* Remove GTNetS. It was not working anyway.
+ * Various cleanups in the cmake scripts.
* Move headers around to sort them out on installed systems:
- instr/instr.h -> simgrid/instr.h
- instr/jedule/* -> simgrid/jedule
* Record/Replay: the MC can display a textual representation of a path in the
execution graph. It can then be replayed outside of the model checker.
- -- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
+ -- Mon Oct 12 06:02:41 CEST 2015 Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
SimGrid (3.11) stable; urgency=low