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/Solver/IncompleteSolver.cpp | |
| 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/Solver/IncompleteSolver.cpp')
0 files changed, 0 insertions, 0 deletions