Commit 0f5fa79f authored by Michael Hanus 's avatar Michael Hanus
Browse files

regexp/1.1.0 added

parent 5d1ec832
"name": "regexp",
"version": "1.1.0",
"author": "Michael Hanus <>",
"synopsis": "Library to specify the semantics of regular expressions",
"category": [ "Parsing" ],
"description": "This package contains a library which specifies the semantics of regular expressions and regular expression matching in a high-level manner via non-deterministic operations. This library might be useful as an oracle to test more efficient regular expression matchers. Furthermore, there is also a library which is used by the Curry preprocessor to translate regular expression in POSIX syntax occurring as integrated code in Curry programs.",
"dependencies": { },
"exportedModules": [ "RegExpSem", "RegExp" ],
"compilerCompatibility": {
"pakcs": ">= 2.0.0",
"kics2": ">= 2.0.0"
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
"testsuite": {
"src-dir": "examples",
"modules": [ "ABC" ]
"source": {
"git": "",
"tag": "$version"
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