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

d .. (parent)
- - rwxr-xr-x 292 ACU_MissingUnifiersMay2020
- - rw-r--r-- 269 ACU_MissingUnifiersMay2020.expected
- - rw-r--r-- 493 ACU_MissingUnifiersMay2020.maude
- - rwxr-xr-x 300 CUI_OccursCheckSeptember2020
- - rw-r--r-- 1,699 CUI_OccursCheckSeptember2020.expected
- - rw-r--r-- 1,022 CUI_OccursCheckSeptember2020.maude
- - rwxr-xr-x 244 CUIbug12-22-09
- - rw-r--r-- 227 CUIbug12-22-09.expected
- - rw-r--r-- 1,027 CUIbug12-22-09.maude
- - rw-r--r-- 8,610 Makefile.am
- - rwxr-xr-x 276 arityRenamingMarch2023
- - rw-r--r-- 1,520 arityRenamingMarch2023.expected
- - rw-r--r-- 435 arityRenamingMarch2023.maude
- - rwxr-xr-x 292 ascentFunctionsJanuary2020
- - rw-r--r-- 1,760 ascentFunctionsJanuary2020.expected
- - rw-r--r-- 610 ascentFunctionsJanuary2020.maude
- - rwxr-xr-x 288 attributeBugsNovember2020
- - rw-r--r-- 3,231 attributeBugsNovember2020.expected
- - rw-r--r-- 1,514 attributeBugsNovember2020.maude
- - rwxr-xr-x 260 clearRulesJune2018
- - rw-r--r-- 163 clearRulesJune2018.expected
- - rw-r--r-- 445 clearRulesJune2018.maude
- - rwxr-xr-x 260 closeSocketFeb2020
- - rw-r--r-- 118 closeSocketFeb2020.expected
- - rw-r--r-- 1,425 closeSocketFeb2020.maude
- - rwxr-xr-x 292 complexParserSyncApril2020
- - rw-r--r-- 491 complexParserSyncApril2020.expected
- - rw-r--r-- 371 complexParserSyncApril2020.maude
- - rwxr-xr-x 384 conditionSideEffectInStrategyLanguageDecember2023
- - rw-r--r-- 172 conditionSideEffectInStrategyLanguageDecember2023.expected
- - rw-r--r-- 478 conditionSideEffectInStrategyLanguageDecember2023.maude
- - rwxr-xr-x 356 degenerateFilteredVariantUnifyDecember2022
- - rw-r--r-- 131 degenerateFilteredVariantUnifyDecember2022.expected
- - rw-r--r-- 192 degenerateFilteredVariantUnifyDecember2022.maude
- - rwxr-xr-x 268 deleteTimerMarch2021
- - rw-r--r-- 304 deleteTimerMarch2021.expected
- - rw-r--r-- 481 deleteTimerMarch2021.maude
- - rwxr-xr-x 285 doubleAttributeFebruary2023
- - rw-r--r-- 73 doubleAttributeFebruary2023.expected
- - rw-r--r-- 123 doubleAttributeFebruary2023.maude
- - rwxr-xr-x 260 endothFebruary2023
- - rw-r--r-- 65 endothFebruary2023.expected
- - rw-r--r-- 130 endothFebruary2023.maude
- - rwxr-xr-x 289 filteredVariantUnifyJune2023
- - rw-r--r-- 848 filteredVariantUnifyJune2023.expected
- - rw-r--r-- 793 filteredVariantUnifyJune2023.maude
- - rwxr-xr-x 276 fragmentBufferJune2025
- - rw-r--r-- 88 fragmentBufferJune2025.expected
- - rw-r--r-- 495 fragmentBufferJune2025.maude
- - rwxr-xr-x 280 generatedByFebruary2023
- - rw-r--r-- 76 generatedByFebruary2023.expected
- - rw-r--r-- 161 generatedByFebruary2023.maude
- - rwxr-xr-x 292 identityUnificationMay2020
- - rw-r--r-- 502 identityUnificationMay2020.expected
- - rw-r--r-- 419 identityUnificationMay2020.maude
- - rwxr-xr-x 316 identityUnificationSeptember2020
- - rw-r--r-- 196 identityUnificationSeptember2020.expected
- - rw-r--r-- 323 identityUnificationSeptember2020.maude
- - rwxr-xr-x 344 instantiatedViewInternalNameOctober2022
- - rw-r--r-- 569 instantiatedViewInternalNameOctober2022.expected
- - rw-r--r-- 582 instantiatedViewInternalNameOctober2022.maude
- - rwxr-xr-x 272 instantiationJuly2019
- - rw-r--r-- 95 instantiationJuly2019.expected
- - rw-r--r-- 448 instantiationJuly2019.maude
- - rwxr-xr-x 320 invalidStrategyDefinitionJune2025
- - rw-r--r-- 694 invalidStrategyDefinitionJune2025.expected
- - rw-r--r-- 923 invalidStrategyDefinitionJune2025.maude
- - rwxr-xr-x 256 irredUnifyFeb2021
- - rw-r--r-- 1,003 irredUnifyFeb2021.expected
- - rw-r--r-- 704 irredUnifyFeb2021.maude
- - rwxr-xr-x 268 kindNameDecember2022
- - rw-r--r-- 123 kindNameDecember2022.expected
- - rw-r--r-- 236 kindNameDecember2022.maude
- - rwxr-xr-x 280 loopModeStateAugust2021
- - rw-r--r-- 212 loopModeStateAugust2021.expected
- - rw-r--r-- 194 loopModeStateAugust2021.maude
- - rwxr-xr-x 252 metaApplyNov2018
- - rw-r--r-- 2,306 metaApplyNov2018.expected
- - rw-r--r-- 629 metaApplyNov2018.maude
- - rwxr-xr-x 304 metaAutoOoIncludeFebruary2023
- - rw-r--r-- 219 metaAutoOoIncludeFebruary2023.expected
- - rw-r--r-- 188 metaAutoOoIncludeFebruary2023.maude
- - rwxr-xr-x 272 metaIntAscentJune2018
- - rw-r--r-- 422 metaIntAscentJune2018.expected
- - rw-r--r-- 1,239 metaIntAscentJune2018.maude
- - rwxr-xr-x 272 metaIntImportJune2018
- - rw-r--r-- 307 metaIntImportJune2018.expected
- - rw-r--r-- 1,249 metaIntImportJune2018.maude
- - rwxr-xr-x 264 metaIntMatchOct2018
- - rw-r--r-- 10,731 metaIntMatchOct2018.expected
- - rw-r--r-- 1,872 metaIntMatchOct2018.maude
- - rwxr-xr-x 276 metaIntRewriteJune2018
- - rw-r--r-- 265 metaIntRewriteJune2018.expected
- - rw-r--r-- 989 metaIntRewriteJune2018.maude
- - rwxr-xr-x 280 metaModuleCacheJune2018
- - rw-r--r-- 659 metaModuleCacheJune2018.expected
- - rw-r--r-- 1,317 metaModuleCacheJune2018.maude
- - rwxr-xr-x 296 metaNarrowingApplyMarch2023
- - rw-r--r-- 8,894 metaNarrowingApplyMarch2023.expected
- - rw-r--r-- 6,598 metaNarrowingApplyMarch2023.maude
- - rwxr-xr-x 292 metaParseStrategyApril2020
- - rw-r--r-- 162 metaParseStrategyApril2020.expected
- - rw-r--r-- 173 metaParseStrategyApril2020.maude
- - rwxr-xr-x 316 moduleOrphanedByViewFebruary2023
- - rw-r--r-- 11,961 moduleOrphanedByViewFebruary2023.expected
- - rw-r--r-- 320 moduleOrphanedByViewFebruary2023.maude
- - rwxr-xr-x 252 moduleSumMay2019
- - rw-r--r-- 179 moduleSumMay2019.expected
- - rw-r--r-- 208 moduleSumMay2019.maude
- - rwxr-xr-x 316 moduleViewBadWarningFebruary2023
- - rw-r--r-- 46 moduleViewBadWarningFebruary2023.expected
- - rw-r--r-- 205 moduleViewBadWarningFebruary2023.maude
- - rwxr-xr-x 268 objectMessageOct2018
- - rw-r--r-- 504 objectMessageOct2018.expected
- - rw-r--r-- 580 objectMessageOct2018.maude
- - rwxr-xr-x 304 opRenamingParseErrorMarch2023
- - rw-r--r-- 96 opRenamingParseErrorMarch2023.expected
- - rw-r--r-- 215 opRenamingParseErrorMarch2023.maude
- - rwxr-xr-x 336 orphanedViewInstantiationFebruary2023
- - rw-r--r-- 12,947 orphanedViewInstantiationFebruary2023.expected
- - rw-r--r-- 191 orphanedViewInstantiationFebruary2023.maude
- - rwxr-xr-x 292 parameterTheoryCopyMay2019
- - rw-r--r-- 513 parameterTheoryCopyMay2019.expected
- - rw-r--r-- 283 parameterTheoryCopyMay2019.maude
- - rwxr-xr-x 276 parameterTheoryMay2019
- - rw-r--r-- 301 parameterTheoryMay2019.expected
- - rw-r--r-- 810 parameterTheoryMay2019.maude
- - rwxr-xr-x 312 parameterizedConstantsMarch2023
- - rw-r--r-- 76 parameterizedConstantsMarch2023.expected
- - rw-r--r-- 190 parameterizedConstantsMarch2023.maude
- - rwxr-xr-x 352 parameterizedPolymorphicConstantMarch2023
- - rw-r--r-- 1,532 parameterizedPolymorphicConstantMarch2023.expected
- - rw-r--r-- 233 parameterizedPolymorphicConstantMarch2023.maude
- - rwxr-xr-x 244 parserJune2018
- - rw-r--r-- 134 parserJune2018.expected
- - rw-r--r-- 237 parserJune2018.maude
- - rwxr-xr-x 264 physArgIndexOct2018
- - rw-r--r-- 598 physArgIndexOct2018.expected
- - rw-r--r-- 912 physArgIndexOct2018.maude
- - rwxr-xr-x 292 polymorphicOverloadMay2019
- - rw-r--r-- 1,301 polymorphicOverloadMay2019.expected
- - rw-r--r-- 1,253 polymorphicOverloadMay2019.maude
- - rwxr-xr-x 324 polymorphicParsingBugsNovember2020
- - rw-r--r-- 278 polymorphicParsingBugsNovember2020.expected
- - rw-r--r-- 352 polymorphicParsingBugsNovember2020.maude
- - rwxr-xr-x 340 pseudoParameterTheoryConstantMarch2023
- - rw-r--r-- 1,498 pseudoParameterTheoryConstantMarch2023.expected
- - rw-r--r-- 221 pseudoParameterTheoryConstantMarch2023.maude
- - rwxr-xr-x 288 pseudoParametersMarch2023
- - rw-r--r-- 15,595 pseudoParametersMarch2023.expected
- - rw-r--r-- 3,737 pseudoParametersMarch2023.maude
- - rwxr-xr-x 268 quotedTokenMarch2023
- - rw-r--r-- 647 quotedTokenMarch2023.expected
- - rw-r--r-- 289 quotedTokenMarch2023.maude
- - rwxr-xr-x 272 redBlackNGA_April2023
- - rw-r--r-- 377 redBlackNGA_April2023.expected
- - rw-r--r-- 771 redBlackNGA_April2023.maude
- - rwxr-xr-x 292 redBlackNonLinearApril2023
- - rw-r--r-- 425 redBlackNonLinearApril2023.expected
- - rw-r--r-- 443 redBlackNonLinearApril2023.maude
- - rwxr-xr-x 312 redBlackTooFewSubjectsApril2023
- - rw-r--r-- 227 redBlackTooFewSubjectsApril2023.expected
- - rw-r--r-- 747 redBlackTooFewSubjectsApril2023.maude
- - rwxr-xr-x 308 renamingInstantiationMarch2023
- - rw-r--r-- 13,041 renamingInstantiationMarch2023.expected
- - rw-r--r-- 508 renamingInstantiationMarch2023.maude
- - rwxr-xr-x 277 showDesugaredFebruary2023
- - rw-r--r-- 982 showDesugaredFebruary2023.expected
- - rw-r--r-- 88 showDesugaredFebruary2023.maude
- - rwxr-xr-x 260 showModuleJune2018
- - rw-r--r-- 332 showModuleJune2018.expected
- - rw-r--r-- 1,211 showModuleJune2018.maude
- - rwxr-xr-x 285 smodStrategyNameJanuary2023
- - rw-r--r-- 101 smodStrategyNameJanuary2023.expected
- - rw-r--r-- 231 smodStrategyNameJanuary2023.maude
- - rwxr-xr-x 264 sortCollapseMay2020
- - rw-r--r-- 298 sortCollapseMay2020.expected
- - rw-r--r-- 306 sortCollapseMay2020.maude
- - rwxr-xr-x 324 specificOpMappingPrintFebruary2023
- - rw-r--r-- 89 specificOpMappingPrintFebruary2023.expected
- - rw-r--r-- 187 specificOpMappingPrintFebruary2023.maude
- - rwxr-xr-x 345 spuriousAdvisoryRenamingCaptureJanuary2023
- - rw-r--r-- 5 spuriousAdvisoryRenamingCaptureJanuary2023.expected
- - rw-r--r-- 269 spuriousAdvisoryRenamingCaptureJanuary2023.maude
- - rwxr-xr-x 256 staleViewJune2018
- - rw-r--r-- 727 staleViewJune2018.expected
- - rw-r--r-- 850 staleViewJune2018.maude
- - rwxr-xr-x 292 stratToExprNotValidMay2025
- - rw-r--r-- 772 stratToExprNotValidMay2025.expected
- - rw-r--r-- 881 stratToExprNotValidMay2025.maude
- - rwxr-xr-x 308 stringToRatConversionMarch2024
- - rw-r--r-- 335 stringToRatConversionMarch2024.expected
- - rw-r--r-- 200 stringToRatConversionMarch2024.maude
- - rwxr-xr-x 297 stripperCollectorSwitchMay2023
- - rw-r--r-- 313 stripperCollectorSwitchMay2023.expected
- - rw-r--r-- 622 stripperCollectorSwitchMay2023.maude
- - rwxr-xr-x 308 theoryViewOpToTermFebruary2023
- - rw-r--r-- 1,513 theoryViewOpToTermFebruary2023.expected
- - rw-r--r-- 374 theoryViewOpToTermFebruary2023.maude
- - rwxr-xr-x 324 theoryViewWrongWarningFebruary2023
- - rw-r--r-- 164 theoryViewWrongWarningFebruary2023.expected
- - rw-r--r-- 238 theoryViewWrongWarningFebruary2023.maude
- - rwxr-xr-x 260 unificationMar2013
- - rw-r--r-- 1,327 unificationMar2013.expected
- - rw-r--r-- 1,025 unificationMar2013.maude
- - rwxr-xr-x 292 uninitIterExtSeptember2021
- - rw-r--r-- 172 uninitIterExtSeptember2021.expected
- - rw-r--r-- 269 uninitIterExtSeptember2021.maude
- - rwxr-xr-x 264 upTheoryJanuary2023
- - rw-r--r-- 222 upTheoryJanuary2023.expected
- - rw-r--r-- 229 upTheoryJanuary2023.maude
- - rwxr-xr-x 268 variantUnifyJune2020
- - rw-r--r-- 90,449 variantUnifyJune2020.expected
- - rw-r--r-- 567 variantUnifyJune2020.maude
- - rwxr-xr-x 348 viewInstantiationAwkwardCaseApril2025
- - rw-r--r-- 46 viewInstantiationAwkwardCaseApril2025.expected
- - rw-r--r-- 1,378 viewInstantiationAwkwardCaseApril2025.maude
- - rwxr-xr-x 372 viewInstantiationAwkwardCaseStrategyMay2025
- - rw-r--r-- 34 viewInstantiationAwkwardCaseStrategyMay2025.expected
- - rw-r--r-- 747 viewInstantiationAwkwardCaseStrategyMay2025.maude
- - rwxr-xr-x 352 viewInstantiationByModuleViewApril2025
- - rw-r--r-- 46 viewInstantiationByModuleViewApril2025.expected
- - rw-r--r-- 1,290 viewInstantiationByModuleViewApril2025.maude
- - rwxr-xr-x 376 viewInstantiationByModuleViewStrategyMay2025
- - rw-r--r-- 34 viewInstantiationByModuleViewStrategyMay2025.expected
- - rw-r--r-- 706 viewInstantiationByModuleViewStrategyMay2025.maude
- - rwxr-xr-x 352 viewInstantiationByTheoryViewApril2025
- - rw-r--r-- 56 viewInstantiationByTheoryViewApril2025.expected
- - rw-r--r-- 1,316 viewInstantiationByTheoryViewApril2025.maude
- - rwxr-xr-x 376 viewInstantiationByTheoryViewStrategyMay2025
- - rw-r--r-- 44 viewInstantiationByTheoryViewStrategyMay2025.expected
- - rw-r--r-- 732 viewInstantiationByTheoryViewStrategyMay2025.maude
- - rwxr-xr-x 256 viewNameApril2025
- - rw-r--r-- 3,472 viewNameApril2025.expected
- - rw-r--r-- 1,912 viewNameApril2025.maude
- - rwxr-xr-x 268 viewRecursionMay2019
- - rw-r--r-- 174 viewRecursionMay2019.expected
- - rw-r--r-- 145 viewRecursionMay2019.maude