diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2016-08-04 15:43:11 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-08-10 21:22:06 +0200 |
| commit | 95a39e0fe58c7b95588da97b3478eafba9920281 (patch) | |
| tree | e473ca52e739805533b11b11820c251d0672bbb8 /lib/Basic | |
| parent | 66b3470f4d01df50bc77d9f96e3c526e8e4cbf91 (diff) | |
| download | klee-95a39e0fe58c7b95588da97b3478eafba9920281.tar.gz | |
Extended support for assembler raising
Improved support for assembler handling. Providing additional triple information to raise assembler for supported architectures only. Implemented support for raising full assembly memory fence. Added initial support for memory fences in Executor.
Diffstat (limited to 'lib/Basic')
0 files changed, 0 insertions, 0 deletions