about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2020-01-13Assume assembly.ll is local to the run.istats fileMartin Nowack
2020-01-10Fix update_list_order.cMartin Nowack
2020-01-08Link python3 on macOSCristian Cadar
2020-01-08Upgraded FreeBSD Python packages from 3.6 to 3.7Cristian Cadar
2019-12-19Reorganise Dockerfile to have KLEE user own the build directoryMartin Nowack
2019-12-13Remove unnecessary std::move's that prevent copy elisionCristian Cadar
2019-12-12[optimize-array] Fix value transformationTimotej Kapus
2019-12-12[optimize-array] Fix hole index in buildMixedSelectExprTimotej Kapus
2019-12-12[optimize-array] Fix hash collisionsTimotej Kapus
2019-12-12[optimize-array] Hash collision testTimotej Kapus
2019-12-12[optimize-array] Fix update list read orderTimotej Kapus
2019-12-12[Searchers] Remove weight from es, add nurs_depthTimotej Kapus
2019-11-28Move merging related code from Executor into MergingSearcherLukas Wölfer
2019-11-26remove python2 from osx CIFelix Rath
2019-11-15Implement @llvm.is.constant() intrinsic handling and add a test for it.Gleb Popov
2019-11-09Compile fd_64.c file of POSIX runtime correctly on FreeBSD - append "64" suffixGleb Popov
2019-11-07[expr-visitor] Remove unnecessary allocationTimotej Kapus
2019-11-07Handle llvm.objectsize explicitlyMartin Nowack
2019-11-07Added test for 3-argument main.Cristian Cadar
2019-11-07Allow main with 3 argumentsCristian Cadar
2019-11-05Most libc++ tests require uclibc; add missing REQUIRES statements or remove d...Cristian Cadar
2019-11-05Core: Executor, remove unused variableJiri Slaby
2019-11-05Do not modify strings if they are read-only.Martin Nowack
2019-11-05Mark all constant global memory objects as constantMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 10:57:27 +0000