package info (click to toggle)
maude 3.5.1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,480 kB
  • sloc: cpp: 133,192; makefile: 2,180; yacc: 1,984; sh: 1,373; lex: 886

Folder: Corner

d .. (parent)
- - rwxr-xr-x 281 ACU_TreeVariableSubproblem
- - rw-r--r-- 2,911 ACU_TreeVariableSubproblem.expected
- - rw-r--r-- 4,489 ACU_TreeVariableSubproblem.maude
- - rw-r--r-- 738 Makefile.am
- - rwxr-xr-x 268 attributeOverparsing
- - rw-r--r-- 2,707 attributeOverparsing.expected
- - rw-r--r-- 1,363 attributeOverparsing.maude
- - rwxr-xr-x 205 badOmod
- - rw-r--r-- 51,997 badOmod.expected
- - rw-r--r-- 1,743 badOmod.maude
- - rwxr-xr-x 221 badRenaming
- - rw-r--r-- 75,550 badRenaming.expected
- - rw-r--r-- 2,438 badRenaming.maude
- - rwxr-xr-x 225 badStatement
- - rw-r--r-- 20,189 badStatement.expected
- - rw-r--r-- 3,804 badStatement.maude
- - rwxr-xr-x 205 badView
- - rw-r--r-- 33,925 badView.expected
- - rw-r--r-- 3,425 badView.maude
- - rwxr-xr-x 261 fakeParameterConstant
- - rw-r--r-- 1,535 fakeParameterConstant.expected
- - rw-r--r-- 256 fakeParameterConstant.maude
- - rwxr-xr-x 245 fakeParameterSort
- - rw-r--r-- 1,488 fakeParameterSort.expected
- - rw-r--r-- 218 fakeParameterSort.maude
- - rwxr-xr-x 229 operatorNames
- - rw-r--r-- 15,210 operatorNames.expected
- - rw-r--r-- 1,774 operatorNames.maude