diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-02-01 12:10:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-01 12:10:29 +0100 |
| commit | 0ee6c3731946c40fa513f9e347189ee0baefc45e (patch) | |
| tree | 04ff9cbe81affca5f3d1dfbfebdb4ca8cd73efd4 | |
| parent | 692266c73ac1a0727b44b0ba097408a5bbf1f3c7 (diff) | |
docs: give syscall description language a name
It is a real language. We have a real compiler. It deserves a name.
Also useful for shorter references.
I hereby give it a name: syzlang.
| -rw-r--r-- | docs/syscall_descriptions_syntax.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/syscall_descriptions_syntax.md b/docs/syscall_descriptions_syntax.md index 3592d61b6..dbcfcce46 100644 --- a/docs/syscall_descriptions_syntax.md +++ b/docs/syscall_descriptions_syntax.md @@ -1,4 +1,4 @@ -# Syscall descriptions syntax +# Syscall description language (aka `syzlang`) Pseudo-formal grammar of syscall description: |