1. 02 Nov, 2011 1 commit
    • Andrei Paskevich's avatar
      fix smtv2 printer · ad8fa432
      Andrei Paskevich authored
      also, remove all customization from the Z3 3.x section in prover detection.
      I find it morally wrong to chase magic options of a closed-source program.
      We should add an option for a prover only when we have clear understanding
      of what it does and good reasons to believe that it is useful in our case.
      ad8fa432
  2. 31 Oct, 2011 3 commits
  3. 27 Oct, 2011 1 commit
  4. 26 Oct, 2011 1 commit
  5. 21 Oct, 2011 1 commit
  6. 12 Oct, 2011 1 commit
  7. 08 Oct, 2011 1 commit
  8. 29 Sep, 2011 1 commit
  9. 23 Sep, 2011 1 commit
  10. 20 Sep, 2011 1 commit
  11. 16 Sep, 2011 2 commits
  12. 02 Sep, 2011 2 commits
  13. 23 Aug, 2011 2 commits
  14. 22 Aug, 2011 1 commit
  15. 11 Aug, 2011 2 commits
  16. 03 Aug, 2011 1 commit
  17. 07 Jul, 2011 1 commit
  18. 05 Jul, 2011 1 commit
  19. 04 Jul, 2011 1 commit
  20. 01 Jul, 2011 1 commit
  21. 30 Jun, 2011 2 commits
  22. 29 Jun, 2011 3 commits
  23. 28 Jun, 2011 4 commits
  24. 16 Jun, 2011 1 commit
  25. 22 May, 2011 1 commit
  26. 12 May, 2011 2 commits
  27. 05 May, 2011 1 commit