spelling_wordlist.txt

ABI
Aave
Balancer
CFGs
CVL
Certora
Devcon
Disjunction
Ethereum
FEoD
Hoare
Kashi
Keccak
Linux
Mainnet
OOM
Prover
Pythonic
SMT
Secureum
Solana
Todo
UI
UNSAT
UNSAT
UX
Unary
Vyper
Yices
Yul
approximative
autofinders
axiomatization
axiomatized
bitwidth
bitwise
blockchain
blockchains
boolean
booleans
bootcamp
boundedness
branching
branchings
bugfix
bytecode
bytecodes
bytemap
callee
changelog
checkmark
codebase
coinbase
conf
config
conjoined
decompilation
decompiler
deduplication
dereference
dereferences
destructuring
diagnosability
disjointness
disjunction
disjunctions
dispatchee
dispatchees
downsample
downsampling
eBPF
enum
enums
envfree
executable
executables
expressivity
foldable
fuzzer
getter
getters
hashcode
havoc
havoced
havocing
havocs
hyperproperties
hyperproperty
immutable
immutables
injective
injectivity
inlined
inlining
inlinings
instantiation
invariant
invariants
iterable
iterative
iteratively
lifecycle
logics
macOS
modularity
modularization
modularize
modularly
monotonicity
multicontract
namespace
natively
nonlinearity
nonterminal
nonterminals
onboarding
overapproximate
overapproximated
overapproximates
overapproximation
overapproximations
poststate
pragma
pragmas
pre
prebuilt
precompiled
preprocess
preprocessing
prestate
reachability
receiveOrFallback
reentrancy
reentrant
relatedly
remappings
replayable
representable
reproducibility
runtime
satisfiability
satisfiable
scalable
se
sighash
sighashes
skolemized
splitter
stablecoin
struct
structs
subdirectories
subdirectory
subgraph
subgraphs
subproblems
subtree
subtrees
subtype
subtypes
summarizable
summarization
summarizations
supercontract
supertype
supertypes
th
tooltips
traceback
tracebacks
tradeoff
tradeoffs
unary
unbacked
unconvertible
underapproximated
underapproximates
underapproximation
underapproximations
uninterpreted
unlinked
unquantified
unroller
unsat
unsatisfiable
unsummarized
untrusted
upcast
verifications
verifier
verifiers
walkthrough
whitespace
upgradeability
https
openzeppelin