Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 1812cc4046 reformat master christoph 2026-02-05 17:56:46 +01:00
• 67dc7bcf54 remove test .elf christoph 2026-01-25 20:50:30 +01:00
• 26a1390af9 add test .elf christoph 2026-01-25 20:38:36 +01:00
• 13da6f6063 add resultbrowser make target christoph 2026-01-18 21:16:01 +01:00
• ac45a34bed arch/bochs: update import-trace invocation christoph 2026-01-18 19:49:11 +01:00
• 56e2c9e39d update dump-trace path christoph 2026-01-18 19:19:22 +01:00
• f44de98b7e update paths to fail binaries christoph 2026-01-18 18:48:17 +01:00
• 889de30df9 add fork notice to readme christoph 2026-01-18 16:52:01 +01:00
• 6d955623b0 riscv: use llvm-objdump-11 to import instructions Christian Dietrich 2021-11-03 09:37:47 +01:00
• fda664bf4a Add Posix Target Christian Dietrich 2021-08-23 16:32:02 +02:00
• f17065ede9 fix clean-% Christian Dietrich 2021-08-23 16:30:54 +02:00
• 778c61ac0c add benchmark Christian Dietrich 2021-08-23 16:30:36 +02:00
• b60865d8c3 AVR: Add support for FAIL/SAIL AVR Christian Dietrich 2021-08-18 15:50:54 +02:00
• ed94692a08 Better Docker environment Christian Dietrich 2021-08-17 12:47:26 +02:00
• cba1c2a510 trace: use full-trace when possible Christian Dietrich 2021-08-17 12:41:27 +02:00
• 77f7526a6e Multi-Arch Support: We support IA-32, RISCV-32, and RISCV-64 Christian Dietrich 2021-08-16 16:15:49 +02:00
• a3fa6ea4ab towards multi-arch Christian Dietrich 2021-08-16 10:59:38 +02:00
• 39c0e0681e Order Results Christian Dietrich 2021-01-26 16:55:46 +01:00
• 98a0f70f1f import-jump... Christian Dietrich 2021-01-19 10:58:42 +01:00
• 4e38acc05e Update Makefile to current generic-experiment options Christian Dietrich 2020-12-15 10:11:41 +01:00
• 8ae363d559 Fixed SQL statement Christian Dietrich 2014-11-03 12:42:05 +01:00
• e2a04fd202 Add more documentation to Makefile Christian Dietrich 2014-10-22 19:51:56 +02:00
• e8cc987186 Makefile: overwrite pilots in all cases Christian Dietrich 2014-10-22 19:02:47 +02:00
• 3e5bbdd6db Makefile: added some result browsing commands Christian Dietrich 2014-10-22 19:02:02 +02:00
• b124664aa6 main.c: application contains at least one write instruction Christian Dietrich 2014-10-22 16:09:03 +02:00
• 520e7937a9 Correctly call prune-trace Christian DietrichandYour Name 2014-10-22 12:16:25 +00:00
• eb7e7e5e7b Undo deletion Christian DietrichandYour Name 2014-10-22 11:49:48 +00:00
• 7f20234da8 Fix invocation of fail-x86-tracing Christian Dietrich 2014-10-22 11:41:29 +00:00
• 6b7c5dd88d Added Bochs BIOS/vgabios.bin Christian Dietrich 2014-10-22 13:31:31 +02:00
• a6cf7ce0bb Remove system headers Christian Dietrich 2014-10-22 13:17:48 +02:00
• d1edb4fa3a Initial commit: Simple Injection Target Christian Dietrich 2014-10-22 11:23:15 +02:00