| Disas | |
| CoqNat |
Implementing Coq's nat type conservatively with
Big_int.big_int
|
| CoqZ |
Implementing Coq's Z type conservatively with
int
|
| CoqBvector |
Implementing Coq's Bvector type conservatively with
int64
|
| Accel_ocaml_custom | |
| Accel_ocaml | |
| Accel_common | |
| Accel_extract_env | |
| AsmUtil |
Assembly parsing utilities
|
| X86Types |
The X86 machine language
|
| X86Util |
Utility functions
|
| X86Print |
Pretty-printing
|
| X86Parse |
Parsing opcodes
|