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
2020-04-30
Removed include/klee/util and moved header files to appropriate places
Cristian Cadar
2020-04-30
Created include/klee/Core directory and moved appropriate files direc\
Cristian Cadar
2020-04-30
Move header files from lib/Expr to include/klee/Expr to eliminate includes us...
Cristian Cadar
2020-04-30
Removed the Internal directory from include/klee
Cristian Cadar
2020-04-20
Consistently define variable using notation VAR=value; fixed comment placement
Cristian Cadar
2020-04-20
Named jobs in Travis CI for better visualization of results
Cristian Cadar
2020-04-09
[posix-runtime] Improve model to handle full-path symbolic files
Timotej Kapus
2020-04-09
[posix-runtime] Add test for full path consistency for symbolic files
Timotej Kapus
2020-04-08
readStringAtAddress: support pointer into objects
Marek Chalupa
2020-04-08
test: add a new test for readStringAtAddress
Marek Chalupa
2020-04-08
readStringAtAddress: use stringstream to obtain the string
Marek Chalupa
2020-04-08
stats: rename QueriesConstructs to QueryConstructs
Frank Busse
2020-04-08
Statistic: slightly modernise class definition
Frank Busse
2020-04-08
stats: remove queryConstructTime (unused)
Frank Busse
2020-04-07
Add unit test for Z3Solver::getConstraintLog
Daniel Grumberg
2020-04-05
Run "pkg update -f" before installing dependencies on FreeBSD
Cristian Cadar
2020-03-31
Don't search for CryptoMiniSAT when configuring STP
Cristian Cadar
2020-03-31
Fixed some messages, particularly Klee -> KLEE
Cristian Cadar
2020-03-27
Ensure that temp_builder is used when adding constant array value assertion c...
Daniel Grumberg
2020-03-22
StatsTracker: remove NumObjects, fix assignment of and always write ArrayHash...
Frank Busse
2020-03-22
[posix-runtime] Simple GET/SET_LK model
Timotej Kapus
2020-03-19
Additional test for dealing with vector instructions
Cristian Cadar
2020-03-18
Added another `ScalarizerLegacyPass` run to remove vectorized code introduced...
Frederic Kehrein
2020-03-17
Fixed compiler warning when printing variable of type off_t
Cristian Cadar
2020-03-17
stat64 is deprecated on macOS; use stat instead
Cristian Cadar
2020-03-10
Use -snap VMs on Cirrus for FreeBSD
Cristian Cadar
2020-03-06
Updating KLEE's version post-release
Cristian Cadar
2020-03-03
Release notes for 2.1
v2.1
2.1.x
Cristian Cadar
2020-03-03
Set version to 2.1
Cristian Cadar
2020-03-02
fix lit.cfg: numerical comparison of LLVM version numbers
Julian Büning
2020-03-02
travis: add LLVM 10.0
Julian Büning
2020-03-02
test/lit.cfg: add LLVM 10.0
Julian Büning
2020-03-02
stats: enforce table creation
Frank Busse
2020-03-01
[klee-stats] Grafana: Limit number of entries to query for column names
Martin Nowack
2020-03-01
[klee-stats] Use the last row inserted instead of the row with highest Instru...
Martin Nowack
2020-03-01
[klee-stats] Refactor preparing and printing the table
Martin Nowack
2020-03-01
[klee-stats] Check for existence of stats file for Grafana as well
Martin Nowack
2020-03-01
[klee-stats] Do not crash if tabulate is not installed but requested
Martin Nowack
2020-03-01
[klee-stats] Refactor writing table into own function
Martin Nowack
2020-03-01
[klee-stats] Refactor CSV printout in own function
Martin Nowack
2020-03-01
[klee-stats] Check if stats file exist before trying to open it
Martin Nowack
2020-02-24
Add leading zeros to genbout
Timotej Kapus
2020-02-24
fix p-llvm.inc: invocation for monorepo directory layout
Julian Büning
2020-02-24
find_llvm.cmake: enable parsing for git version
Julian Büning
2020-02-23
Use FreeBSD 11.3-STABLE instead of EoLed 11.2.
Gleb Popov
2020-02-23
Workaround `pkg` breakage on FreeBSD CI.
Gleb Popov
2020-02-19
Use `ref<>` for MemoryObject handling
Martin Nowack
2020-02-19
Use `ref<>` for UpdateNode
Martin Nowack
2020-02-19
Clean-up header files
Martin Nowack
2020-02-19
Add move assignment operator and move construct for `ref` class.
Martin Nowack
[next]