Christian Dietrich
6d955623b0
riscv: use llvm-objdump-11 to import instructions
2021-11-03 09:37:47 +01:00
Christian Dietrich
fda664bf4a
Add Posix Target
2021-08-23 16:32:24 +02:00
Christian Dietrich
f17065ede9
fix clean-%
2021-08-23 16:32:24 +02:00
Christian Dietrich
778c61ac0c
add benchmark
2021-08-23 16:32:24 +02:00
Christian Dietrich
b60865d8c3
AVR: Add support for FAIL/SAIL AVR
2021-08-18 15:51:25 +02:00
Christian Dietrich
ed94692a08
Better Docker environment
2021-08-17 12:47:26 +02:00
Christian Dietrich
cba1c2a510
trace: use full-trace when possible
...
If the fail-client was compiled with our modified, register-tracing,
sail compiler, the full trace will also record register R/W events.
Therefore, we also try to import the memory-type 'register'.
2021-08-17 12:41:27 +02:00
Christian Dietrich
77f7526a6e
Multi-Arch Support: We support IA-32, RISCV-32, and RISCV-64
2021-08-16 16:15:49 +02:00
Christian Dietrich
a3fa6ea4ab
towards multi-arch
2021-08-16 10:59:38 +02:00
Christian Dietrich
39c0e0681e
Order Results
2021-01-26 16:55:46 +01:00
Christian Dietrich
98a0f70f1f
import-jump...
2021-01-19 10:58:42 +01:00
Christian Dietrich
4e38acc05e
Update Makefile to current generic-experiment options
2020-12-15 10:11:41 +01:00
Christian Dietrich and Your Name
520e7937a9
Correctly call prune-trace
2014-10-22 12:16:25 +00:00
Christian Dietrich and Your Name
eb7e7e5e7b
Undo deletion
2014-10-22 11:49:48 +00:00
Christian Dietrich
7f20234da8
Fix invocation of fail-x86-tracing
2014-10-22 11:42:46 +00:00