summaryrefslogtreecommitdiff
path: root/doc/ale-llvm.txt
AgeCommit message (Collapse)Author
2022-10-29Doc style fixes (#4344)Ben Boeckel
* ale.txt: fix indentation * ale.txt: fix Type and Default markup * ale.txt: use `not set` instead of `undefined` This matches the way the variables are referenced in prose about existence state.
2017-10-10Add llc integration for LLVM IR (#979)Linda_pp
Check LLVM IR with llc