1. 480616c Run Miri twice, with two different flag sets, and add documentation on using Miri to identify as much undefined behavior as possible. by Johnathan Van Why · 4 years ago
  2. 7f93055 Merge #275 #276 by bors[bot] · 4 years, 1 month ago
  3. d11dc52 Add a tock2 submodule with a tock-2.0-dev kernel, for use in integration tests. by Johnathan Van Why · 4 years, 3 months ago
  4. 29d3d15 Migrate the assembler invocation into build.rs, and deal with the fallout. by Johnathan Van Why · 4 years, 1 month ago
  5. 921b4a4 Specify LIBTOCK_PLATFORM in `make test` so `libtock_runtime` builds. by Johnathan Van Why · 4 years, 2 months ago
  6. ba262d5 Specify components in `rust-toolchain` and update the toolchain to `nightly-2020-08-20`. by Johnathan Van Why · 4 years, 3 months ago
  7. 50f187b stm32f3discovery by l162 · 4 years, 4 months ago
  8. c355b47 elf2tab: Update to current version by Tobias Wölfel · 4 years, 4 months ago
  9. e53bb53 fixed typo in phony declaration by hotschi · 4 years, 7 months ago
  10. f6cd66b add support for the MSP432 platform by hotschi · 4 years, 7 months ago
  11. 3cbb114 Fix the broken Travis CI: by Johnathan Van Why · 4 years, 7 months ago
  12. 988305c Add the `libtock_platform` crate. by Johnathan Van Why · 4 years, 8 months ago
  13. bd7dad2 Adjust the setup-qemu and test-qemu-hifive make actions to work with the new tock version. by Johnathan Van Why · 4 years, 8 months ago
  14. e46f3b3 Merge #207 by bors[bot] · 4 years, 8 months ago
  15. 134c42e Merge branch 'master' into imxrt1050 by Vochescu Alexandru · 4 years, 9 months ago
  16. 71eee6f boards: opentitan: Update the OpenTitan SRAM address by Alistair Francis · 4 years, 9 months ago
  17. a6c5c9d Switch all crate names to use underscores rather than hyphens. by Johnathan Van Why · 4 years, 9 months ago
  18. d4929ed Merge #189 by bors[bot] · 4 years, 9 months ago
  19. 74572d7 Add a tool that prints information on the sizes of the examples. by Johnathan Van Why · 4 years, 9 months ago
  20. c0d2b6f Use Tock's QEMU instead of our own QEMU. by Johnathan Van Why · 4 years, 9 months ago
  21. 5a9606e Add a Tock kernel for the HiFive, and reconfigure test-runner to use that kernel. Move QEMU tests to `make test` from the Travis config. by Johnathan Van Why · 4 years, 9 months ago
  22. f07f8b2 Add a step to 'make setup' that downloads and locally installs QEMU. by Johnathan Van Why · 4 years, 9 months ago
  23. 41218b4 Makefile: Correctly document the Apollo3 support by Alistair Francis · 4 years, 9 months ago
  24. c0a7cc2 nucleo by Alexandru Radovici · 4 years, 9 months ago
  25. d560977 Added imxrt1050 board by Vochescu Alexandru · 4 years, 9 months ago
  26. 7ca0c45 boards: Add support for the apollo3 by Alistair Francis · 4 years, 10 months ago
  27. dd846ae Makefile: add riscv32imac target in setup by Dylan Reid · 5 years ago
  28. ab4d8b0 Makefile: Fix the release and feature flag options by Alistair Francis · 5 years ago
  29. eefde73 Makefile: Support dumping stack size usage by Alistair Francis · 5 years ago
  30. d6fdd0c Merge #165 by bors[bot] · 5 years ago
  31. 37bdcb0 Makefile: Fix the OpenTitan target by Alistair Francis · 5 years ago
  32. e441031 Remove panic handler example from core crate by torfmaster · 5 years ago
  33. 964bb72 Add compilation of examples with new features to test suite by Woyten · 5 years ago
  34. 8d93e27 Add example for custom error handler by torfmaster · 5 years ago
  35. bb437f6 Makefile: Allow the debug build by Alistair Francis · 5 years ago
  36. cb3d5b8 Makefile: Add flash.sh support by Alistair Francis · 5 years ago
  37. 55e3d6b Makefile: Support features by Alistair Francis · 5 years ago
  38. c6fef95 Makefile: Split out a setup target by Alistair Francis · 5 years ago
  39. 9f0b5ee Makefile: Initial commit of a Makefile by Alistair Francis · 5 years ago