diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 13:34:41 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 13:34:41 +0900 |
| commit | 210ddf92aab09acc796b2a7fe34ba3bd983cbd62 (patch) | |
| tree | e14507055b594dddf22c5f44fc2f25b356902d6d /glossary.tex | |
| parent | 0f6b9207d5380eefb3a99d21a12751a32de63bfb (diff) | |
| download | thesis-210ddf92aab09acc796b2a7fe34ba3bd983cbd62.tar.gz | |
Finish content
Diffstat (limited to 'glossary.tex')
| -rw-r--r-- | glossary.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/glossary.tex b/glossary.tex index d8953ab..83fc900 100644 --- a/glossary.tex +++ b/glossary.tex @@ -18,6 +18,7 @@ \newacronym{sat}{SAT}{satisfiability} \newacronym{smt}{SMT}{satisfiability modulo theories} \newacronym{ffi}{FFI}{foreign function interface} +\newacronym{ub}{UB}{undefined behavior} \newglossaryentry{searcher}{name=searcher, description={Is what keeps track of states to be executed, along with the information for scheduling them to optimize resources |