diff --git a/src/plugins/e-acsl/VERSION b/src/plugins/e-acsl/VERSION
index f319a7d544db96e5f7fccbe60d7c5764cce0c065..aec258df73d39d2122706793921981f4a0f672f8 100644
--- a/src/plugins/e-acsl/VERSION
+++ b/src/plugins/e-acsl/VERSION
@@ -1 +1 @@
-0.7+dev
+0.8
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index b888360a50ab992251b68e895525cf9a29386038..8b4811dcab9a7ff97db822f5f320e5272f156ffc 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,10 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+#########################
+Plugin E-ACSL 0.8 Silicon
+#########################
+
 -* E-ACSL       [2016/11/07] Added --rte-select feature to e-acsl-gcc.sh.
 -* E-ACSL       [2016/08/02] Added --rt-debug feature to e-acsl-gcc.sh.
 	        --enable-optimized-rtl configure option removed
diff --git a/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf b/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf
index bf57ad7e69c6295f149b11ed28bee552d88cd658..a51ec0f51e679be3cedac4c3ca35600f761f20d6 100644
Binary files a/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf and b/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf differ