Commit a298d48a authored by Michael Hanus 's avatar Michael Hanus

Compiler spec added

parent ec65c5d8
......@@ -14,6 +14,10 @@
PAKCS/KiCS2 distributions.",
"category": [ "Rewriting", "Narrowing" ],
"dependencies": { },
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
"kics2": ">= 0.5.0, < 2.0.0"
},
"exportedModules": [
"Rewriting.CriticalPairs", "Rewriting.Narrowing", "Rewriting.Strategy",
"Rewriting.Unification", "Rewriting.DefinitionalTree",
......
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