Google Git
Sign in
chromium / external / github.com / stp / stp
Mirrored from https://github.com/stp/stp.git
Clone this repo:

Branches

Tags

  1. 3785148 Update INSTALL instructions to add PYTHON_EXECUTABLE by Mate Soos · 2 years, 11 months ago master
  2. ea49c1c Only upload to Coveralls if COVERTOKEN is set by Mate Soos · 3 years ago
  3. ffcc2d9 Merge pull request #204 from aclements/ops by Mate Soos · 3 years ago
  4. 0662997 Merge pull request #205 from aclements/counterexample by Mate Soos · 3 years ago
  5. ba6a59b Fix vc_getCounterExample for arbitrary expressions by Austin Clements · 3 years ago
  6. 8e3c67b Flesh out overloaded operators in Python bindings by Austin Clements · 3 years ago
  7. 1ae22ac Fix reversed operators in Python bindings by Austin Clements · 3 years ago
  8. d550b55 Taking code from KLEE TravisCI to build KLEE by Mate Soos · 3 years ago
  9. 6eece08 Adding symbolic link for klee compilation by Mate Soos · 3 years ago
  10. 0f6ff38 Don't install llvm-tools in TravisCI by Mate Soos · 3 years ago
  11. a85cf85 Let's try installing llvm-tools instead of llvm-3.4-tools for KLEE by Mate Soos · 3 years ago
  12. 56aeea6 Making sure we can build KLEE on TravisCI using current STP by Mate Soos · 3 years ago
  13. 9c22ea1 Bumping version and releasing after KLEE build fix by Mate Soos · 3 years ago 2.1.2
  14. 1f352dc Adding build type that KLEE requires and fixing it by Mate Soos · 3 years ago
  15. 73ebe29 Fixing up the build dir location by Mate Soos · 3 years ago
  16. f5a518b Renaming intree build and fixing SOURCE/BUILD_DIR by Mate Soos · 3 years ago
  17. 1fdabf2 Bumping version by Mate Soos · 3 years, 1 month ago 2.1.1
  18. 2482e4c Fixing typo. Thanks to Marko Dimjašević by Mate Soos · 3 years, 1 month ago
  19. 4aa4985 Fixing link to LGPLv2 by Mate Soos · 3 years, 1 month ago
  20. f589a81 Fixing || into 'or' in license of constantbv.cpp by Mate Soos · 3 years, 1 month ago