Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
cmake
Minor fix
Apr 15, 2019
docs
[CMake] Add `clean_doxygen` rule to clean up doxygen build tree and
Oct 4, 2017
include
saving my progress on ahead of time lifting
Aug 28, 2019
lib
re descent and linear sweep without binja work
Oct 6, 2019
runtime
minor fixes
Aug 14, 2019
scripts
lazy materialization works, need to fix bitcode cache edge cases, and…
Sep 8, 2019
third_party
multithreaded aot lifting works but there are some caching issues tha…
Sep 15, 2019
.clang-format
Update clang-format standard for KLEE codebase to C++11
May 12, 2018
.codecov.yml
switched bitcode version to llvm7.0 and updated to new klee. Also tes…
Mar 19, 2019
.dockerignore
Extensive updates to the build script for dependencies and docker
Jul 4, 2018
.gitattributes
Added .gitattribute file that takes care of line endings.
Apr 9, 2015
.gitignore
added basic task scheduling, still need to incorporate scheduling in …
Feb 13, 2019
.travis.yml
Use newer version of metaSMT in travis build
Apr 8, 2019
CMakeLists.txt
multithreaded aot lifting works but there are some caching issues tha…
Sep 15, 2019
LICENSE.TXT
Slight updates in license file, acknowledging more recent contributions.
Mar 3, 2015
NEWS
Release notes for 2.0
Mar 19, 2019
README-CMake.md
[CMake] Add option to set GTest include dir
Mar 26, 2018
README.md
Update README.md
Jun 17, 2019
TODO.txt
this code does not build but has the all the logic for the allocator …
Jun 18, 2019