diff --git a/manual/manual.adoc b/manual/manual.adoc index 20c112e2..ac94bc14 100644 --- a/manual/manual.adoc +++ b/manual/manual.adoc @@ -704,7 +704,7 @@ Feel free to look at the implementation and link:../CONTRIBUTING.adoc[send a pat * `no_alias_deps` * `no_float_const_prop` * `noassert` -* `noautolink` (since NEXT_RELEASE) +* `noautolink` (since 0.11.0) * `nolabels` * `nopervasives` * `nostdlib` (since 0.9.4) @@ -749,6 +749,11 @@ Feel free to look at the implementation and link:../CONTRIBUTING.adoc[send a pat * `no_unbox_free_vars_of_closures` * `no_unbox_specialized_args` +===== Compiler tags for the AFL instrumentation mode (4.05 and newer) + +* `afl_instrument` (since 0.12.0) +* `afl_inst_ratio` (since 0.12.0) + ===== `ocamlfind` tags * `package(pkgname)`