X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/68df419b94f90deec6780ef4a9e32c19367ff5b9..fdd9a2b5b7195317e1185ec26c177475777a09c1:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 7a3c19a961..847444c428 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,10 +1,19 @@
-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
@@ -106,13 +115,14 @@ SimGrid (3.12) NOT RELEASED; urgency=low
    - Add a xbt_heap_update function, to avoid costly xbt_heap_remove+xbt_heap_insert use
    - Add a xbt wrapper for simcall_mutex_trylock (asked in [#17878])
    - Add two new log appenders : rollfile and splitfile. Patch by Fabien Chaix.
+   - xbt_dirname and xbt_basename for non-POSIX systems
  MC
   * The model checker now runs as a separate process.
   * The model checker runs must now be launched with the new simgrid-mc program.
   * 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