1. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  2. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  3. 6832405 libsel4test: remove redundant config_set by Anna Lyons · 6 years ago
  4. 9f3931b libsel4test: guard call to seL4_BenchmarkResetLog() by CONFIG_ENABLE_BENCHMARKS by Axel Heider · 6 years ago
  5. 9df65d8 libsel4test: Reset log if benchmarks are enabled by Hesham Almatary · 7 years ago
  6. b14dae4 sel4test: trivial, minor style fixes by Anna Lyons · 7 years ago
  7. 4856631 sel4test: refactor test result status into an enum by Anna Lyons · 7 years ago
  8. 32d031d sel4test: simplify output buffering by Anna Lyons · 7 years ago
  9. 1622553 SELFOUR-642 move parts of libsel4test that depend on other libraries to by Claudia Tu · 7 years ago
  10. 05ef4f7 SELFOUR-1091: Give hardware more time to print by Kent McLeod · 7 years ago
  11. 4cf9f0e SELFOUR-1076 update sel4test_run_tests to use test_types by Claudia Tu · 7 years ago
  12. a6fafea Fix whitespace by Claudia Tu · 7 years ago
  13. 9bef580 Revert "SELFOUR-1073 iterate through test_type elf section" by Claudia Tu · 7 years ago
  14. ae2e9b5 SELFOUR-1073 iterate through test_type elf section by Claudia Tu · 7 years ago
  15. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  16. 9214341 Fix licenses by Anna Lyons · 8 years ago
  17. 5acb373 SELFOUR-849: fail if no tests found by Anna Lyons · 8 years ago
  18. 3e1a106 libsel4test: Mark some char * parameters as const. by Matthew Fernandez · 9 years ago
  19. 89d1422 libsel4test: Allow compilation even with no defined test cases. by Matthew Fernandez · 9 years ago
  20. 4e0056b libsel4test: bandaid to make sel4test-driver report the correct number of tests passing by Anna Lyons · 9 years ago
  21. 4d702f1 Add 'libsel4test/' from commit '1dd319a622fa92bde8c6aa1da758503ffe8b0f9b' by Anna Lyons · 9 years ago