klee

KLEE Symbolic Execution Engine

OTHER License

Stars
2.6K
View Code on GitHub Visit Website View on X
Ecosystems: C++

Issue Statistics

Past Year

All Time

Total Pull Requests
3
89
Merged Pull Requests
0
69
Total Issues
2
53
Time to Close Issues
N/A
8 months
Related Projects
symengine

SymEngine is a fast symbolic manipulation library, written in C++

13 Aug 2008 1,128
cmake-ide

Use Emacs as a C/C++ IDE

22 Aug 2014 716
kengine

Game engine with an Entity-Component-System (ECS) architecture. Focus on ease-of-use, runtime ext...

30 Apr 2017 603
babble

25 Sep 2023 7
project_options

A general-purpose CMake library that provides functions that improve the CMake experience followi...

22 Sep 2021 344
clang-build

Clang-based cross platform build system written in Python

09 Mar 2018 8
qt-creator

A cross-platform Qt IDE

06 May 2013 2,457
clang-build-test

This project has been moved to github.com/trick-17/clang-build

25 Feb 2018 0
cxx

Configuration-free utility for building, testing and packaging executables written in C++. Can au...

19 Dec 2017 121
kudu

Mirror of Apache Kudu

29 Jan 2016 1,843
LLVMStackPU

An LLVM fork for a CPU built in Minecraft

30 Sep 2020 6
z3

The Z3 Theorem Prover

26 Mar 2015 10,254
atframe_utils

cxx utils code

19 Mar 2016 76
mikado

Friendly solver interfaces for Trilinos.

23 May 2016 8
Halide

a language for fast, portable data-parallel computation

31 Jul 2012 5,862