klee-commits

2014-10-01 - 2014-11-01 (13 messages)

2014-09-01 - 2014-10-01 (38 messages)

 Next  Last 

  1. 2014-09-25  [klee-commits] [klee/klee] 0c8c81: Patch by Sean Bartell: "F_Binary was  klee-commits Cristian Cadar 
  2. 2014-09-19  [klee-commits] [klee/klee] 547dd6: Removed code related to underConstrai klee-commits Cristian Cadar 
  3. 2014-09-17  [klee-commits] [klee/klee] 90e637: Another LLVM3.5 compilation fix.      klee-commits Dan Liew 
  4. 2014-09-16  [klee-commits] [klee/klee] 21ab53: Fix compilation error due to r199218. klee-commits Daniel Dunbar 
  5. 2014-09-15  [klee-commits] [klee/klee] 9cc7df: Generate fake files for test cases    klee-commits Daniel Dunbar 
  6. 2014-09-15  [klee-commits] [klee/klee] c5d1e3: Replace fprintf with klee_warnings fo klee-commits Cristian Cadar 
  7. 2014-09-15  [klee-commits] [klee/klee] 6f0215: Remove --read-args command line optio klee-commits Cristian Cadar 
  8. 2014-09-15  [klee-commits] [klee/klee] 8cf057: [Travis] Show commands as they execut klee-commits Dan Liew 
  9. 2014-09-15  [klee-commits] [klee/klee] 961273: Taught klee_warning(), klee_error() e klee-commits Dan Liew 
 10. 2014-09-14  [klee-commits] [klee/klee] 9955e5: Removed inlineChecks() function which klee-commits Dan Liew 
 11. 2014-09-14  [klee-commits] [klee/klee] e2c382: [Travis] Stop building with both Clan klee-commits Daniel Dunbar 
 12. 2014-09-14  [klee-commits] [klee/klee] 9dc94b: Fix when we decide to "not exit on co klee-commits Dan Liew 
 13. 2014-09-14  [klee-commits] [klee/klee] 1d3c74: Provide --enable-cxx11 configure opti klee-commits Daniel Dunbar 
 14. 2014-09-14  [klee-commits] [klee/klee] 8ecd31: [Module] Try harder to associate each klee-commits Daniel Dunbar 
 15. 2014-09-14  [klee-commits] [klee/klee] e90e1a: [tests] Enable running tests in paral klee-commits Daniel Dunbar 
 16. 2014-09-14  [klee-commits] [klee/klee] caf503: Use klee-libc for this test, as it ru klee-commits Daniel Dunbar 
 17. 2014-09-14  [klee-commits] [klee/klee] a36cc9: Fix testcase FD_Fail2.c               klee-commits Daniel Dunbar 
 18. 2014-09-14  [klee-commits] [klee/klee] 92c937: Add Travis build status icon/link     klee-commits Daniel Dunbar 
 19. 2014-09-14  [klee-commits] [klee/klee] bc177e: [Travis] Disable Write2 on Travis wit klee-commits Daniel Dunbar 
 20. 2014-09-14  [klee-commits] [klee/klee] 97418c: Remove dependence on the bc tool. Use klee-commits Daniel Dunbar 
 21. 2014-09-14  [klee-commits] [klee/klee] a2c2e4: Upgrade ConcreteTest.py to work with  klee-commits Dan Liew 
 22. 2014-09-14  [klee-commits] [klee/klee] 35723a: [Solver] Ensure shared memory allocat klee-commits Daniel Dunbar 
 23. 2014-09-13  [klee-commits] [klee/klee] 81001c: Enable ASSERTS in Travis builds.      klee-commits Daniel Dunbar 
 24. 2014-09-13  [klee-commits] [klee/klee] 0fa5f8: Small edits to test the Travis CI tri klee-commits Cristian Cadar 
 25. 2014-09-13  [klee-commits] [klee/klee] 2ce22a: Add KLEE specific DEBUG macros.       klee-commits Daniel Dunbar 
 26. 2014-09-13  [klee-commits] [klee/klee] 6c8ebf: Add TravisCI testing infrastructure f klee-commits Daniel Dunbar 
 27. 2014-09-13  [klee-commits] [klee/klee] b3857a: test/lit.site.cfg is never deleted, l klee-commits Cristian Cadar 
 28. 2014-09-13  [klee-commits] [klee/klee] 892543: These tests require --optimize=false  klee-commits Cristian Cadar 
 29. 2014-09-13  [klee-commits] [klee/klee] 64aaf2: [tests] Fix Concrete tests for out-of klee-commits Daniel Dunbar 
 30. 2014-09-13  [klee-commits] [klee/klee] c37e33: [Core] Fix some warnings in -Asserts  klee-commits Daniel Dunbar 

 Next  Last