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
/
SMT
/
SMTParser.cpp
Age
Commit message (
Expand
)
Author
2017-02-13
Removing unused lib/SMT directory
Cristian Cadar
2016-11-23
Renamed .pc to .kquery (kleaver query)
Eric Rizzi
2015-02-22
Added factory method for Arrays + hid constructors from outside calls
Eric Rizzi
2014-05-29
Avoid non-explicit use of functions from std namespace in KLEE
Martin Nowack
2014-05-29
Remove #include <iostream> to avoid static constructors
Martin Nowack
2014-05-29
Refactoring from std::ostream to llvm::raw_ostream
Martin Nowack
2009-07-15
Code to answer satisfiability queries.
Cristian Cadar
2009-07-11
Use a builder in the SMT parser instead of constructing expressions
Cristian Cadar
2009-07-11
Report an error in the SMT parser when encountering the few operators
Cristian Cadar
2009-07-10
Removed debug info.
Cristian Cadar
2009-07-10
Added support for not, zero_extend, and sign_extend to the SMTLIB parser.
Cristian Cadar
2009-07-08
Added support for bitvector variables to the SMTLIB parser (currently
Cristian Cadar
2009-07-02
Added support for bitvector constants to the SMTLIB parser. Only
Cristian Cadar
2009-06-25
Recognizing more SMTLIB expressions (bitwise, etc.). Some of them
Cristian Cadar
2009-06-25
Added support for flets.
Cristian Cadar
2009-06-24
Added support for LET expressions. Added simple environment support
Cristian Cadar
2009-06-13
Changed SMTParser to return the parsed QueryCommand.
Cristian Cadar
2009-06-12
Removed parser_temp.h. Adapted the code to use SMTParser directly.
Cristian Cadar
2009-06-10
Wrote a new SMTParser that inherits from klee::expr::Parser.
Cristian Cadar
