mirror of
https://github.com/zeek/zeek.git
synced 2025-10-15 04:58:21 +00:00
use ## to start major sections
This commit is contained in:
parent
b6daf14868
commit
d58573adb1
1 changed files with 4 additions and 6 deletions
|
@ -13,8 +13,7 @@ ZAM Optimization: User's Guide
|
||||||
|
|
||||||
<br>
|
<br>
|
||||||
|
|
||||||
Overview
|
## Overview
|
||||||
--------
|
|
||||||
|
|
||||||
Zeek's _ZAM optimization_ is an experimental feature that changes the
|
Zeek's _ZAM optimization_ is an experimental feature that changes the
|
||||||
basic execution model for Zeek scripts in an effort to gain higher
|
basic execution model for Zeek scripts in an effort to gain higher
|
||||||
|
@ -49,8 +48,8 @@ scripts, you won't see much in the way of gains.
|
||||||
|
|
||||||
<br>
|
<br>
|
||||||
|
|
||||||
Known Issues
|
## Known Issues
|
||||||
------------
|
|
||||||
|
|
||||||
Here we list various issues with using script optimization, including both
|
Here we list various issues with using script optimization, including both
|
||||||
deficiencies (problems to eventually fix) and incompatibilities (differences
|
deficiencies (problems to eventually fix) and incompatibilities (differences
|
||||||
|
@ -103,8 +102,7 @@ alternative optimization, `-O gen-C++`).
|
||||||
<br>
|
<br>
|
||||||
|
|
||||||
|
|
||||||
Script Optimization Options
|
## Script Optimization Options
|
||||||
---------------------------
|
|
||||||
|
|
||||||
Users will generally simply use `-O ZAM` to invoke the script optimizer.
|
Users will generally simply use `-O ZAM` to invoke the script optimizer.
|
||||||
There are, however, a number of additional options, nearly all of which
|
There are, however, a number of additional options, nearly all of which
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue