klee-commits

2024-03-01 - 2024-04-01 (7 messages)

2024-02-01 - 2024-03-01 (22 messages)

2024-01-01 - 2024-02-01 (7 messages)

  1. 2024-02-29  [klee-commits] [klee/klee] a86487: Setting version to 3.2-pre            klee-commits Cristian Cadar 
  2. 2024-02-29  [klee-commits] [klee/klee]                                               klee-commits Cristian Cadar 
  3. 2024-02-29  [klee-commits] [klee/klee]                                               klee-commits Cristian Cadar 
  4. 2024-02-29  [klee-commits] [klee/klee] fe22b9: Final changes to release notes for v3 klee-commits Cristian Cadar 
  5. 2024-02-29  [klee-commits] [klee/klee.github.io] 94e47e: Documentation for KLEE 3.1  klee-commits Cristian Cadar 
  6. 2024-02-29  [klee-commits] [klee/klee.github.io] 90b91f: Updated documentation for t klee-commits Cristian Cadar 
  7. 2024-02-29  [klee-commits] [klee/klee] 279be1: Test case for externally concretized  klee-commits MartinNowack 
  8. 2024-02-29  [klee-commits] [klee/klee] 3250b7: Set version number to 3.1             klee-commits Cristian Cadar 
  9. 2024-02-28  [klee-commits] [klee/klee] a01f46: Compare LLVM_VERSION_SHORT to "140" r klee-commits Michael 
 10. 2024-02-27  [klee-commits] [klee/klee] 858587: Two test cases exercising two policie klee-commits Cristian Cadar 
 11. 2024-02-19  [klee-commits] [klee/klee] 38c0f6: Rename --ptree-batch-size to --exec-t klee-commits Cristian Cadar 
 12. 2024-02-17  [klee-commits] [klee/klee] 7679d0: Remove the not Darwin requirement for klee-commits Cristian Cadar 
 13. 2024-02-17  [klee-commits] [klee/klee] df8a73: Fixed incorrect reference in External klee-commits Cristian Cadar 
 14. 2024-02-16  [klee-commits] [klee/klee] 325c6c: drop llvm 9 and 10                    klee-commits Daniel Schemmel 
 15. 2024-02-16  [klee-commits] [klee/klee.github.io] 6542ad: Fix some execution tree opt klee-commits Cristian Cadar 
 16. 2024-02-16  [klee-commits] [klee/klee.github.io] 6ba37e: Replace references to "llvm klee-commits Cristian Cadar 
 17. 2024-02-16  [klee-commits] [klee/klee.github.io] 5bf794: add ptree description       klee-commits Frank Busse 
 18. 2024-02-12  [klee-commits] [klee/klee] c966cc: Fix brittleness in Feature/VarArgByVa klee-commits Daniel Schemmel 
 19. 2024-02-08  [klee-commits] [klee/klee] 2b0772: Add support to build newer LLVM versi klee-commits MartinNowack 
 20. 2024-02-06  [klee-commits] [klee/klee.github.io]                                     klee-commits dependabot[bot] 
 21. 2024-02-06  [klee-commits] [klee/klee.github.io] 086547: build(deps): bump nokogiri  klee-commits dependabot[bot] 
 22. 2024-02-06  [klee-commits] [klee/klee.github.io] 8ce128: build(deps): bump nokogiri  klee-commits dependabot[bot]