hermit (empty) → 0.0

raw patch · 4 files changed

+52/−0 lines, 4 filesdep +basesetup-changed

Dependencies added: base

Files

• LICENSE +24/−0
• Language/HERMIT.hs +3/−0
• Setup.hs +2/−0
• hermit.cabal +23/−0

@@ -0,0 +1,24 @@+Copyright (c) 2011, The University of Kansas+All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions are+met:++    Redistributions of source code must retain the above copyright notice, this+    list of conditions and the following disclaimer.++    Redistributions in binary form must reproduce the above copyright notice,+    this list of conditions and the following disclaimer in the documentation+    and/or other materials provided with the distribution.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND+ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,+OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

@@ -0,0 +1,3 @@+module Language.HERMIT where++version = "0.0"

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,23 @@+Name:                hermit+Version:             0.0+Synopsis:            Haskell Equational Reasoning Model-to-Implementation Tunnel+Description:	     HERMIT uses Haskell to express semi-formal models,+		     efficient implementations, and provide a bridging DSL+		     to describe via stepwise refinement the connection between+		     these models and implementations. The key transformation+		     in the bridging DSL is the worker/wrapper transformation.++Category:            Language, Formal Methods, Optimization, Transformation, Refactoring, Reflection+License:             BSD3+License-file:        LICENSE+Author:              Andy Gill+Maintainer:          Andy Gill <andygill@ku.edu>+Stability:	     vaporware+build-type: 	     Simple+Cabal-Version:       >= 1.6++Library+       Build-Depends: base >= 4 && < 5++  Exposed-modules:+       Language.HERMIT