Commit 5d908e8b authored by Michael Hanus 's avatar Michael Hanus

LICENSE added, README updated

parent 6099dda3
Copyright (c) 2011-2016, Michael Hanus
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.
- None of the names of the copyright holders and contributors may be
used to endorse or promote products derived from this software without
specific prior written permission.
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
OWNER 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.
......@@ -4,7 +4,7 @@ Curry Tools
This directory contains various tools for Curry
that are used by different Curry systems, like PAKCS or KiCS2.
Currently it contains:
Currently, it contains the following tools:
`addtypes`:
A tool that adds type signatures to a given Curry program.
......@@ -17,6 +17,9 @@ These are used in the `CASS` and `currydoc` tools.
A tool to browse through the modules and functions of a Curry program,
show them in various formats, and analyze their properties.
`casc`:
A style checker for Curry programs.
`CASS`:
This directory contains the implementation of the
Curry Analysis Server System, a generic and distributed analysis system
......@@ -32,22 +35,20 @@ generation of web user interfaces (WUIs).
`currycheck`:
A property test tool for Curry programs.
`currytest`:
A test tool for Curry programs.
`currydoc`:
A documentation generator for Curry programs.
`currypp`:
A preprocessor for Curry programs implementing integrated code,
default rules, deterministic functions, and dynamic contract checking.
`ertool`:
`currytest`:
A test tool for Curry programs.
`ertools`:
Compilers to translate database (ER) models
into Curry programs providing high-level access to relational databases.
`genint`:
A program for generating module interfaces and source code
of a Curry module (used by the commands ":interface" and ":show"
of some Curry systems).
`importcalls`:
A tool to show all calls to imported functions in a module.
......
......@@ -223,7 +223,7 @@ printUsage prog = putStrLn $ cascTitle ++ "\n\n" ++ usage prog
printVersion :: IO ()
printVersion = putStrLn $ "This is " ++ cascTitle
-- |Show a greeting of the current cymake
-- |Show a greeting of CASC
cascTitle :: String
cascTitle = "CASC (Curry Automatic Style Checker), version " ++ cascVersion
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment