klee-commits

2022-04-01 - 2022-05-01 (21 messages)

2022-03-01 - 2022-04-01 (17 messages)

2022-02-01 - 2022-03-01 (6 messages)

  1. 2022-03-31  [klee-commits] [klee/klee-uclibc] 7862d6: configure: remove old code, ma klee-commits Frank Busse 
  2. 2022-03-30  [klee-commits] [klee/klee.github.io] afa87c: Update index to reference L klee-commits MartinNowack 
  3. 2022-03-30  [klee-commits] [klee/klee.github.io] 1bbdeb: solver installation: link a klee-commits Frank Busse 
  4. 2022-03-30  [klee-commits] [klee/klee.github.io] 9123b1: add build instructions for  klee-commits Frank Busse 
  5. 2022-03-30  [klee-commits] [klee/klee-uclibc] ca2c30: GitHub Action: update LLVM/GTE klee-commits Frank Busse 
  6. 2022-03-30  [klee-commits] [klee/klee] 818275: Add support to `sudo` if necessary    klee-commits MartinNowack 
  7. 2022-03-27  [klee-commits] [klee/klee.github.io] 9d04bb: footer.html: Update copyrig klee-commits Lukáš Zaoral 
  8. 2022-03-23  [klee-commits] [klee/klee.github.io] c426a9: paper: Efficient Protocol T klee-commits Frank Busse 
  9. 2022-03-22  [klee-commits] [klee/klee] 1e7c77: Require cmake 3.9+                    klee-commits Cristian Cadar 
 10. 2022-03-21  [klee-commits] [klee/klee] f043dd: Fixed a wrong type when computing mem klee-commits Cristian Cadar 
 11. 2022-03-20  [klee-commits] [klee/klee.github.io] f5f010: Fixed a typo and improved f klee-commits Cristian Cadar 
 12. 2022-03-17  [klee-commits] [klee/klee] d8553f: remove LLVM < 6 from sources          klee-commits jbuening 
 13. 2022-03-17  [klee-commits] [klee/klee] e2d005: Fixed GetTotalMallocUsage on macOS to klee-commits Cristian Cadar 
 14. 2022-03-11  [klee-commits] [klee/klee] 043f43: FD_Fail: use /dev/zero instead of /et klee-commits Morgan 
 15. 2022-03-09  [klee-commits] [klee/klee] 01742c: CI: Update Z3 to 4.8.14               klee-commits Lukáš Zaoral 
 16. 2022-03-09  [klee-commits] [klee/klee] 6ada2c: build: fix missing target for grep    klee-commits Frank Busse 
 17. 2022-03-09  [klee-commits] [klee/klee] 3608d6: fix CMake: gtest from llvm includes g klee-commits jbuening