about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2020-01-19Remove statistics limit from istats.Martin Nowack
2020-01-18Fix handling of debug information for functionsMartin Nowack
2020-01-17Add support to provid a specific host address and port for grafana serverMartin Nowack
2020-01-17Add additional packages to provide an out-of-the-box grafana supportMartin Nowack
2020-01-17Use current values for stats in GrafanaGeorge Ordish
2020-01-17Extended the grafana dashboard.knm17
2020-01-17Add script to build and upload Grafana Docker imageGeorge Ordish
2020-01-17Add Dockerfile for preconfigured GrafanaGeorge Ordish
2020-01-17Update objdump script to support python3Martin Nowack
2020-01-17Fixed documentation for command line argument link-llvm-libMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-29 10:22:56 +0000