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: Meta

d .. (parent)
- - rw-r--r-- 5,573 Makefile.am
- - rwxr-xr-x 240 checkUnifiers
- - rw-r--r-- 5,970 checkUnifiers.expected
- - rw-r--r-- 5,657 checkUnifiers.maude
- - rwxr-xr-x 268 legacyMetaGetVariant
- - rw-r--r-- 2,610 legacyMetaGetVariant.expected
- - rw-r--r-- 1,143 legacyMetaGetVariant.maude
- - rwxr-xr-x 248 legacyMetaUnify
- - rw-r--r-- 4,651 legacyMetaUnify.expected
- - rw-r--r-- 2,187 legacyMetaUnify.maude
- - rwxr-xr-x 276 legacyMetaVariantUnify
- - rw-r--r-- 8,761 legacyMetaVariantUnify.expected
- - rw-r--r-- 3,838 legacyMetaVariantUnify.maude
- - rwxr-xr-x 233 meta-oo-list-2
- - rw-r--r-- 6,272 meta-oo-list-2.expected
- - rw-r--r-- 14,905 meta-oo-list-2.maude
- - rwxr-xr-x 224 metaApply
- - rw-r--r-- 10,910 metaApply.expected
- - rw-r--r-- 7,904 metaApply.maude
- - rwxr-xr-x 236 metaFrewrite
- - rw-r--r-- 3,151 metaFrewrite.expected
- - rw-r--r-- 964 metaFrewrite.maude
- - rwxr-xr-x 248 metaGeneratedBy
- - rw-r--r-- 1,147 metaGeneratedBy.expected
- - rw-r--r-- 531 metaGeneratedBy.maude
- - rwxr-xr-x 244 metaGetVariant
- - rw-r--r-- 2,792 metaGetVariant.expected
- - rw-r--r-- 1,246 metaGetVariant.maude
- - rwxr-xr-x 236 metaIntApply
- - rw-r--r-- 4,039 metaIntApply.expected
- - rw-r--r-- 2,686 metaIntApply.maude
- - rwxr-xr-x 236 metaIntMatch
- - rw-r--r-- 3,418 metaIntMatch.expected
- - rw-r--r-- 3,900 metaIntMatch.maude
- - rwxr-xr-x 252 metaIntNewNarrow
- - rw-r--r-- 63,111 metaIntNewNarrow.expected
- - rw-r--r-- 6,405 metaIntNewNarrow.maude
- - rwxr-xr-x 276 metaIntNewNarrowSearch
- - rw-r--r-- 5,399 metaIntNewNarrowSearch.expected
- - rw-r--r-- 3,726 metaIntNewNarrowSearch.maude
- - rwxr-xr-x 236 metaIntParse
- - rw-r--r-- 2,178 metaIntParse.expected
- - rw-r--r-- 1,456 metaIntParse.maude
- - rwxr-xr-x 244 metaIntPrelude
- - rw-r--r-- 94,317 metaIntPrelude.expected
- - rw-r--r-- 5,314 metaIntPrelude.maude
- - rwxr-xr-x 236 metaIntPrint
- - rw-r--r-- 2,068 metaIntPrint.expected
- - rw-r--r-- 1,574 metaIntPrint.maude
- - rwxr-xr-x 244 metaIntReplace
- - rw-r--r-- 2,157 metaIntReplace.expected
- - rw-r--r-- 6,330 metaIntReplace.maude
- - rwxr-xr-x 248 metaIntReplace2
- - rw-r--r-- 2,300 metaIntReplace2.expected
- - rw-r--r-- 6,489 metaIntReplace2.maude
- - rwxr-xr-x 240 metaIntSearch
- - rw-r--r-- 5,819 metaIntSearch.expected
- - rw-r--r-- 4,367 metaIntSearch.maude
- - rwxr-xr-x 232 metaIntSort
- - rw-r--r-- 10,629 metaIntSort.expected
- - rw-r--r-- 7,668 metaIntSort.maude
- - rwxr-xr-x 248 metaIntStrategy
- - rw-r--r-- 3,992 metaIntStrategy.expected
- - rw-r--r-- 3,113 metaIntStrategy.maude
- - rwxr-xr-x 236 metaIntUnify
- - rw-r--r-- 12,867 metaIntUnify.expected
- - rw-r--r-- 7,351 metaIntUnify.maude
- - rwxr-xr-x 244 metaIntVariant
- - rw-r--r-- 19,060 metaIntVariant.expected
- - rw-r--r-- 4,408 metaIntVariant.maude
- - rwxr-xr-x 264 metaIntVariantMatch
- - rw-r--r-- 2,348 metaIntVariantMatch.expected
- - rw-r--r-- 2,001 metaIntVariantMatch.maude
- - rwxr-xr-x 264 metaIntVariantUnify
- - rw-r--r-- 5,103 metaIntVariantUnify.expected
- - rw-r--r-- 3,632 metaIntVariantUnify.maude
- - rwxr-xr-x 268 metaIntVariantUnify2
- - rw-r--r-- 13,956 metaIntVariantUnify2.expected
- - rw-r--r-- 6,482 metaIntVariantUnify2.maude
- - rwxr-xr-x 224 metaMatch
- - rw-r--r-- 5,088 metaMatch.expected
- - rw-r--r-- 3,639 metaMatch.maude
- - rwxr-xr-x 220 metaMeta
- - rw-r--r-- 342 metaMeta.expected
- - rw-r--r-- 445 metaMeta.maude
- - rwxr-xr-x 236 metaMetadata
- - rw-r--r-- 3,355 metaMetadata.expected
- - rw-r--r-- 1,198 metaMetadata.maude
- - rwxr-xr-x 228 metaModExp
- - rw-r--r-- 2,994 metaModExp.expected
- - rw-r--r-- 1,780 metaModExp.maude
- - rwxr-xr-x 228 metaModule
- - rw-r--r-- 2,067 metaModule.expected
- - rw-r--r-- 839 metaModule.maude
- - rwxr-xr-x 228 metaNarrow
- - rw-r--r-- 46,911 metaNarrow.expected
- - rw-r--r-- 14,574 metaNarrow.maude
- - rwxr-xr-x 224 metaParse
- - rw-r--r-- 2,853 metaParse.expected
- - rw-r--r-- 1,659 metaParse.maude
- - rwxr-xr-x 240 metaPolymorph
- - rw-r--r-- 4,139 metaPolymorph.expected
- - rw-r--r-- 3,382 metaPolymorph.maude
- - rwxr-xr-x 248 metaPrettyPrint
- - rw-r--r-- 3,472 metaPrettyPrint.expected
- - rw-r--r-- 2,945 metaPrettyPrint.maude
- - rwxr-xr-x 240 metaPrintAttr
- - rw-r--r-- 1,910 metaPrintAttr.expected
- - rw-r--r-- 1,280 metaPrintAttr.maude
- - rwxr-xr-x 240 metaProcApply
- - rw-r--r-- 4,062 metaProcApply.expected
- - rw-r--r-- 2,710 metaProcApply.maude
- - rwxr-xr-x 240 metaProcMatch
- - rw-r--r-- 3,478 metaProcMatch.expected
- - rw-r--r-- 3,960 metaProcMatch.maude
- - rwxr-xr-x 244 metaProcNarrow
- - rw-r--r-- 63,158 metaProcNarrow.expected
- - rw-r--r-- 6,477 metaProcNarrow.maude
- - rwxr-xr-x 268 metaProcNarrowSearch
- - rw-r--r-- 5,423 metaProcNarrowSearch.expected
- - rw-r--r-- 3,750 metaProcNarrowSearch.maude
- - rwxr-xr-x 240 metaProcParse
- - rw-r--r-- 2,220 metaProcParse.expected
- - rw-r--r-- 1,498 metaProcParse.maude
- - rwxr-xr-x 248 metaProcPrelude
- - rw-r--r-- 94,335 metaProcPrelude.expected
- - rw-r--r-- 5,332 metaProcPrelude.maude
- - rwxr-xr-x 240 metaProcPrint
- - rw-r--r-- 2,110 metaProcPrint.expected
- - rw-r--r-- 1,616 metaProcPrint.maude
- - rwxr-xr-x 248 metaProcReplace
- - rw-r--r-- 2,181 metaProcReplace.expected
- - rw-r--r-- 6,354 metaProcReplace.maude
- - rwxr-xr-x 252 metaProcReplace2
- - rw-r--r-- 2,324 metaProcReplace2.expected
- - rw-r--r-- 6,513 metaProcReplace2.maude
- - rwxr-xr-x 244 metaProcSearch
- - rw-r--r-- 5,903 metaProcSearch.expected
- - rw-r--r-- 4,451 metaProcSearch.maude
- - rwxr-xr-x 236 metaProcSort
- - rw-r--r-- 10,813 metaProcSort.expected
- - rw-r--r-- 7,848 metaProcSort.maude
- - rwxr-xr-x 252 metaProcStrategy
- - rw-r--r-- 4,011 metaProcStrategy.expected
- - rw-r--r-- 3,137 metaProcStrategy.maude
- - rwxr-xr-x 240 metaProcUnify
- - rw-r--r-- 12,957 metaProcUnify.expected
- - rw-r--r-- 7,417 metaProcUnify.maude
- - rwxr-xr-x 248 metaProcVariant
- - rw-r--r-- 19,114 metaProcVariant.expected
- - rw-r--r-- 4,456 metaProcVariant.maude
- - rwxr-xr-x 268 metaProcVariantMatch
- - rw-r--r-- 2,360 metaProcVariantMatch.expected
- - rw-r--r-- 2,013 metaProcVariantMatch.maude
- - rwxr-xr-x 268 metaProcVariantUnify
- - rw-r--r-- 5,127 metaProcVariantUnify.expected
- - rw-r--r-- 3,656 metaProcVariantUnify.maude
- - rwxr-xr-x 272 metaProcVariantUnify2
- - rw-r--r-- 14,044 metaProcVariantUnify2.expected
- - rw-r--r-- 6,578 metaProcVariantUnify2.maude
- - rwxr-xr-x 228 metaReduce
- - rw-r--r-- 2,401 metaReduce.expected
- - rw-r--r-- 1,522 metaReduce.maude
- - rwxr-xr-x 232 metaRewrite
- - rw-r--r-- 2,909 metaRewrite.expected
- - rw-r--r-- 1,856 metaRewrite.maude
- - rwxr-xr-x 228 metaSearch
- - rw-r--r-- 7,118 metaSearch.expected
- - rw-r--r-- 3,710 metaSearch.maude
- - rwxr-xr-x 220 metaSort
- - rw-r--r-- 8,847 metaSort.expected
- - rw-r--r-- 4,489 metaSort.maude
- - rwxr-xr-x 232 metaSpecial
- - rw-r--r-- 6,042 metaSpecial.expected
- - rw-r--r-- 3,825 metaSpecial.maude
- - rwxr-xr-x 220 metaTerm
- - rw-r--r-- 1,446 metaTerm.expected
- - rw-r--r-- 339 metaTerm.maude
- - rwxr-xr-x 224 metaUnify
- - rw-r--r-- 5,948 metaUnify.expected
- - rw-r--r-- 2,952 metaUnify.maude
- - rwxr-xr-x 212 metaUp
- - rw-r--r-- 34,300 metaUp.expected
- - rw-r--r-- 2,120 metaUp.maude
- - rwxr-xr-x 216 metaUp2
- - rw-r--r-- 1,050,029 metaUp2.expected
- - rw-r--r-- 1,925 metaUp2.maude
- - rwxr-xr-x 228 metaUpDown
- - rw-r--r-- 4,006 metaUpDown.expected
- - rw-r--r-- 893 metaUpDown.maude
- - rwxr-xr-x 236 metaUpModExp
- - rw-r--r-- 8,245 metaUpModExp.expected
- - rw-r--r-- 1,030 metaUpModExp.maude
- - rwxr-xr-x 252 metaVariantMatch
- - rw-r--r-- 2,798 metaVariantMatch.expected
- - rw-r--r-- 1,963 metaVariantMatch.maude
- - rwxr-xr-x 252 metaVariantUnify
- - rw-r--r-- 8,866 metaVariantUnify.expected
- - rw-r--r-- 3,995 metaVariantUnify.maude
- - rwxr-xr-x 256 metaVariantUnify2
- - rw-r--r-- 30,211 metaVariantUnify2.expected
- - rw-r--r-- 5,330 metaVariantUnify2.maude
- - rwxr-xr-x 244 metaWellFormed
- - rw-r--r-- 4,255 metaWellFormed.expected
- - rw-r--r-- 2,890 metaWellFormed.maude
- - rwxr-xr-x 229 metaXapply
- - rw-r--r-- 4,343 metaXapply.expected
- - rw-r--r-- 3,737 metaXapply.maude
- - rwxr-xr-x 228 metaXmatch
- - rw-r--r-- 16,330 metaXmatch.expected
- - rw-r--r-- 10,181 metaXmatch.maude
- - rwxr-xr-x 252 russianDollsFlat
- - rw-r--r-- 6,244 russianDollsFlat.expected
- - rw-r--r-- 1,387 russianDollsFlat.maude
- - rwxr-xr-x 268 russianDollsFlatProc
- - rw-r--r-- 6,264 russianDollsFlatProc.expected
- - rw-r--r-- 1,420 russianDollsFlatProc.maude
- - rwxr-xr-x 264 russianDollsNonFlat
- - rw-r--r-- 7,975 russianDollsNonFlat.expected
- - rw-r--r-- 3,001 russianDollsNonFlat.maude
- - rwxr-xr-x 268 russianDollsNonFlat2
- - rw-r--r-- 13,057 russianDollsNonFlat2.expected
- - rw-r--r-- 3,352 russianDollsNonFlat2.maude
- - rwxr-xr-x 268 russianDollsNonFlat3
- - rw-r--r-- 7,609 russianDollsNonFlat3.expected
- - rw-r--r-- 3,357 russianDollsNonFlat3.maude
- - rwxr-xr-x 280 russianDollsNonFlatProc
- - rw-r--r-- 7,995 russianDollsNonFlatProc.expected
- - rw-r--r-- 3,034 russianDollsNonFlatProc.maude
- - rwxr-xr-x 284 russianDollsNonFlatProc2
- - rw-r--r-- 13,077 russianDollsNonFlatProc2.expected
- - rw-r--r-- 3,385 russianDollsNonFlatProc2.maude
- - rwxr-xr-x 284 russianDollsNonFlatProc3
- - rw-r--r-- 7,629 russianDollsNonFlatProc3.expected
- - rw-r--r-- 3,390 russianDollsNonFlatProc3.maude