Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Pascal Stücker
cpm-index
Commits
1cbabb96
Commit
1cbabb96
authored
Sep 27, 2017
by
Michael Hanus
Browse files
index updated
parent
9e3b22ef
Changes
37
Hide whitespace changes
Inline
Side-by-side
call-analysis/0.0.1/package.json
View file @
1cbabb96
...
...
@@ -5,6 +5,7 @@
"synopsis"
:
"A call-pattern analysis and transformation tool to improve lazy non-deterministic computations"
,
"category"
:
[
"Analysis"
,
"Optimization"
],
"dependencies"
:
{
"flatcurry"
:
">= 1.0.0"
},
"compilerCompatibility"
:
{
"pakcs"
:
">= 1.14.0, < 2.0.0"
,
...
...
call-analysis/2.0.0/package.json
View file @
1cbabb96
...
...
@@ -5,6 +5,7 @@
"synopsis"
:
"A call-pattern analysis and transformation tool to improve lazy non-deterministic computations"
,
"category"
:
[
"Analysis"
,
"Optimization"
],
"dependencies"
:
{
"flatcurry"
:
">= 2.0.0"
},
"compilerCompatibility"
:
{
"pakcs"
:
">= 2.0.0"
,
...
...
cass-analysis/0.0.4/package.json
View file @
1cbabb96
...
...
@@ -5,6 +5,7 @@
"synopsis"
:
"Libraries with various compile-time analyses for Curry"
,
"category"
:
[
"Analysis"
],
"dependencies"
:
{
"flatcurry"
:
">= 1.0.0"
},
"compilerCompatibility"
:
{
"pakcs"
:
">= 1.14.0, < 2.0.0"
,
...
...
cass-analysis/2.0.0/package.json
View file @
1cbabb96
...
...
@@ -5,6 +5,7 @@
"synopsis"
:
"Libraries with various compile-time analyses for Curry"
,
"category"
:
[
"Analysis"
],
"dependencies"
:
{
"flatcurry"
:
">= 2.0.0"
},
"compilerCompatibility"
:
{
"pakcs"
:
">= 2.0.0"
,
...
...
cass/0.0.1/package.json
View file @
1cbabb96
...
...
@@ -5,7 +5,8 @@
"synopsis"
:
"CASS: the Curry Analysis Server System"
,
"category"
:
[
"Analysis"
],
"dependencies"
:
{
"cass-analysis"
:
">= 0.0.1"
"cass-analysis"
:
">= 0.0.1"
,
"flatcurry"
:
">= 1.0.0"
},
"compilerCompatibility"
:
{
"pakcs"
:
">= 1.14.0, < 2.0.0"
,
...
...
cass/2.0.0/package.json
View file @
1cbabb96
...
...
@@ -5,7 +5,8 @@
"synopsis"
:
"CASS: the Curry Analysis Server System"
,
"category"
:
[
"Analysis"
],
"dependencies"
:
{
"cass-analysis"
:
">= 2.0.0"
"cass-analysis"
:
">= 2.0.0"
,
"flatcurry"
:
">= 2.0.0"
},
"compilerCompatibility"
:
{
"pakcs"
:
">= 2.0.0"
,
...
...
chr-curry/1.0.0/package.json
View file @
1cbabb96
...
...
@@ -5,7 +5,8 @@
"synopsis"
:
"A library to use Constraint Handling Rules in Curry programs"
,
"category"
:
[
"Constraints"
],
"dependencies"
:
{
"prolog"
:
">= 1.0.0"
"flatcurry"
:
">= 1.0.0"
,
"prolog"
:
">= 1.0.0"
},
"exportedModules"
:
[
"CHR"
],
"description"
:
"This library an implementation of Constraints Handling
...
...
chr-curry/2.0.0/package.json
View file @
1cbabb96
...
...
@@ -5,7 +5,8 @@
"synopsis"
:
"A library to use Constraint Handling Rules in Curry programs"
,
"category"
:
[
"Constraints"
],
"dependencies"
:
{
"prolog"
:
">= 1.0.0"
"flatcurry"
:
">= 2.0.0"
,
"prolog"
:
">= 1.0.0"
},
"exportedModules"
:
[
"CHR"
],
"description"
:
"This library an implementation of Constraints Handling
...
...
contract-prover/0.0.1/package.json
View file @
1cbabb96
...
...
@@ -7,6 +7,7 @@
"license"
:
"BSD-3-Clause"
,
"licenseFile"
:
"LICENSE"
,
"dependencies"
:
{
"flatcurry"
:
">= 1.0.0"
,
"flatcurry-annotated"
:
">= 1.0.0"
,
"showflatcurry"
:
">= 0.0.1"
},
...
...
cpm/0.2.2/package.json
View file @
1cbabb96
...
...
@@ -13,7 +13,8 @@
"boxes"
:
">= 0.0.2"
,
"json"
:
">= 0.0.2"
,
"cass-analysis"
:
">= 0.0.3"
,
"cass"
:
">= 0.0.1"
"cass"
:
">= 0.0.1"
,
"flatcurry"
:
">= 1.0.0"
},
"compilerCompatibility"
:
{
"pakcs"
:
">= 1.14.0, < 2.0.0"
,
...
...
cpm/2.0.0/package.json
View file @
1cbabb96
...
...
@@ -13,7 +13,8 @@
"boxes"
:
">= 2.0.0"
,
"json"
:
">= 2.0.0"
,
"cass-analysis"
:
">= 2.0.0"
,
"cass"
:
">= 2.0.0"
"cass"
:
">= 2.0.0"
,
"flatcurry"
:
">= 2.0.0"
},
"compilerCompatibility"
:
{
"pakcs"
:
">= 2.0.0"
,
...
...
curry2js/0.2.0/package.json
View file @
1cbabb96
...
...
@@ -5,6 +5,7 @@
"synopsis"
:
"A compiler for Curry into JavaScript programs used in WUIs."
,
"category"
:
[
"Web"
],
"dependencies"
:
{
"flatcurry"
:
">= 0.0.1"
,
"javascript"
:
">= 1.0.0"
},
"compilerCompatibility"
:
{
...
...
curry2js/2.0.0/package.json
View file @
1cbabb96
...
...
@@ -5,6 +5,7 @@
"synopsis"
:
"A compiler for Curry into JavaScript programs used in WUIs."
,
"category"
:
[
"Web"
],
"dependencies"
:
{
"flatcurry"
:
">= 2.0.0"
,
"javascript"
:
">= 2.0.0"
},
"compilerCompatibility"
:
{
...
...
currybrowse/0.5.0/package.json
View file @
1cbabb96
...
...
@@ -8,6 +8,7 @@
"addtypes"
:
">= 0.0.1"
,
"cass-analysis"
:
">= 0.0.1"
,
"cass"
:
">= 0.0.1"
,
"flatcurry"
:
">= 1.0.0"
,
"graphviz"
:
">= 0.0.1"
,
"importusage"
:
">= 0.0.1"
,
"showflatcurry"
:
">= 0.0.1"
...
...
currybrowse/2.0.0/package.json
View file @
1cbabb96
...
...
@@ -8,6 +8,7 @@
"addtypes"
:
">= 2.0.0"
,
"cass-analysis"
:
">= 2.0.0"
,
"cass"
:
">= 2.0.0"
,
"flatcurry"
:
">= 2.0.0"
,
"graphviz"
:
">= 2.0.0"
,
"importusage"
:
">= 0.0.1"
,
"showflatcurry"
:
">= 0.0.1"
...
...
currycheck/1.0.1/package.json
View file @
1cbabb96
...
...
@@ -5,6 +5,7 @@
"synopsis"
:
"A tool to support automatic testing of Curry programs"
,
"category"
:
[
"Testing"
],
"dependencies"
:
{
"flatcurry"
:
">= 1.0.0"
,
"rewriting"
:
">= 0.0.1"
},
"compilerCompatibility"
:
{
...
...
currycheck/2.0.0/package.json
View file @
1cbabb96
...
...
@@ -5,6 +5,7 @@
"synopsis"
:
"A tool to support automatic testing of Curry programs"
,
"category"
:
[
"Testing"
],
"dependencies"
:
{
"flatcurry"
:
">= 2.0.0"
,
"rewriting"
:
">= 2.0.0"
},
"compilerCompatibility"
:
{
...
...
currydoc/0.8.3/package.json
View file @
1cbabb96
...
...
@@ -7,6 +7,7 @@
"dependencies"
:
{
"cass-analysis"
:
">= 0.0.1"
,
"cass"
:
">= 0.0.1"
,
"flatcurry"
:
">= 1.0.0"
,
"html"
:
">= 0.0.1"
,
"markdown"
:
">= 1.0.0"
},
...
...
currydoc/2.0.0/package.json
View file @
1cbabb96
...
...
@@ -7,6 +7,7 @@
"dependencies"
:
{
"cass-analysis"
:
">= 2.0.0"
,
"cass"
:
">= 2.0.0"
,
"flatcurry"
:
">= 2.0.0"
,
"html"
:
">= 2.0.0"
,
"markdown"
:
">= 2.0.0"
},
...
...
ertools/1.0.0/package.json
View file @
1cbabb96
...
...
@@ -5,7 +5,8 @@
"synopsis"
:
"Tools for dealing with database applications specified by entity-relationship diagrams"
,
"category"
:
[
"Database"
],
"dependencies"
:
{
"graphviz"
:
">= 1.0.0"
"flatcurry"
:
">= 1.0.0"
,
"graphviz"
:
">= 1.0.0"
},
"compilerCompatibility"
:
{
"pakcs"
:
">= 1.14.0, < 2.0.0"
,
...
...
Prev
1
2
Next
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment