klee-commits

2023-07-01 - 2023-08-01 (6 messages)

2023-06-01 - 2023-07-01 (30 messages)

2023-05-01 - 2023-06-01 (4 messages)

  1. 2023-06-26  [klee-commits] [klee/klee] ca0d09: RefTest: suppress -Wself-move         klee-commits jbuening 
  2. 2023-06-26  [klee-commits] [klee/klee] 79f75a: Improved help message for --exit-on-e klee-commits Cristian Cadar 
  3. 2023-06-12  [klee-commits] [klee/klee-uclibc] 955d50: fixing null dereference in rea klee-commits David Trabish 
  4. 2023-06-11  [klee-commits] [klee/klee] c10e9e: Rewrote has_permission in the POSIX r klee-commits Cristian Cadar 
  5. 2023-06-11  [klee-commits] [klee/klee] dab1c0: SpecialFunctionHandler: use std::arra klee-commits jbuening 
  6. 2023-06-11  [klee-commits] [klee/klee] f3a4b3: fix ktest-randgen: use after free     klee-commits jbuening 
  7. 2023-06-09  [klee-commits] [klee/klee] b926b3: Fixed a format specifier pointed to b klee-commits Cristian Cadar 
  8. 2023-06-09  [klee-commits] [klee/klee.github.io] d8b96b: update Docker output        klee-commits Frank Busse 
  9. 2023-06-07  [klee-commits] [klee/klee] 6a0448: Changed version to 3.1-pre            klee-commits Cristian Cadar 
 10. 2023-06-07  [klee-commits] [klee/klee.github.io] f24275: update some version numbers klee-commits Frank Busse 
 11. 2023-06-07  [klee-commits] [klee/klee]                                               klee-commits Cristian Cadar 
 12. 2023-06-07  [klee-commits] [klee/klee]                                               klee-commits Cristian Cadar 
 13. 2023-06-07  [klee-commits] [klee/klee] d4ad01: Fixed end date in the 2.3 release not klee-commits Cristian Cadar 
 14. 2023-06-07  [klee-commits] [klee/klee] 29ccb3: Build and push Docker image as part o klee-commits MartinNowack 
 15. 2023-06-07  [klee-commits] [klee/klee] b07fcc: Use recommended LLVM 13 as part of th klee-commits MartinNowack 
 16. 2023-06-07  [klee-commits] [klee/klee.github.io] ef525f: Gem updates                 klee-commits Cristian Cadar 
 17. 2023-06-07  [klee-commits] [klee/klee.github.io] fdd5c7: recommend LLVM 13, update b klee-commits Frank Busse 
 18. 2023-06-07  [klee-commits] [klee/klee] 43414c: unittests/CMakeLists.txt: remove obso klee-commits jbuening 
 19. 2023-06-07  [klee-commits] [klee/klee.github.io] 6cfa67: restructure: move tutorials klee-commits Frank Busse 
 20. 2023-06-07  [klee-commits] [klee/klee] ae071d: unittests/CMakeLists.txt: gtest check klee-commits jbuening 
 21. 2023-06-06  [klee-commits] [klee/klee.github.io] 2de05b: paper: 8Cage: Lightweight F klee-commits Frank Busse 
 22. 2023-06-06  [klee-commits] [klee/klee] 4417ff: ktest-gen: remove unused function     klee-commits Frank Busse 
 23. 2023-06-06  [klee-commits] [klee/klee] a1edff: Further improve KDAlloc memory usage  klee-commits Daniel Schemmel 
 24. 2023-06-05  [klee-commits] [klee/klee] 0a240e: re-enable StackTraceOutput.c test     klee-commits jbuening 
 25. 2023-06-05  [klee-commits] [klee/klee] d3aee9: fix BatchingSearcher's disabled time  klee-commits jbuening 
 26. 2023-06-05  [klee-commits] [klee/klee] 3c42e2: also check for default CHECK directiv klee-commits mtths 
 27. 2023-06-05  [klee-commits] [klee/klee] 58fb50: config.h: include FSTATAT_PATH_ACCEPT klee-commits jbuening 
 28. 2023-06-05  [klee-commits] [klee/klee] a16650: .clang-format: c++17                  klee-commits jbuening 
 29. 2023-06-05  [klee-commits] [klee/klee] e9eaa7: CMake: remove unused TARGET_LIBS vari klee-commits jbuening 
 30. 2023-06-05  [klee-commits] [klee/klee.github.io] 021a02: paper: Directed Automated M klee-commits Frank Busse