update compat

git-svn-id: http://ltt.polymtl.ca/svn@3061 04897980-b3bd-0310-b5e0-8ef037075253

diff --git a/trunk/lttv/doc/developer/lttng-lttv-compatibility.html b/trunk/lttv/doc/developer/lttng-lttv-compatibility.html
index 53619764ba4198df766480ea1e3dfae1b7e8fd70..5eee575c6e97efcb9dac897f75e588e04ff0d271 100644 (file)
--- a/trunk/lttv/doc/developer/lttng-lttv-compatibility.html
+++ b/trunk/lttv/doc/developer/lttng-lttv-compatibility.html
@@ -2858,6 +2858,7 @@ powerpc64, s390, sparc, sparc64.<br>
 <td style="vertical-align: top;">
 0.16<br>
 0.17<br>
+0.18<br>
 </td>
 <td style="vertical-align: top;">
 0.51<br>
@@ -2884,6 +2885,8 @@ LTTV 0.10.0-pre15 includes some fixes in state.c (uninitialized variables).<br>
 lttctl 0.51 adds support for taps.<br>
 markers-userspace 0.6 supports kernel 2.6.27-rc2.<br>
 LTTng 0.17 uses per-cpu variables to keep ltt_nesting.<br>
+LTTng 0.18 reverts the formal-verif fix patch, which was broken since LTTng
+0.14.<br>
 </td>
 <td style="vertical-align: top;">
 </td>