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