Issues
- 0
How to create a NonNullPointer parameter?
#31 opened by karthikbhata97 - 0
Analyzing C++ code
#30 opened by sp1ff - 0
LLVM > 14 and opaque pointer support
#29 opened by pgarba - 3
Stack overflow in infinite loop
#26 opened by not-matthias - 1
- 0
Missing support for llvm.ctpop.* intrinsics
#25 opened by connorskees - 0
Function pointer multiple dispatch
#24 opened by hudson-ayers - 7
LLVM unreachable instruction
#11 opened by hudson-ayers - 2
- 7
Are there any methods provided by haybale for constraining certain variables?
#19 opened by Just1ceP4rtn3r - 4
error-handled `loop_bound`
#21 opened by Just1ceP4rtn3r - 2
- 2
eBPF code input
#14 opened by radustoenescu - 3
Can't compile haybale
#17 opened by sp1ff - 2
rust version 1.51.0 can't compile haybale
#16 opened by YuXinFan - 12
- 5
Docs do not build for 0.6.2
#13 opened by hudson-ayers - 3
LLVM AtomicRMW Instruction
#12 opened by hudson-ayers - 2
- 5
- 2
- 7
- 2
C bindings
#6 opened by pgarba - 3
Trouble analyzing basic Rust programs
#4 opened by hudson-ayers - 1
Request for Instruction (UnsupportedInstruction) `llvm.bswap with argument type VectorType`
#3 opened by elichai - 6
`UnsupportedInstruction`: encountered an LLVM instruction which is not currently supported: terminator Invoke
#1 opened by ctz