about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2020-04-07Add unit test for Z3Solver::getConstraintLogDaniel Grumberg
2020-04-05Run "pkg update -f" before installing dependencies on FreeBSDCristian Cadar
2020-03-31Don't search for CryptoMiniSAT when configuring STPCristian Cadar
2020-03-31Fixed some messages, particularly Klee -> KLEECristian Cadar
2020-03-27Ensure that temp_builder is used when adding constant array value assertion c...Daniel Grumberg
2020-03-22StatsTracker: remove NumObjects, fix assignment of and always write ArrayHash...Frank Busse
2020-03-22[posix-runtime] Simple GET/SET_LK modelTimotej Kapus
2020-03-19Additional test for dealing with vector instructionsCristian Cadar
2020-03-18Added another `ScalarizerLegacyPass` run to remove vectorized code introduced...Frederic Kehrein
2020-03-17Fixed compiler warning when printing variable of type off_tCristian Cadar
2020-03-17stat64 is deprecated on macOS; use stat insteadCristian Cadar
2020-03-10Use -snap VMs on Cirrus for FreeBSDCristian Cadar
2020-03-06Updating KLEE's version post-releaseCristian Cadar
2020-03-03Release notes for 2.1 v2.1 2.1.xCristian Cadar
2020-03-03Set version to 2.1Cristian Cadar
2020-03-02fix lit.cfg: numerical comparison of LLVM version numbersJulian Büning
2020-03-02travis: add LLVM 10.0Julian Büning
2020-03-02test/lit.cfg: add LLVM 10.0Julian Büning
2020-03-02stats: enforce table creationFrank Busse
2020-03-01[klee-stats] Grafana: Limit number of entries to query for column namesMartin 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 tableMartin Nowack
2020-03-01[klee-stats] Check for existence of stats file for Grafana as wellMartin Nowack
2020-03-01[klee-stats] Do not crash if tabulate is not installed but requestedMartin Nowack
2020-03-01[klee-stats] Refactor writing table into own functionMartin Nowack
2020-03-01[klee-stats] Refactor CSV printout in own functionMartin Nowack
2020-03-01[klee-stats] Check if stats file exist before trying to open itMartin Nowack
2020-02-24Add leading zeros to genboutTimotej Kapus
2020-02-24fix p-llvm.inc: invocation for monorepo directory layoutJulian Büning
2020-02-24find_llvm.cmake: enable parsing for git versionJulian Büning
2020-02-23Use FreeBSD 11.3-STABLE instead of EoLed 11.2.Gleb Popov
2020-02-23Workaround `pkg` breakage on FreeBSD CI.Gleb Popov
2020-02-19Use `ref<>` for MemoryObject handlingMartin Nowack
2020-02-19Use `ref<>` for UpdateNodeMartin Nowack
2020-02-19Clean-up header filesMartin Nowack
2020-02-19Add move assignment operator and move construct for `ref` class.Martin Nowack
2020-02-19Add `ReferenceCounter` struct utilized by ref<>Martin Nowack
2020-02-19Fix ptr reference invalidation if last reference gets freed before new refere...Martin Nowack
2020-02-13Use call-by-reference for hash-function invocationMartin Nowack
2020-02-13Replace old TR1 implementations of unordered_map/set with std::* versionsMartin Nowack
2020-02-13Use a newer Ubuntu 18.04 from the year 2020 to build KLEE DockerimageMartin Nowack
2020-02-13Use a newer Ubuntu 18.04 from the year 2020 to build KLEEMartin Nowack
2020-02-13Update Docker image template for KLEE.Martin Nowack
2020-02-13Use system's boost when building metasmt and user newer boolector versionMartin Nowack
2020-02-13Do not wait if SANITIZER_BUILD is emptyMartin Nowack
2020-02-13Add llvm as build dependency of clang in case no system packages are availableMartin Nowack
2020-02-13Add patch support for libcxxMartin Nowack
2020-02-13Use git repository to build LLVMMartin Nowack
2020-02-13Update ubuntu build dependencies for KLEEMartin Nowack
2020-01-28updatecomet
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 22:20:52 +0000