index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2015-04-15
Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshift
Dan Liew
2015-04-10
The Docker image had python2 and python3 which is a waste of space
Dan Liew
2015-04-10
Don't upgrade pip or setuptools. Upgrading pip breaks the build because
Dan Liew
2015-04-10
Add missing slash in last commit.
Dan Liew
2015-04-10
Update Dockerfile
David Leon Gil
2015-04-09
Add initial Dockerfile for building a KLEE Docker image (uses LLVM3.4).
Dan Liew
2015-04-09
Try to fix using the compiler KLEE's configure script detected again!
Dan Liew
2015-04-09
Normalised line endings
Cristian Cadar
2015-04-09
Added .gitattribute file that takes care of line endings.
Cristian Cadar
2015-04-09
Fix mistake if TravisCI scripts where configure flag for enabling POSIX
Dan Liew
2015-04-09
Added a new option, --rewrite-equalities, which makes it possible to disable ...
Cristian Cadar
2015-04-09
Switch to using STP's fork of minisat for TravisCI. It contains fixes
Dan Liew
2015-04-08
Fix very annoying issue where KLEE's configure would completly
Dan Liew
2015-04-03
Upstream STP now depends on an external build of minisat. Attempt to
Dan Liew
2015-04-03
Fixed issue introduce during a previous refactoring, related to field ordering.
Cristian Cadar
2015-04-02
Use C instead of C++ comments in C files to silence compiler warnings.
Cristian Cadar
2015-04-02
Silenced some compilation warnings.
Cristian Cadar
2015-04-02
Merge pull request #209 from erakadjiev/timestamp_optimize
Cristian Cadar
2015-04-02
Revert "[include] Added documentation" to avoid a conflict with a pending pul...
Cristian Cadar
2015-04-02
Fixed some doxygen issues.
Cristian Cadar
2015-04-02
Removed unused fakeState field from ExecutionState
Cristian Cadar
2015-04-02
Pass over the comments in ExecutionState.h
Cristian Cadar
2015-04-02
Removed underConstrained field, which I believe was re-introduced by
Cristian Cadar
2015-04-02
[Core] Documentation and cleanup
Martin Nowack
2015-04-01
[include] Add missing functions in klee.h
Martin Nowack
2015-04-01
[runtime] Fix include in klee_int
Martin Nowack
2015-04-01
[test] Fix compilation warning
Martin Nowack
2015-04-01
[Core] Fixed typo in assertion
Martin Nowack
2015-04-01
[runtime] Fix comments to c style for c files and headers
Martin Nowack
2015-04-01
[tests] Fix undefined function
Martin Nowack
2015-04-01
[tools] Added fortified version wrapper for fprintf
Martin Nowack
2015-04-01
[include] Added documentation
Martin Nowack
2015-04-01
[include] Removed unused variable
Martin Nowack
2015-03-22
Fix compilation under MacOS, see https://github.com/klee/klee/issues/219 for ...
Cristian Cadar
2015-03-20
Improve arithmetic-right-overshift-sym-conc.c test by make sure it
Dan Liew
2015-03-20
[Solver] Fix leak intermediate expression not freed
Martin Nowack
2015-03-20
[Core] Fix memory leak in assembler raising
Martin Nowack
2015-03-13
Timestamp improvements.
Emil Rakadjiev
2015-03-12
Merge pull request #212 from MartinNowack/killing_states_warning
Cristian Cadar
2015-03-12
[Core] Always warn if states get deleted due to memory limits
Martin Nowack
2015-03-03
Consistent capitalization of "KLEE"
Cristian Cadar
2015-03-03
Slight updates in license file, acknowledging more recent contributions.
Cristian Cadar
2015-03-02
New regression test checking that the Array factory correctly distinguishes b...
Cristian Cadar
2015-03-02
Merge branch 'holycrap872-ArrayFactory'
Cristian Cadar
2015-02-27
Improved some comments and fixed some formatting issues in the Array factory ...
Cristian Cadar
2015-02-27
Merge branch 'ArrayFactory' of https://github.com/holycrap872/klee into holyc...
Cristian Cadar
2015-02-22
Added factory method for Arrays + hid constructors from outside calls
Eric Rizzi
2015-02-19
Teach ExprSMTLIBPrinter to use SMTLIBv2's distinct function rather
Dan Liew
2015-02-13
Fixed and refactored overflow test cases.
Cristian Cadar
2015-02-13
refactor integer overflow detection, add signed int
Luca Dariz
[next]