klee-commits

2020-04-01 - 2020-05-01 (13 messages)

2020-03-01 - 2020-04-01 (18 messages)

2020-02-01 - 2020-03-01 (12 messages)

  1. 2020-03-31  [klee-commits] [klee/klee] bcaa95: Fixed some messages, particularly Kle klee-commits Cristian Cadar 
  2. 2020-03-27  [klee-commits] [klee/klee.github.io] f39363: DevGuide: minor changes + f klee-commits Frank Busse 
  3. 2020-03-27  [klee-commits] [klee/klee] 928fd6: Ensure that temp_builder is used when klee-commits Daniel Grumberg 
  4. 2020-03-22  [klee-commits] [klee/klee] 403005: StatsTracker: remove NumObjects, fix  klee-commits Frank Busse 
  5. 2020-03-22  [klee-commits] [klee/klee] fb96b6: [posix-runtime] Simple GET/SET_LK mod klee-commits Timotej Kapus 
  6. 2020-03-19  [klee-commits] [klee/klee] 391eb4: Additional test for dealing with vect klee-commits Cristian Cadar 
  7. 2020-03-18  [klee-commits] [klee/klee] b552a9: Added another `ScalarizerLegacyPass`  klee-commits Frederic 
  8. 2020-03-17  [klee-commits] [klee/klee] fe2f28: stat64 is deprecated on macOS; use st klee-commits Cristian Cadar 
  9. 2020-03-10  [klee-commits] [klee/klee] 25fefb: Use -snap VMs on Cirrus for FreeBSD   klee-commits Cristian Cadar 
 10. 2020-03-06  [klee-commits] [klee/klee] 079d6b: Updating KLEE's version post-release  klee-commits Cristian Cadar 
 11. 2020-03-04  [klee-commits] [klee/klee.github.io] fd0592: add banner for 2nd KLEE Wor klee-commits Frank Busse 
 12. 2020-03-03  [klee-commits] [klee/klee.github.io] 7b9f81: Added documentation for v2. klee-commits Cristian Cadar 
 13. 2020-03-03  [klee-commits] [klee/klee]                                               klee-commits Cristian Cadar 
 14. 2020-03-03  [klee-commits] [klee/klee]                                               klee-commits Cristian Cadar 
 15. 2020-03-03  [klee-commits] [klee/klee] 686e8f: Set version to 2.1                    klee-commits Cristian Cadar 
 16. 2020-03-02  [klee-commits] [klee/klee] a4f860: test/lit.cfg: add LLVM 10.0           klee-commits jbuening 
 17. 2020-03-02  [klee-commits] [klee/klee] 6403bd: stats: enforce table creation         klee-commits Frank Busse 
 18. 2020-03-01  [klee-commits] [klee/klee] aedc84: [klee-stats] Check if stats file exis klee-commits MartinNowack