christoph/fail-targets
1
Fork 0
Code Releases Activity

Commit Graph

  • 67dc7bcf54 remove test .elf master Christoph Urlacher 2026-01-25 20:50:30 +01:00
  • 26a1390af9 add test .elf Christoph Urlacher 2026-01-25 20:38:36 +01:00
  • 13da6f6063 add resultbrowser make target Christoph Urlacher 2026-01-18 21:16:01 +01:00
  • ac45a34bed arch/bochs: update import-trace invocation Christoph Urlacher 2026-01-18 19:49:11 +01:00
  • 56e2c9e39d update dump-trace path Christoph Urlacher 2026-01-18 19:19:22 +01:00
  • f44de98b7e update paths to fail binaries Christoph Urlacher 2026-01-18 18:48:17 +01:00
  • 889de30df9 add fork notice to readme Christoph Urlacher 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 Dietrich 2014-10-22 12:16:25 +00:00
  • eb7e7e5e7b Undo deletion Christian Dietrich 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