Crate raptor

Modules

analysis	Various analyses implemented over Raptor IR
data	Static data definitions
error
features	Various, "Features," useful to static analysis.
ir	Raptor IR, a higher-level IR for Falcon IL
modules	Modules are optional enhancements to analysis.
solver	Bindings around the z3 solver for Raptor IR
translator	Translator from Falcon IL to Raptor IR

Functions

falcon_result