[med-svn] [Git][med-team/maude][upstream] New upstream version 3.5.1
Nilesh Patra (@nilesh)
gitlab at salsa.debian.org
Sat Oct 25 12:18:46 BST 2025
Nilesh Patra pushed to branch upstream at Debian Med / maude
Commits:
686fe04a by Nilesh Patra at 2025-10-25T16:26:57+05:30
New upstream version 3.5.1
- - - - -
316 changed files:
- .gitignore
- ChangeLog
- INSTALL
- − Makefile.in
- NEWS
- README.md
- − aclocal.m4
- − compile
- − config.guess
- − config.h.in
- − config.sub
- − configure
- configure.ac
- − depcomp
- doc/Makefile.am
- − doc/Makefile.in
- + doc/alpha160.txt
- + doc/alpha161.txt
- + doc/alpha162.txt
- + doc/alpha163.txt
- + doc/alpha164.txt
- − install-sh
- − missing
- − mkinstalldirs
- src/ACU_Persistent/ACU_RedBlackNode.hh
- src/ACU_Persistent/ChangeLog
- − src/ACU_Persistent/Makefile.in
- src/ACU_Theory/ACU_DagNode.cc
- src/ACU_Theory/ACU_Symbol.cc
- src/ACU_Theory/ACU_UnificationSubproblem2.cc
- src/ACU_Theory/ChangeLog
- − src/ACU_Theory/Makefile.in
- src/AU_Persistent/AU_StackNode.hh
- src/AU_Persistent/ChangeLog
- − src/AU_Persistent/Makefile.in
- src/AU_Theory/AU_DagNode.cc
- src/AU_Theory/AU_DagNode.hh
- src/AU_Theory/AU_Symbol.cc
- src/AU_Theory/AU_UnificationSubproblem2.cc
- src/AU_Theory/AU_UnificationSubproblem2.hh
- src/AU_Theory/ChangeLog
- src/AU_Theory/Makefile.am
- − src/AU_Theory/Makefile.in
- src/BuiltIn/ChangeLog
- src/BuiltIn/Makefile.am
- − src/BuiltIn/Makefile.in
- src/BuiltIn/bindingMacros.hh
- src/BuiltIn/builtIn.hh
- src/BuiltIn/divisionSymbol.cc
- src/BuiltIn/equalityExtor.cc
- src/BuiltIn/equalityExtor.hh
- src/BuiltIn/equalityExtorFinal.cc
- src/BuiltIn/equalityExtorFinal.hh
- src/BuiltIn/equalitySymbol.cc
- src/BuiltIn/equalitySymbol.hh
- src/BuiltIn/matrixOpSymbol.cc
- src/BuiltIn/numberOpSymbol.hh
- src/BuiltIn/stringDagNode.cc
- src/BuiltIn/stringDagNode.hh
- src/BuiltIn/stringOpSymbol.cc
- src/BuiltIn/stringOpSymbol.hh
- src/BuiltIn/stringTerm.cc
- src/BuiltIn/stringTerm.hh
- src/CUI_Theory/CUI_DagNode.cc
- src/CUI_Theory/CUI_Symbol.cc
- src/CUI_Theory/CUI_Symbol.hh
- src/CUI_Theory/ChangeLog
- − src/CUI_Theory/Makefile.in
- src/Core/ChangeLog
- − src/Core/Makefile.in
- src/Core/narrowingVariableInfo.hh
- src/Core/preEquation.hh
- src/FreeTheory/ChangeLog
- src/FreeTheory/Makefile.am
- − src/FreeTheory/Makefile.in
- src/FreeTheory/freeArgumentIterator.hh
- src/FreeTheory/freeBinaryRhsAutomaton.cc
- src/FreeTheory/freeBinaryRhsAutomaton.hh
- src/FreeTheory/freeBinarySymbol.cc
- src/FreeTheory/freeDagArgumentIterator.hh
- src/FreeTheory/freeDagNode.cc
- src/FreeTheory/freeDagNode.hh
- src/FreeTheory/freeFast3RhsAutomaton.cc
- src/FreeTheory/freeFastInstruction.cc
- src/FreeTheory/freeFastInstruction.hh
- src/FreeTheory/freeGeneralCtor.cc
- src/FreeTheory/freeGeneralCtor.hh
- src/FreeTheory/freeGeneralCtorFinal.cc
- src/FreeTheory/freeGeneralCtorFinal.hh
- src/FreeTheory/freeGeneralExtor.cc
- src/FreeTheory/freeGeneralExtor.hh
- src/FreeTheory/freeGeneralExtorFinal.cc
- src/FreeTheory/freeGeneralExtorFinal.hh
- src/FreeTheory/freeInstruction.cc
- src/FreeTheory/freeInstruction.hh
- src/FreeTheory/freeNet.cc
- src/FreeTheory/freeNet.hh
- src/FreeTheory/freeNetExec.cc
- src/FreeTheory/freeNetExec.hh
- src/FreeTheory/freeNullarySymbol.cc
- src/FreeTheory/freeNullarySymbol.hh
- src/FreeTheory/freePreNet.cc
- src/FreeTheory/freePreNet.hh
- src/FreeTheory/freeRemainder.cc
- src/FreeTheory/freeRemainder.hh
- src/FreeTheory/freeRhsAutomaton.cc
- src/FreeTheory/freeRhsAutomaton.hh
- src/FreeTheory/freeSymbol.cc
- src/FreeTheory/freeSymbol.hh
- src/FreeTheory/freeTerm.cc
- src/FreeTheory/freeTerm.hh
- src/FreeTheory/freeTernarySymbol.cc
- src/FreeTheory/freeTheory.hh
- src/FreeTheory/freeUnaryRhsAutomaton.cc
- src/FreeTheory/freeUnaryRhsAutomaton.hh
- src/FreeTheory/freeUnarySymbol.cc
- − src/FullCompiler/Makefile.in
- src/Higher/ChangeLog
- − src/Higher/Makefile.in
- src/Higher/assignmentConditionFragment.cc
- src/Higher/cacheableState.hh
- src/Higher/equalityConditionFragment.cc
- src/Higher/equalityConditionFragment.hh
- src/Higher/modelCheckerSymbol.cc
- src/Higher/narrowingFolder.cc
- src/Higher/narrowingFolder.hh
- src/Higher/narrowingSequenceSearch3.cc
- src/Higher/narrowingSequenceSearch3.hh
- src/Higher/narrowingUnificationProblem.cc
- src/Higher/narrowingUnificationProblem.hh
- src/Higher/rewriteConditionFragment.cc
- src/Higher/satSolverSymbol.cc
- src/Higher/temporalSymbol.cc
- src/Higher/unificationProblem.cc
- src/Higher/unificationProblem.hh
- src/Higher/unifierFilter.cc
- src/Higher/variantFolder.cc
- src/Higher/variantFolder.hh
- src/Higher/variantNarrowingSearchState.cc
- src/Higher/variantNarrowingSearchState.hh
- src/Higher/variantSearch.cc
- src/Higher/variantSearch.hh
- src/IO_Stuff/IO_Manager.cc
- − src/IO_Stuff/Makefile.in
- src/Interface/ChangeLog
- src/Interface/Makefile.am
- − src/Interface/Makefile.in
- src/Interface/dagNode.cc
- src/Interface/dagNode.hh
- src/Interface/finalInstruction.hh
- src/Interface/instruction.hh
- src/Interface/interface.hh
- src/Interface/nonFinalCtor.hh
- src/Interface/nonFinalExtor.cc
- src/Interface/nonFinalExtor.hh
- src/Interface/nonFinalInstruction.cc
- src/Interface/nonFinalInstruction.hh
- src/Interface/regularInstruction.cc
- src/Interface/regularInstruction.hh
- src/Interface/rhsAutomaton.hh
- src/Interface/symbol.cc
- src/Interface/symbol.hh
- src/Interface/term.cc
- src/Interface/term.hh
- src/Main/ChangeLog
- src/Main/Makefile.am
- − src/Main/Makefile.in
- src/Main/main.cc
- src/Main/maude.sty
- src/Main/model-checker.maude
- src/Main/prelude.maude
- src/Makefile.am
- − src/Makefile.in
- src/Meta/ChangeLog
- − src/Meta/Makefile.in
- src/Meta/metaDown.cc
- src/Meta/metaDownView.cc
- src/Meta/metaNewNarrow2.cc
- src/Meta/metaView.cc
- src/Meta/miNarrowSearch.cc
- src/Mixfix/ChangeLog
- − src/Mixfix/Makefile.in
- src/Mixfix/auxProperty.cc
- src/Mixfix/banner.cc
- src/Mixfix/commands.yy
- src/Mixfix/commutativeDecomposeEqualitySymbol.cc
- src/Mixfix/commutativeDecomposeEqualitySymbol.hh
- − src/Mixfix/deserializer.cc
- src/Mixfix/doParse.cc
- src/Mixfix/execute.cc
- src/Mixfix/importModule.cc
- src/Mixfix/importTranslation.cc
- src/Mixfix/importTranslation.hh
- src/Mixfix/instantiateViewWithFreeParameters.cc
- src/Mixfix/interpreter.hh
- src/Mixfix/latexCommand.cc
- src/Mixfix/latexModulePrint.cc
- src/Mixfix/latexResult.cc
- − src/Mixfix/lexer.cc
- src/Mixfix/lexer.ll
- src/Mixfix/makeGrammar.cc
- src/Mixfix/maudeLatexBuffer.cc
- src/Mixfix/maudeLatexBuffer.hh
- src/Mixfix/mixfixModule.cc
- src/Mixfix/mixfixModule.hh
- src/Mixfix/mixfixParser.cc
- src/Mixfix/mixfixParser.hh
- src/Mixfix/modules.yy
- src/Mixfix/narrowing.cc
- src/Mixfix/ooProcess.cc
- src/Mixfix/prettyPrint.cc
- src/Mixfix/process.cc
- src/Mixfix/renameModule.cc
- src/Mixfix/renaming.cc
- src/Mixfix/search.cc
- src/Mixfix/specialTokens.cc
- src/Mixfix/token.cc
- src/Mixfix/token.hh
- − src/Mixfix/tokenizer.cc
- src/Mixfix/top.yy
- src/Mixfix/userLevelRewritingContext.cc
- src/Mixfix/userLevelRewritingContext.hh
- src/Mixfix/view.cc
- src/Mixfix/visibleModule.hh
- − src/NA_Theory/Makefile.in
- src/ObjectSystem/ChangeLog
- − src/ObjectSystem/Makefile.in
- src/ObjectSystem/processStuff.cc
- src/ObjectSystem/streamManagerSymbol.cc
- src/ObjectSystem/timeActions.cc
- − src/Parser/Makefile.in
- − src/SMT/Makefile.in
- src/S_Theory/ChangeLog
- − src/S_Theory/Makefile.in
- src/S_Theory/S_Symbol.cc
- src/S_Theory/S_Symbol.hh
- src/StrategyLanguage/ChangeLog
- − src/StrategyLanguage/Makefile.in
- src/StrategyLanguage/rewriteTask.cc
- − src/Temporal/Makefile.in
- src/Utility/ChangeLog
- − src/Utility/Makefile.in
- src/Utility/macros.hh
- src/Utility/mathStuff.hh
- src/Utility/rope.hh
- src/Utility/timeStuff.hh
- src/Utility/wordLevel-selections.cc
- src/Utility/wordLevel.cc
- src/Utility/wordLevel.hh
- src/Utility/wordSystem.cc
- src/Utility/wordSystem.hh
- src/Variable/ChangeLog
- − src/Variable/Makefile.in
- src/Variable/variableDagNode.cc
- − test-driver
- tests/BuiltIn/Makefile.am
- − tests/BuiltIn/Makefile.in
- + tests/BuiltIn/stringOps
- + tests/BuiltIn/stringOps.expected
- + tests/BuiltIn/stringOps.maude
- − tests/Corner/Makefile.in
- tests/Corner/badRenaming.expected
- tests/Corner/badView.expected
- tests/Corner/operatorNames.expected
- − tests/Makefile.in
- − tests/Meta/Makefile.in
- tests/Misc/Makefile.am
- − tests/Misc/Makefile.in
- tests/Misc/commands.expected
- tests/Misc/initialEqualityPredicate.expected
- tests/Misc/initialEqualityPredicate.maude
- + tests/Misc/narrow2
- + tests/Misc/narrow2.expected
- + tests/Misc/narrow2.maude
- tests/Misc/parameterization.expected
- tests/Misc/parameterizedView.expected
- tests/Misc/renaming.expected
- − tests/ObjectOriented/Makefile.in
- tests/ResolvedBugs/Makefile.am
- − tests/ResolvedBugs/Makefile.in
- + tests/ResolvedBugs/fragmentBufferJune2025
- + tests/ResolvedBugs/fragmentBufferJune2025.expected
- + tests/ResolvedBugs/fragmentBufferJune2025.maude
- + tests/ResolvedBugs/invalidStrategyDefinitionJune2025
- + tests/ResolvedBugs/invalidStrategyDefinitionJune2025.expected
- + tests/ResolvedBugs/invalidStrategyDefinitionJune2025.maude
- tests/ResolvedBugs/moduleOrphanedByViewFebruary2023.expected
- tests/ResolvedBugs/orphanedViewInstantiationFebruary2023.expected
- + tests/ResolvedBugs/stratToExprNotValidMay2025
- + tests/ResolvedBugs/stratToExprNotValidMay2025.expected
- + tests/ResolvedBugs/stratToExprNotValidMay2025.maude
- + tests/ResolvedBugs/stringToRatConversionMarch2024
- + tests/ResolvedBugs/stringToRatConversionMarch2024.expected
- + tests/ResolvedBugs/stringToRatConversionMarch2024.maude
- + tests/ResolvedBugs/viewInstantiationAwkwardCaseApril2025
- + tests/ResolvedBugs/viewInstantiationAwkwardCaseApril2025.expected
- + tests/ResolvedBugs/viewInstantiationAwkwardCaseApril2025.maude
- + tests/ResolvedBugs/viewInstantiationAwkwardCaseStrategyMay2025
- + tests/ResolvedBugs/viewInstantiationAwkwardCaseStrategyMay2025.expected
- + tests/ResolvedBugs/viewInstantiationAwkwardCaseStrategyMay2025.maude
- + tests/ResolvedBugs/viewInstantiationByModuleViewApril2025
- + tests/ResolvedBugs/viewInstantiationByModuleViewApril2025.expected
- + tests/ResolvedBugs/viewInstantiationByModuleViewApril2025.maude
- + tests/ResolvedBugs/viewInstantiationByModuleViewStrategyMay2025
- + tests/ResolvedBugs/viewInstantiationByModuleViewStrategyMay2025.expected
- + tests/ResolvedBugs/viewInstantiationByModuleViewStrategyMay2025.maude
- + tests/ResolvedBugs/viewInstantiationByTheoryViewApril2025
- + tests/ResolvedBugs/viewInstantiationByTheoryViewApril2025.expected
- + tests/ResolvedBugs/viewInstantiationByTheoryViewApril2025.maude
- + tests/ResolvedBugs/viewInstantiationByTheoryViewStrategyMay2025
- + tests/ResolvedBugs/viewInstantiationByTheoryViewStrategyMay2025.expected
- + tests/ResolvedBugs/viewInstantiationByTheoryViewStrategyMay2025.maude
- + tests/ResolvedBugs/viewNameApril2025
- + tests/ResolvedBugs/viewNameApril2025.expected
- + tests/ResolvedBugs/viewNameApril2025.maude
- − tests/StrategyLanguage/Makefile.in
The diff was not included because it is too large.
View it on GitLab: https://salsa.debian.org/med-team/maude/-/commit/686fe04adc7fe49b56aaaac85c8f9969a479e556
--
View it on GitLab: https://salsa.debian.org/med-team/maude/-/commit/686fe04adc7fe49b56aaaac85c8f9969a479e556
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/debian-med-commit/attachments/20251025/fc5a24c5/attachment-0001.htm>
More information about the debian-med-commit
mailing list