Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
50 lines (43 sloc) 1.83 KB
cabal-version : >= 1.10
name : copilot-cbmc
version : 0.23
synopsis : Copilot interface to a C model-checker.
description :
Depends on CBMC <http://www.cprover.org/cbmc/>. Generates a driver to prove
the Atom and SBV backends generate equivalent code.
.
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot contains an interpreter,
multiple back-end compilers, and other verification tools. A tutorial, bug
reports, and todos are available at
<https://github.com/niswegmann/copilot-discussion>.
.
Examples are available at
<https://github.com/leepike/Copilot/tree/master/Examples>.
license : BSD3
license-file : LICENSE
maintainer : leepike@galois.com
stability : Experimental
category : Language, Embedded
build-type : Simple
extra-source-files : README.md
author : Lee Pike
, Sebastian Niller
, Nis Nordby Wegmann
source-repository head
type: git
location: git://github.com/niswegmann/copilot-cbmc.git
library
default-language : Haskell2010
hs-source-dirs : src
ghc-options : -Wall -fwarn-tabs
ghc-prof-options : -auto-all -caf-all
build-depends : base >= 4.3 && < 5
, bytestring >= 0.9
, copilot-core >= 0.2.3
, directory >= 1.1
, process >= 1.0
, pretty >= 1.0.1
, copilot-sbv >= 0.4
, copilot-c99 >= 0.2.4
exposed-modules : Copilot.Tools.CBMC
Jump to Line
Something went wrong with that request. Please try again.