#-#-#-#-#-#-#-#-#-#-#-#-#-#-#-#-#-#-#
set(SIMGRID_VERSION_MAJOR "3")
-set(SIMGRID_VERSION_MINOR "18")
+set(SIMGRID_VERSION_MINOR "19")
set(SIMGRID_VERSION_PATCH "0")
-# set(SIMGRID_VERSION_EXTRA "-DEVEL") # Extra words to add to version string (e.g. -rc1)
+set(SIMGRID_VERSION_EXTRA "-DEVEL") # Extra words to add to version string (e.g. -rc1)
set(SIMGRID_VERSION_DATE "2017") # Year for copyright information
+SimGrid (3.19) NOT RELEASED YET (target: March 20 2018, 16:15:27 UTC)
+
SimGrid (3.18) Released December 24 2017
The "Ho Ho Ho! SimGrid 4 beta is coming to town" release.
+ _ _____ _ ___
+__ _____ _ __ ___(_) ___ _ __ |___ / / |/ _ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | (_) |
+ \ V / __/ | \__ \ | (_) | | | | ___) || |\__, |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_| /_/
+ (not released yet)
+
_ _____ _ ___
__ _____ _ __ ___(_) ___ _ __ |___ / / |( _ )
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | |/ _ \