diff options
| author | Kathy Gray | 2014-10-08 10:38:15 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-10-08 10:38:15 +0100 |
| commit | 34f044d2e1b54a931c2fe50ec116310d3adb45d6 (patch) | |
| tree | 225eb94747d78b656801c5e1bea109416f213402 /src/elf_model/ml_bindings.ml | |
| parent | aad2943a54b2d176c00ee5b0d42609887c78b415 (diff) | |
Support exporting single bit and bool values to external bitvectors
Diffstat (limited to 'src/elf_model/ml_bindings.ml')
0 files changed, 0 insertions, 0 deletions