Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : crux-llvm
This tool (and corresponding C library) are intended for verifying C programs using verification specifications embedded in the input source files (i.e. it allows for writing Crucible specifications by using C as the specification language). This tool provides: a Haskell library with the core functionality, a crux-llvm executable used to run the verification when given one or more C or C++ source files a set of supplemental C source files, include files, and LLVM runtime library bitcode files to use for building the input C files into verifiable LLVM BC files. a crux-llvm-svcomp executable that is designed to run verification of challenge inputs for the SV-COMP competition, generating results tailored to the format that SV-COMP expects.
Registry
- JSON
purl: pkg:hackage/crux-llvm
Keywords: bsd3, language, library, program
License: BSD-3-Clause
Latest release: 4 months ago
First release: 4 months ago
Dependent packages: 2
Downloads: 43 total
Last synced: 22 days ago