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
path:
root
/
lib
Age
Commit message (
Expand
)
Author
2015-09-21
Merge pull request #274 from MartinNowack/fix_sdiv_1
Cristian Cadar
2015-09-05
Allow to generate initial values with empty constraint set
Martin Nowack
2015-08-30
Fix signed division by constant 1/ -1
Martin Nowack
2015-08-17
Merge pull request #239 from yotann/master
Cristian Cadar
2015-08-03
Merge pull request #198 from holycrap872/IndependentSolverGetInitialValues
Cristian Cadar
2015-08-03
Merge pull request #243 from ccadar/master
Cristian Cadar
2015-07-06
Make the super-set check in CexCachingSolver default off
Eric Rizzi
2015-06-03
Added an option --readable-posix-inputs which is used to turn on/off the CEX ...
Cristian Cadar
2015-05-31
Make use of prefer-cex optional rather than default
Eric Rizzi
2015-04-29
Fix assertion failure in getDirectCallTarget
Sean Bartell
2015-04-25
Report the git tag if exists in the output of --version from klee
Dan Liew
2015-04-25
Give KLEE release version information in the output of klee and kleaver
Dan Liew
2015-04-15
Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshift
Dan Liew
2015-04-09
Added a new option, --rewrite-equalities, which makes it possible to disable ...
Cristian Cadar
2015-04-03
Fixed issue introduce during a previous refactoring, related to field ordering.
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
Removed unused fakeState field from ExecutionState
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
Added the function IndependentSolver::createdPointEvaluatesToTrue
Eric Rizzi
2015-04-01
Commit of improved IndependentSolver::getIniitalValues().
Eric Rizzi
2015-04-01
Added the ability to solve for all factors in a particular query.
Eric Rizzi
2015-04-01
[Core] Fixed typo in assertion
Martin Nowack
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
[Core] Always warn if states get deleted due to memory limits
Martin Nowack
2015-03-10
Altered DenseSet and IndependentElementSet to record ref<Expr> involved
Eric Rizzi
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
refactor integer overflow detection, add signed int
Luca Dariz
2015-02-13
Fix overflow detection in unsigned multiplication
Luca Dariz
2015-02-13
Detect overflow of unsigned add, sub and mul operations
Luca Dariz
2015-02-13
Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"
Cristian Cadar
2015-02-10
Merged @luckyluke's change for detecting overflow of unsigned add, sub
Cristian Cadar
2014-12-19
Merge pull request #168 from willemp/fix-va-args-passing-for-big-types
Cristian Cadar
2014-12-13
Add a few line breaks to make the code more readable in
Dan Liew
2014-12-13
Clean up some ExprSMTLIBPrinter code by using llvm_unreachable
Dan Liew
2014-12-13
Clean up a few comments in ExprSMTLIBPrinter
Dan Liew
2014-12-12
Print nested let-abbreviations in ExprSMTLIBPrinter
Raimondas Sasnauskas
2014-12-09
Merge pull request #186 from paulmar/fixshift
Cristian Cadar
2014-12-08
Fix overshift check
Paul Marinescu
2014-12-03
Handling overshift behaviour in MetaSMTBuilder
Hristina Palikareva
2014-12-02
Fix typo
Dan Liew
2014-12-02
Add a comment explaining why the query expr is being negated.
Dan Liew
2014-12-02
The printing of constraints and the QueryExpr have been merged into a
Dan Liew
2014-12-02
Implement :named and let abbreviation modes in ExprSMTLIBPrinter
Raimondas Sasnauskas
[next]