Update subprojects list

llvm · Oct 24, 2024 · b090376 · b090376
1 parent 1c51cfc
commit b090376
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/data/subprojects.yml b/data/subprojects.yml
@@ -44,11 +44,6 @@ subprojects:
       The libclc project aims to implement the OpenCL standard library.
     url: "https://libclc.llvm.org/"
 
-  - name: "klee"
-    description: |
-      The klee project implements a "symbolic virtual machine" which uses a theorem prover to try to evaluate all dynamic paths through a program in an effort to find bugs and to prove properties of functions. A major feature of klee is that it can produce a testcase in the event that it detects a bug.
-    url: "https://klee.llvm.org/"
-
   - name: "LLD"
     description: |
       The LLD project is a new linker that is a drop-in replacement for system linkers and runs much faster.