klee-commits

2023-04-01 - 2023-05-01 (18 messages)

2023-03-01 - 2023-04-01 (35 messages)

2023-02-01 - 2023-03-01 (4 messages)

 Next  Last 

  1. 2023-03-30  [klee-commits] [klee/klee] 2aa5b7: Prevent fallthrough warning           klee-commits Daniel Schemmel 
  2. 2023-03-30  [klee-commits] [klee/klee] 66e104: fix CMake: -UNDEBUG                   klee-commits jbuening 
  3. 2023-03-27  [klee-commits] [klee/klee] 13cfab: ci(lint): add shell linter - Differen klee-commits Jan Macku 
  4. 2023-03-27  [klee-commits] [klee/klee] dfd2ae: Core/Executor: long double on i686 mu klee-commits Lukáš Zaoral 
  5. 2023-03-27  [klee-commits] [klee/klee] 89ebbb: (gcc-13) include cstdint for *int*_t  klee-commits MartinNowack 
  6. 2023-03-26  [klee-commits] [klee/klee] 67ec44: tests: add some missing headers       klee-commits Frank Busse 
  7. 2023-03-26  [klee-commits] [klee/klee] 7c9ce8: fix unused variables warning          klee-commits Daniel Schemmel 
  8. 2023-03-23  [klee-commits] [klee/klee-uclibc] 73e906: configure: remove deprecated l klee-commits Frank Busse 
  9. 2023-03-23  [klee-commits] [klee/klee-uclibc] 69292f: fix Clang-15: make int-convers klee-commits Frank Busse 
 10. 2023-03-23  [klee-commits] [klee/klee-uclibc] a24268: Add missing variables for GitH klee-commits MartinNowack 
 11. 2023-03-23  [klee-commits] [klee/klee] 721b2f: Fix detection and installation of Ubu klee-commits MartinNowack 
 12. 2023-03-23  [klee-commits] [klee/klee] c9ce3b: Transition to GitHub Container Regist klee-commits MartinNowack 
 13. 2023-03-23  [klee-commits] [klee/klee] 76f057: fix unused variable warning           klee-commits Daniel Schemmel 
 14. 2023-03-23  [klee-commits] [klee/klee] 0ca2dc: Remove model_version from the POSIX r klee-commits Cristian Cadar 
 15. 2023-03-23  [klee-commits] [klee/klee.github.io] 06590d: tools: extend/update klee-s klee-commits Frank Busse 
 16. 2023-03-23  [klee-commits] [klee/klee] fc3c93: stats: add InhibitedForks             klee-commits Frank Busse 
 17. 2023-03-23  [klee-commits] [klee/klee] a91be7: remove obsolete header                klee-commits Daniel Schemmel 
 18. 2023-03-23  [klee-commits] [klee/klee] 91468c: Run KDAlloc/rusage unittest a few tim klee-commits Daniel Schemmel 
 19. 2023-03-22  [klee-commits] [klee/klee] 943762: Added more test cases for --entry-poi klee-commits Cristian Cadar 
 20. 2023-03-22  [klee-commits] [klee/klee.github.io] a885bc: docs/solver-chain: add -stp klee-commits Frank Busse 
 21. 2023-03-22  [klee-commits] [klee/klee] a52050: STP: add option to switch SAT solver: klee-commits Frank Busse 
 22. 2023-03-22  [klee-commits] [klee/klee] 5607a7: Change `llvm_map_components_to_libnam klee-commits MartinNowack 
 23. 2023-03-22  [klee-commits] [klee/klee] 318c63: use C++17                             klee-commits jbuening 
 24. 2023-03-22  [klee-commits] [klee/klee] 3a0e43: Require minimal version of CMake 3.16 klee-commits MartinNowack 
 25. 2023-03-22  [klee-commits] [klee/klee] 8dcd69: Remove hard to understand and debug p klee-commits Cristian Cadar 
 26. 2023-03-22  [klee-commits] [klee/klee] 902056: klee-stats: improve error message for klee-commits Frank Busse 
 27. 2023-03-22  [klee-commits] [klee/klee] 5c8610: Explicitly check if 32bit support is  klee-commits MartinNowack 
 28. 2023-03-22  [klee-commits] [klee/klee.github.io] b68b89: publications: fix whitespac klee-commits Frank Busse 
 29. 2023-03-21  [klee-commits] [klee/klee.github.io] be80c0: options: add KDAlloc        klee-commits Frank Busse 
 30. 2023-03-20  [klee-commits] [klee/klee] d9da9e: ConstantArrayExprVisitor: Deduplicate klee-commits Lukáš Zaoral 

 Next  Last