<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en" style='--code-editor-font: var(--default-mono-font, "GitLab Mono"), JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<title>
GitLab
</title>
<style data-premailer="ignore" type="text/css">
a { color: #1068bf; }
</style>
<style>img {
max-width: 100%; height: auto;
}
body {
font-size: .875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px;
}
body {
font-family: "GitLab Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size: inherit;
}
</style>
</head>
<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px; font-family: "GitLab Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";'>
<div class="content">
<h3 style="margin-top: 20px; margin-bottom: 10px;">
Nilesh Patra pushed to branch upstream at <a href="https://salsa.debian.org/med-team/maude">Debian Med / maude</a>
</h3>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
Commits:
</h4>
<ul>
<li>
<strong style="font-weight: 600;"><a href="https://salsa.debian.org/med-team/maude/-/commit/686fe04adc7fe49b56aaaac85c8f9969a479e556">686fe04a</a></strong>
<div>
<span> by Nilesh Patra </span> <i> at 2025-10-25T16:26:57+05:30 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>New upstream version 3.5.1</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
316 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#a5cc2925ca8258af241be7e5b0381edf30266302">
.gitignore
</a>
</li>
<li class="file-stats">
<a href="#00fe7828d56d7a3ee4030d6cea057cf13f50e70c">
ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#c335a27a082cc8d17dd36dc0eda3086cb0c9baaa">
INSTALL
</a>
</li>
<li class="file-stats">
<a href="#4faecea6d9857941b442698cdcbd38a141ff746e">
<span class="deleted-file">
−
Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#9f621eb5fd3bcb2fa5c7bd228c9b1ad42edc46c8">
NEWS
</a>
</li>
<li class="file-stats">
<a href="#8ec9a00bfd09b3190ac6b22251dbb1aa95a0579d">
README.md
</a>
</li>
<li class="file-stats">
<a href="#9ab3868b23ed5d5a6e12ef902049902556fa4009">
<span class="deleted-file">
−
aclocal.m4
</span>
</a>
</li>
<li class="file-stats">
<a href="#36d0981b3375d78be03ea98700ecec8f4e4bd4f9">
<span class="deleted-file">
−
compile
</span>
</a>
</li>
<li class="file-stats">
<a href="#454e7ebc92107e71a84258ddb1a7be5a26f0feb7">
<span class="deleted-file">
−
config.guess
</span>
</a>
</li>
<li class="file-stats">
<a href="#980c4659e480ee35ac0a137fa08ea0c9e7088254">
<span class="deleted-file">
−
config.h.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#66cdb80eea3a52b51a885f3b1514f5cc3fd8d7d5">
<span class="deleted-file">
−
config.sub
</span>
</a>
</li>
<li class="file-stats">
<a href="#09be8533ff0a6ee5d577f971145ed449399fcda4">
<span class="deleted-file">
−
configure
</span>
</a>
</li>
<li class="file-stats">
<a href="#87db583be5c13c1f7b3c958b10e03d67b6a2ca06">
configure.ac
</a>
</li>
<li class="file-stats">
<a href="#67aca61d38c2e9c5a1b45074a287d77e649ab68b">
<span class="deleted-file">
−
depcomp
</span>
</a>
</li>
<li class="file-stats">
<a href="#8b52818d0f696d740be57cc15128a73ac43f3777">
doc/Makefile.am
</a>
</li>
<li class="file-stats">
<a href="#d854614b819e3dff5e9c8ac9180bbcab810d1d30">
<span class="deleted-file">
−
doc/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#26efde90c7213cdaec7e99484f7e0430a06e9d14">
<span class="new-file">
+
doc/alpha160.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#99e19d0a3a73c0ea7f30fa50c3da5c122ecbe5b3">
<span class="new-file">
+
doc/alpha161.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#3507c434596e3e941e0acb429d99e7a0a3f5b81e">
<span class="new-file">
+
doc/alpha162.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#372d73105043792c9ea29fd1c8aeb67874f8ba65">
<span class="new-file">
+
doc/alpha163.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#3f39bea136e1a5db0535c127a3b760e39b68aacf">
<span class="new-file">
+
doc/alpha164.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#547fe0db6ad3e73c693d3deaddf315f4b467815d">
<span class="deleted-file">
−
install-sh
</span>
</a>
</li>
<li class="file-stats">
<a href="#5a013c49508291c6816ac388f93a2c11973086ed">
<span class="deleted-file">
−
missing
</span>
</a>
</li>
<li class="file-stats">
<a href="#26493279f4fcba144c1a91fb09205422f7f301f9">
<span class="deleted-file">
−
mkinstalldirs
</span>
</a>
</li>
<li class="file-stats">
<a href="#99437677bb1702b79eec76408776cd745953d6a9">
src/ACU_Persistent/ACU_RedBlackNode.hh
</a>
</li>
<li class="file-stats">
<a href="#04d904598c8fef06df527f885dfa45abe71c0811">
src/ACU_Persistent/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#1e107a5fc08a3ef42ff75cf33b6095a0eaa15769">
<span class="deleted-file">
−
src/ACU_Persistent/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#0f6ccbbee4fb92d755c402bc301233d6a29d3b1f">
src/ACU_Theory/ACU_DagNode.cc
</a>
</li>
<li class="file-stats">
<a href="#2b51e86d8a6ec6fce52752bccc16d3a95ad777c5">
src/ACU_Theory/ACU_Symbol.cc
</a>
</li>
<li class="file-stats">
<a href="#b14e241c2677f37f0a8f29203e20e2f8e14d4698">
src/ACU_Theory/ACU_UnificationSubproblem2.cc
</a>
</li>
<li class="file-stats">
<a href="#419324e30d18f2a5720ab61c626be8a3781ec788">
src/ACU_Theory/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#3efdb178ca2b7e593224e38fd9c57b57bd291dc7">
<span class="deleted-file">
−
src/ACU_Theory/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#04d51dc289a03076978ebada7ed4bdc3940a70e1">
src/AU_Persistent/AU_StackNode.hh
</a>
</li>
<li class="file-stats">
<a href="#ccf2992b744564296c1a49dd19a0956ac5ea3757">
src/AU_Persistent/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#07fde9780d720d7e8c3a40a32d16ba6576792582">
<span class="deleted-file">
−
src/AU_Persistent/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#865c7b6b5122c94a5ae4b2f0dce54b81d9876db6">
src/AU_Theory/AU_DagNode.cc
</a>
</li>
<li class="file-stats">
<a href="#394c077ba08f104032496eb052b284a79cce53a6">
src/AU_Theory/AU_DagNode.hh
</a>
</li>
<li class="file-stats">
<a href="#a1588f3a82ce57e84c95b2bc0e6d2802fc4ddd9e">
src/AU_Theory/AU_Symbol.cc
</a>
</li>
<li class="file-stats">
<a href="#a7dd5065b2001cbde5c5cea296fc9414563bdd36">
src/AU_Theory/AU_UnificationSubproblem2.cc
</a>
</li>
<li class="file-stats">
<a href="#ff3d0d3e2af9913846460907c2b4d02a052b6e15">
src/AU_Theory/AU_UnificationSubproblem2.hh
</a>
</li>
<li class="file-stats">
<a href="#a9f07575bca19f1debe5e9d1c73e8168400a44c6">
src/AU_Theory/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#fc52446c481036a54168ef38eeefcf52d4d6eae1">
src/AU_Theory/Makefile.am
</a>
</li>
<li class="file-stats">
<a href="#90c569bca3571d08ef41a5b78f51a02bb61cc479">
<span class="deleted-file">
−
src/AU_Theory/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#0d24dde6394d2a26c8311456b493141844d552c4">
src/BuiltIn/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#e8efdf08bc2f46cf3c3aa9897ff78b3a4958dc6d">
src/BuiltIn/Makefile.am
</a>
</li>
<li class="file-stats">
<a href="#7b4933083216745f506bd879fc17bfb44d9146a6">
<span class="deleted-file">
−
src/BuiltIn/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#787b162bb87e3d67ab1c04f6f6c4525c368fade6">
src/BuiltIn/bindingMacros.hh
</a>
</li>
<li class="file-stats">
<a href="#6bad31211c5b187b6845c0b1e3418de95c2f6654">
src/BuiltIn/builtIn.hh
</a>
</li>
<li class="file-stats">
<a href="#3f2e1a731c5f20e0b428f7b18aa5ef64c7ca8296">
src/BuiltIn/divisionSymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#adbc196f48e0229d25720f106d77d18339728d8c">
src/BuiltIn/equalityExtor.cc
</a>
</li>
<li class="file-stats">
<a href="#b00febc8da45f9badbc6d40008430f049f656dcb">
src/BuiltIn/equalityExtor.hh
</a>
</li>
<li class="file-stats">
<a href="#2a918c178286f6360b2328514ea07178bb3833b5">
src/BuiltIn/equalityExtorFinal.cc
</a>
</li>
<li class="file-stats">
<a href="#bbdac0a831ffa82c4e19d128bf2406458ebff98f">
src/BuiltIn/equalityExtorFinal.hh
</a>
</li>
<li class="file-stats">
<a href="#42cba48a5c820d60b62a4f82aa90fb71ce480e5c">
src/BuiltIn/equalitySymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#ddb365e2021a8275b94029a164a03a014b21088f">
src/BuiltIn/equalitySymbol.hh
</a>
</li>
<li class="file-stats">
<a href="#8070ef8ccb4de1fe277b4cdf072926bbff60fb1b">
src/BuiltIn/matrixOpSymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#a27cf4a5e8de0046ce01c32a27e2c4d66e1ced6f">
src/BuiltIn/numberOpSymbol.hh
</a>
</li>
<li class="file-stats">
<a href="#8f962f782ccda774ca64ad3a24be9c2ebcfa8afa">
src/BuiltIn/stringDagNode.cc
</a>
</li>
<li class="file-stats">
<a href="#d63a28eadd186950ebe042638c45a3b61715d3f7">
src/BuiltIn/stringDagNode.hh
</a>
</li>
<li class="file-stats">
<a href="#ad300ff4bb9062e7573f90393279917f8b70b751">
src/BuiltIn/stringOpSymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#78a81fb1917046b3524628d45a2fceb9fd1c89c2">
src/BuiltIn/stringOpSymbol.hh
</a>
</li>
<li class="file-stats">
<a href="#51e4b84ea49a3a13989b4e08298848cbba9a0e7b">
src/BuiltIn/stringTerm.cc
</a>
</li>
<li class="file-stats">
<a href="#d9e247a03167f48d6e745de437a95cc36936ac20">
src/BuiltIn/stringTerm.hh
</a>
</li>
<li class="file-stats">
<a href="#50297b8cf2a2a8c6b64479c0d84455bada63a68a">
src/CUI_Theory/CUI_DagNode.cc
</a>
</li>
<li class="file-stats">
<a href="#c8ddca6845916b12299f557403a0a83c55e3ac4b">
src/CUI_Theory/CUI_Symbol.cc
</a>
</li>
<li class="file-stats">
<a href="#1956ebb195cd5864f0fb8a694ffa2fee10cdcf8e">
src/CUI_Theory/CUI_Symbol.hh
</a>
</li>
<li class="file-stats">
<a href="#1414236aee09bb481e54c7ee1ad561dc51067e35">
src/CUI_Theory/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#a53cf64a553dce160b6fffce62828a2c6f59c275">
<span class="deleted-file">
−
src/CUI_Theory/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#2a9de3a9af013dd185b65083c9b4da03548f5b90">
src/Core/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#6050c2c8e537cc0faee7e3a532f34afc6e6ba502">
<span class="deleted-file">
−
src/Core/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#197f750fe4f50b057bab5f02d23c0abba1780ee4">
src/Core/narrowingVariableInfo.hh
</a>
</li>
<li class="file-stats">
<a href="#a76dbad0af34912c27e1d1a0b7727a7e5285da14">
src/Core/preEquation.hh
</a>
</li>
<li class="file-stats">
<a href="#034b91b71b7de4b79ef5d9a0cb8030dffa03786b">
src/FreeTheory/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#13901c5ce750ee11758c0f4e9ab60f98b97f1d9b">
src/FreeTheory/Makefile.am
</a>
</li>
<li class="file-stats">
<a href="#e2b989db916bde7d3a06dc597e3890c8af04a8f6">
<span class="deleted-file">
−
src/FreeTheory/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#9a8de7f588d878e5200122f49b337f31fe4684c7">
src/FreeTheory/freeArgumentIterator.hh
</a>
</li>
<li class="file-stats">
<a href="#c25b485ea046afc809085bc4b0283f03a4979383">
src/FreeTheory/freeBinaryRhsAutomaton.cc
</a>
</li>
<li class="file-stats">
<a href="#b388e7139206cb055c6717bab0447014c5b015ce">
src/FreeTheory/freeBinaryRhsAutomaton.hh
</a>
</li>
<li class="file-stats">
<a href="#bc60391894338ec5f6005a930207c3f5bdb693f3">
src/FreeTheory/freeBinarySymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#9e73d217442791f581d67188a4e531c66ba3c212">
src/FreeTheory/freeDagArgumentIterator.hh
</a>
</li>
<li class="file-stats">
<a href="#4d9a2f312dfa0f9d4ddcedfa2fb3efab22e08e5c">
src/FreeTheory/freeDagNode.cc
</a>
</li>
<li class="file-stats">
<a href="#3591aafb1b5e4740a70c38f7dc2afcf50775711f">
src/FreeTheory/freeDagNode.hh
</a>
</li>
<li class="file-stats">
<a href="#caf01152622cd27fa924ea192b2778231c4fbfc8">
src/FreeTheory/freeFast3RhsAutomaton.cc
</a>
</li>
<li class="file-stats">
<a href="#6ca6b8bb0adbd9e5216635380836d27565d401a1">
src/FreeTheory/freeFastInstruction.cc
</a>
</li>
<li class="file-stats">
<a href="#3a67632454d45d22b660758ec5a80b2880f3591d">
src/FreeTheory/freeFastInstruction.hh
</a>
</li>
<li class="file-stats">
<a href="#34c9f65e3565efe29c0cd37f4c35e09cb55b4981">
src/FreeTheory/freeGeneralCtor.cc
</a>
</li>
<li class="file-stats">
<a href="#dc22a22e22070cc8b733070dc47d3b774640f568">
src/FreeTheory/freeGeneralCtor.hh
</a>
</li>
<li class="file-stats">
<a href="#f3bdcb606cb70a29a43ff748a36a351dcf88eb9e">
src/FreeTheory/freeGeneralCtorFinal.cc
</a>
</li>
<li class="file-stats">
<a href="#d3024723fb4f9815f002397b92b815487b81d04f">
src/FreeTheory/freeGeneralCtorFinal.hh
</a>
</li>
<li class="file-stats">
<a href="#021c4d7069af90b92294c3e5fdb6a43a2add9a6d">
src/FreeTheory/freeGeneralExtor.cc
</a>
</li>
<li class="file-stats">
<a href="#01513fcebe3b3e0b435f145504c6daf2a98c9b67">
src/FreeTheory/freeGeneralExtor.hh
</a>
</li>
<li class="file-stats">
<a href="#3de69e7bb4f9082e375a833cb53681e58897ea86">
src/FreeTheory/freeGeneralExtorFinal.cc
</a>
</li>
<li class="file-stats">
<a href="#70669e0a3a63f323b78fcffc48bcc83dba6dd3b5">
src/FreeTheory/freeGeneralExtorFinal.hh
</a>
</li>
<li class="file-stats">
<a href="#9db071acb6f0cb7a501eb62761a8772c323bdbce">
src/FreeTheory/freeInstruction.cc
</a>
</li>
<li class="file-stats">
<a href="#e5174bceecebc3a5e8cb359b5dac583d8332e39e">
src/FreeTheory/freeInstruction.hh
</a>
</li>
<li class="file-stats">
<a href="#20dc5f63043ee78b8d343f65ab762ad264fa2f3d">
src/FreeTheory/freeNet.cc
</a>
</li>
<li class="file-stats">
<a href="#2f987addfe30d0ad67a86ee6eae7701fccf836cf">
src/FreeTheory/freeNet.hh
</a>
</li>
<li class="file-stats">
<a href="#bafad21e6fccd674cac616be4e271069f0f9ffb2">
src/FreeTheory/freeNetExec.cc
</a>
</li>
<li class="file-stats">
<a href="#468418eed9c9e95946baca34b51b783e13663ca8">
src/FreeTheory/freeNetExec.hh
</a>
</li>
<li class="file-stats">
<a href="#f7aa24dfb8c4a5f1c34a3d632d73575cc8659049">
src/FreeTheory/freeNullarySymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#f9b4af002fe69294ca3651d027133629f10da404">
src/FreeTheory/freeNullarySymbol.hh
</a>
</li>
<li class="file-stats">
<a href="#ab946b43a53871af7a4e83dce5c01b720f06ac5d">
src/FreeTheory/freePreNet.cc
</a>
</li>
<li class="file-stats">
<a href="#167c6af8f1a14face09403d9100e26f7011bff17">
src/FreeTheory/freePreNet.hh
</a>
</li>
<li class="file-stats">
<a href="#d1e5d41c67b83ffa601ce98c39cc916393db6b86">
src/FreeTheory/freeRemainder.cc
</a>
</li>
<li class="file-stats">
<a href="#c9aebae80687695166b4ead17f482c9ca9b43aac">
src/FreeTheory/freeRemainder.hh
</a>
</li>
<li class="file-stats">
<a href="#559e107613be18cdbe986b57df0d28131ab56647">
src/FreeTheory/freeRhsAutomaton.cc
</a>
</li>
<li class="file-stats">
<a href="#cf07ed827bea21acb4a4e91dd0d955b9dde1f545">
src/FreeTheory/freeRhsAutomaton.hh
</a>
</li>
<li class="file-stats">
<a href="#95f20e51b4808a358777bc3f2d9eeb4e8d030566">
src/FreeTheory/freeSymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#26441cf4aa33ae3077eca0fbfc7b649db068f32f">
src/FreeTheory/freeSymbol.hh
</a>
</li>
<li class="file-stats">
<a href="#e001ef721e6fff99943198e372b18ecb96ee1d85">
src/FreeTheory/freeTerm.cc
</a>
</li>
<li class="file-stats">
<a href="#a415f7fade11e7736ad07dc70332dc752ba844a0">
src/FreeTheory/freeTerm.hh
</a>
</li>
<li class="file-stats">
<a href="#1a6f891351f69ac96b61d11eaec12dc7250e071c">
src/FreeTheory/freeTernarySymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#1e0a4748df59c1f2acc98a7d9299de5b66dcc1e9">
src/FreeTheory/freeTheory.hh
</a>
</li>
<li class="file-stats">
<a href="#3244338f016ccc8acf9f8b9d2df9a8a6440075f7">
src/FreeTheory/freeUnaryRhsAutomaton.cc
</a>
</li>
<li class="file-stats">
<a href="#8862c2e0e42c1f18b7dfb90ee635d9b41fd739a3">
src/FreeTheory/freeUnaryRhsAutomaton.hh
</a>
</li>
<li class="file-stats">
<a href="#525a49b30d2a702e5ebaa70ce1ed6277fd23be8d">
src/FreeTheory/freeUnarySymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#ca2d23e045a5aceff029c041a1cbb2c289e356fb">
<span class="deleted-file">
−
src/FullCompiler/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#87d7456227ab82eb040b624b79810d333283568c">
src/Higher/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#4190fab51b5f85a5892541d1afa6850813b38b18">
<span class="deleted-file">
−
src/Higher/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#72e6ba64590df2895b46cfbb56d72c20ec5b6736">
src/Higher/assignmentConditionFragment.cc
</a>
</li>
<li class="file-stats">
<a href="#3825c8b6cadda2b058aa3851befb154f58869519">
src/Higher/cacheableState.hh
</a>
</li>
<li class="file-stats">
<a href="#46b6674a86fdeb6a902b6c30e5350dd60d5b2b31">
src/Higher/equalityConditionFragment.cc
</a>
</li>
<li class="file-stats">
<a href="#32cb1c466c7cfa9a2dda40a68db604ec2fb8384a">
src/Higher/equalityConditionFragment.hh
</a>
</li>
<li class="file-stats">
<a href="#fb3f8b3fe3c5d1974882d4cfa6dbea9535ca6aad">
src/Higher/modelCheckerSymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#ff62fcb2f7ceccf2f475dc22282b052d7d01acdb">
src/Higher/narrowingFolder.cc
</a>
</li>
<li class="file-stats">
<a href="#f17cc5b9824546b287dfc3ba3311980f38fffb4f">
src/Higher/narrowingFolder.hh
</a>
</li>
<li class="file-stats">
<a href="#4692fd93d5f6d75b4711bfb587a2337fb6d386ac">
src/Higher/narrowingSequenceSearch3.cc
</a>
</li>
<li class="file-stats">
<a href="#49770fa5ea23a40f1f6c32f572218e586ddc4d9d">
src/Higher/narrowingSequenceSearch3.hh
</a>
</li>
<li class="file-stats">
<a href="#70e656daa34d02fabea4f86ab38d98658a0a6ff6">
src/Higher/narrowingUnificationProblem.cc
</a>
</li>
<li class="file-stats">
<a href="#06bddbfa14c491a5886f04437d0b73b55c677627">
src/Higher/narrowingUnificationProblem.hh
</a>
</li>
<li class="file-stats">
<a href="#de4dd4cce1faf02dbbaf3e7463fa26a758d74019">
src/Higher/rewriteConditionFragment.cc
</a>
</li>
<li class="file-stats">
<a href="#85ad34c60d69b309143692a7f6de8763de621d4f">
src/Higher/satSolverSymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#eadfcccf1633b6a7fd91840381d092a53198596a">
src/Higher/temporalSymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#dbb9485d202ff8268a8eb02c5093088490b98065">
src/Higher/unificationProblem.cc
</a>
</li>
<li class="file-stats">
<a href="#050b261bf59fb1ab68f336222f954ba1828407c3">
src/Higher/unificationProblem.hh
</a>
</li>
<li class="file-stats">
<a href="#e6c79633c22a1b7a1bfd4807cdb59ac1ad24d142">
src/Higher/unifierFilter.cc
</a>
</li>
<li class="file-stats">
<a href="#26a0a5255e2b3170181454e0fefac104677466f4">
src/Higher/variantFolder.cc
</a>
</li>
<li class="file-stats">
<a href="#cbf4b40fb713a65d614266787f602e25550affd0">
src/Higher/variantFolder.hh
</a>
</li>
<li class="file-stats">
<a href="#349fa90d12b0c9c276556b0d61f349bedb81f20d">
src/Higher/variantNarrowingSearchState.cc
</a>
</li>
<li class="file-stats">
<a href="#23a6a9ddd8d6b97b68504c86921407e6562305cf">
src/Higher/variantNarrowingSearchState.hh
</a>
</li>
<li class="file-stats">
<a href="#3118aa766aa9d11fcd69397ae67fa9dba2886acf">
src/Higher/variantSearch.cc
</a>
</li>
<li class="file-stats">
<a href="#81500ad5460a2e56576a50a99b7748fbaf3eda9b">
src/Higher/variantSearch.hh
</a>
</li>
<li class="file-stats">
<a href="#a0597a08e5495072d9f02257e93cbe6c07db005a">
src/IO_Stuff/IO_Manager.cc
</a>
</li>
<li class="file-stats">
<a href="#66bb172d9dc40a7c63c50977b8105feee7cfd0e2">
<span class="deleted-file">
−
src/IO_Stuff/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#4254c4ff9e4df9172c8ee81c01e4d4c8c4a64868">
src/Interface/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#b5f402e3734b83c115b203f2ccc2fb52545a6938">
src/Interface/Makefile.am
</a>
</li>
<li class="file-stats">
<a href="#2bcc4f32daf8e7e1ed3f6923e9206326e9adea72">
<span class="deleted-file">
−
src/Interface/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#284b6ed771855446b83bd1abbec3dbab15167481">
src/Interface/dagNode.cc
</a>
</li>
<li class="file-stats">
<a href="#9a56afb48997afba975828a15ae96a6223bb59cb">
src/Interface/dagNode.hh
</a>
</li>
<li class="file-stats">
<a href="#804ea9ca5bebc30858ed3b3a10afe35229cfb589">
src/Interface/finalInstruction.hh
</a>
</li>
<li class="file-stats">
<a href="#9955fd59fd91ef3199ea2b1677f1f28ed29a7461">
src/Interface/instruction.hh
</a>
</li>
<li class="file-stats">
<a href="#7242f3530db5f961d1385dc95b87a0f41f9eb17f">
src/Interface/interface.hh
</a>
</li>
<li class="file-stats">
<a href="#1afc1d16b432fa89a9ce582a5077e9a48eeb964e">
src/Interface/nonFinalCtor.hh
</a>
</li>
<li class="file-stats">
<a href="#5afa6ec2b84a9c65514fb10544daf2896ff026e2">
src/Interface/nonFinalExtor.cc
</a>
</li>
<li class="file-stats">
<a href="#64b8cbcd77157f1fff2cbabd9e7ffbab44925c59">
src/Interface/nonFinalExtor.hh
</a>
</li>
<li class="file-stats">
<a href="#eebf2f20fd05bffd79467d18612cc719d70887d3">
src/Interface/nonFinalInstruction.cc
</a>
</li>
<li class="file-stats">
<a href="#47c50dfb4582f08b5c8ad44885779aae42ffe17f">
src/Interface/nonFinalInstruction.hh
</a>
</li>
<li class="file-stats">
<a href="#d2b3586aeded8c6434011ae9b8fe9eaa90785700">
src/Interface/regularInstruction.cc
</a>
</li>
<li class="file-stats">
<a href="#18423e7d8648b0641485767b69abea04d3fac66b">
src/Interface/regularInstruction.hh
</a>
</li>
<li class="file-stats">
<a href="#55ae599270b47116c59654c4d9415f6db7aa2c8f">
src/Interface/rhsAutomaton.hh
</a>
</li>
<li class="file-stats">
<a href="#768bf34c27dbb14c4f833de32e97f2fcd48dc592">
src/Interface/symbol.cc
</a>
</li>
<li class="file-stats">
<a href="#04308e3278f4b741e21e109318e602987621f345">
src/Interface/symbol.hh
</a>
</li>
<li class="file-stats">
<a href="#fcb39e5943319b5d09ac13ed3f025584af1adfce">
src/Interface/term.cc
</a>
</li>
<li class="file-stats">
<a href="#3d433317e50badf83dcab22c50cee46317575479">
src/Interface/term.hh
</a>
</li>
<li class="file-stats">
<a href="#5c9e727c5b5c6173d78b7fbf5cbd511d27c0b91e">
src/Main/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#74dc24c82ed213ce3467e133496a75c8d7e07904">
src/Main/Makefile.am
</a>
</li>
<li class="file-stats">
<a href="#dfec3a9a7f267853737bf6a3e7a5e4de05853c1d">
<span class="deleted-file">
−
src/Main/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#31926aed81b3bf6e6da3fee3548b708f98158439">
src/Main/main.cc
</a>
</li>
<li class="file-stats">
<a href="#13b9e28debcdee789334e532ae21f1e7de323cbe">
src/Main/maude.sty
</a>
</li>
<li class="file-stats">
<a href="#a1001a84ff4882017e5cceef9e8c4b54716ba210">
src/Main/model-checker.maude
</a>
</li>
<li class="file-stats">
<a href="#08062596fbd6b805a37964a422b2c327ee50c8b9">
src/Main/prelude.maude
</a>
</li>
<li class="file-stats">
<a href="#67e794015a01b8816bd16290e5f8538236da8245">
src/Makefile.am
</a>
</li>
<li class="file-stats">
<a href="#49df23e069b78a534b14d2841918824dddc91a6b">
<span class="deleted-file">
−
src/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#1d3a5c24cb8c60b5c90c8c88646ba2f60063e54f">
src/Meta/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#d6c41dd853f638fd0e0330b3e7953416a3b1d56c">
<span class="deleted-file">
−
src/Meta/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#132097734712163430ad885b59cfebea3fc57512">
src/Meta/metaDown.cc
</a>
</li>
<li class="file-stats">
<a href="#f441cc4c5823769c31602556721c35aefd2ce79c">
src/Meta/metaDownView.cc
</a>
</li>
<li class="file-stats">
<a href="#e1468326eb53af5457cd0845333fcf830f358916">
src/Meta/metaNewNarrow2.cc
</a>
</li>
<li class="file-stats">
<a href="#611103b371bda51fe96c04d8766b352e341d07d1">
src/Meta/metaView.cc
</a>
</li>
<li class="file-stats">
<a href="#05215164ee8169c3bc480804ebdf00829aa71e59">
src/Meta/miNarrowSearch.cc
</a>
</li>
<li class="file-stats">
<a href="#b9c34507e92d923b9acb6cd19616f7ac79a6dbbe">
src/Mixfix/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#92cdb1d7c7cdc6b049ce22d068df9c3e1a9a91ae">
<span class="deleted-file">
−
src/Mixfix/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#b0d1e5975e3a3f1cd3391018c171fbb1c6b60346">
src/Mixfix/auxProperty.cc
</a>
</li>
<li class="file-stats">
<a href="#89f0add492b490393d279f2007b72b15df502051">
src/Mixfix/banner.cc
</a>
</li>
<li class="file-stats">
<a href="#b6d4b7e655735e2cb052e4f7258b79722a34bd7f">
src/Mixfix/commands.yy
</a>
</li>
<li class="file-stats">
<a href="#7c33efa8fa43910c426857753cca14fdada004f1">
src/Mixfix/commutativeDecomposeEqualitySymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#1c9e318d367afe2f89f9c293bd59746b7a37c52c">
src/Mixfix/commutativeDecomposeEqualitySymbol.hh
</a>
</li>
<li class="file-stats">
<a href="#4cfc83d62ff0a3324efc81f7765f3a3dca3f6040">
<span class="deleted-file">
−
src/Mixfix/deserializer.cc
</span>
</a>
</li>
<li class="file-stats">
<a href="#7f8397cd9d83cd445d71f21d2123113d87da5b51">
src/Mixfix/doParse.cc
</a>
</li>
<li class="file-stats">
<a href="#e926874d89b5b7185628033f13c1265088f59ffa">
src/Mixfix/execute.cc
</a>
</li>
<li class="file-stats">
<a href="#30d01da6991735804de2a4d154ea43be9e4dec86">
src/Mixfix/importModule.cc
</a>
</li>
<li class="file-stats">
<a href="#a0266d0b60baa55498e6a18db263473cddb57c39">
src/Mixfix/importTranslation.cc
</a>
</li>
<li class="file-stats">
<a href="#73cff5430df9626e5e1aa880f312cf9c8bb254e6">
src/Mixfix/importTranslation.hh
</a>
</li>
<li class="file-stats">
<a href="#8ece1df683d74e83e0bfeebc2e71216d6444c6de">
src/Mixfix/instantiateViewWithFreeParameters.cc
</a>
</li>
<li class="file-stats">
<a href="#39db7f35f7eb262f629a66dd7de4542c0cc8540d">
src/Mixfix/interpreter.hh
</a>
</li>
<li class="file-stats">
<a href="#98d846a824d0067947680c6e87e97cd442863e71">
src/Mixfix/latexCommand.cc
</a>
</li>
<li class="file-stats">
<a href="#ec8ee9e46117bf5fe046d5a32487bfdbbd8c39f6">
src/Mixfix/latexModulePrint.cc
</a>
</li>
<li class="file-stats">
<a href="#06e5f6050fe171459a3a9ee012e3b3fec5ab128e">
src/Mixfix/latexResult.cc
</a>
</li>
<li class="file-stats">
<a href="#7c010aef10b09f102fb0dead9ec20c4136477360">
<span class="deleted-file">
−
src/Mixfix/lexer.cc
</span>
</a>
</li>
<li class="file-stats">
<a href="#a7756445f8d7ff9b212d2678ba982fbe34a58325">
src/Mixfix/lexer.ll
</a>
</li>
<li class="file-stats">
<a href="#c42eb8798f8a65ef7796ae84b107d8ca0de2f8c6">
src/Mixfix/makeGrammar.cc
</a>
</li>
<li class="file-stats">
<a href="#3d85c543f73e5271b2573e43c14c895818e22e0d">
src/Mixfix/maudeLatexBuffer.cc
</a>
</li>
<li class="file-stats">
<a href="#60eea4ac8eaa895b5558dd7b73369ee22aec453c">
src/Mixfix/maudeLatexBuffer.hh
</a>
</li>
<li class="file-stats">
<a href="#0e3516e76bc4623b67d25e80aef58ba616cfbac5">
src/Mixfix/mixfixModule.cc
</a>
</li>
<li class="file-stats">
<a href="#6fa84408e924326bb85239e90ddccb3ee93f730b">
src/Mixfix/mixfixModule.hh
</a>
</li>
<li class="file-stats">
<a href="#b96243028e45cb008631008e10cf83f577a84994">
src/Mixfix/mixfixParser.cc
</a>
</li>
<li class="file-stats">
<a href="#c5088a4357dbc9e98b6c799910b671d89f964183">
src/Mixfix/mixfixParser.hh
</a>
</li>
<li class="file-stats">
<a href="#0cd3471b92e13d3fa6911e63e17cab2fedd86218">
src/Mixfix/modules.yy
</a>
</li>
<li class="file-stats">
<a href="#807e9db53345ca31b62abb198f6c005584f7c04b">
src/Mixfix/narrowing.cc
</a>
</li>
<li class="file-stats">
<a href="#27207d7c0c3f40ddf0237e3100b0b31bc91cbb39">
src/Mixfix/ooProcess.cc
</a>
</li>
<li class="file-stats">
<a href="#0813ae1aa52e2fb6c160992c3b478faef88387d4">
src/Mixfix/prettyPrint.cc
</a>
</li>
<li class="file-stats">
<a href="#ce55d16704a45238c78215d119487f4508d24236">
src/Mixfix/process.cc
</a>
</li>
<li class="file-stats">
<a href="#a552bc662e618fe4dfd4d75664251cab1b060b91">
src/Mixfix/renameModule.cc
</a>
</li>
<li class="file-stats">
<a href="#a3ca82d661c7b3c64e64da2495d4257139b28136">
src/Mixfix/renaming.cc
</a>
</li>
<li class="file-stats">
<a href="#4f560157c302610219178dcb605706b403178bce">
src/Mixfix/search.cc
</a>
</li>
<li class="file-stats">
<a href="#325ec1a2a278562d2baa4361e385427f15b00ae5">
src/Mixfix/specialTokens.cc
</a>
</li>
<li class="file-stats">
<a href="#c5fb5ea4f842e32df345240950e935aa1f235fc1">
src/Mixfix/token.cc
</a>
</li>
<li class="file-stats">
<a href="#e54051f0bdba496012cd015b21945da15f1ac2ab">
src/Mixfix/token.hh
</a>
</li>
<li class="file-stats">
<a href="#7f0db02c4efea1e0b42097fc96181c001fa41d76">
<span class="deleted-file">
−
src/Mixfix/tokenizer.cc
</span>
</a>
</li>
<li class="file-stats">
<a href="#11f1dc241aa57ebe5de60211d3e0c9d1222749a9">
src/Mixfix/top.yy
</a>
</li>
<li class="file-stats">
<a href="#b8618fb21f8b8f1741f23dcdfa4546eadb823949">
src/Mixfix/userLevelRewritingContext.cc
</a>
</li>
<li class="file-stats">
<a href="#3cd63a5a9d42cdf484bc2a0da16f787df5c20adc">
src/Mixfix/userLevelRewritingContext.hh
</a>
</li>
<li class="file-stats">
<a href="#5483e49cea85f601afcc642b5c6ddfccd1a3d721">
src/Mixfix/view.cc
</a>
</li>
<li class="file-stats">
<a href="#d85dfb201045edd95c47c86d23eb2e4eb8ca16b5">
src/Mixfix/visibleModule.hh
</a>
</li>
<li class="file-stats">
<a href="#81d46027ffa11853d1e7e6dd456906f020bbae36">
<span class="deleted-file">
−
src/NA_Theory/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#f6a074f4be708a6f418d145127ee36696970541a">
src/ObjectSystem/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#ca8f31aad686f1cd83fa4e35620e7264c8c9fcc7">
<span class="deleted-file">
−
src/ObjectSystem/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#ff0315c6b3fd7cf033f589d1b4eca36b8103b78e">
src/ObjectSystem/processStuff.cc
</a>
</li>
<li class="file-stats">
<a href="#21c9a00a68a32c2024f806293ff6c6a3657f33f9">
src/ObjectSystem/streamManagerSymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#64bb014bd4b43438b8fccb4144692ae08e14907b">
src/ObjectSystem/timeActions.cc
</a>
</li>
<li class="file-stats">
<a href="#ffd501febecd3119ff20027c3ba1ebc96f96d6c8">
<span class="deleted-file">
−
src/Parser/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#cef1bcaaaeed167488c957b02c0b1204c231812e">
<span class="deleted-file">
−
src/SMT/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#0f618bdaa9f332767f6ba5048c1a4e940f73ee51">
src/S_Theory/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#25f5e45be8b793bb3b0bc5ad1befa6b87bab39c2">
<span class="deleted-file">
−
src/S_Theory/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#aeba1d65df887dadc735c0f5b7ae12d6ba5a12c6">
src/S_Theory/S_Symbol.cc
</a>
</li>
<li class="file-stats">
<a href="#450d4ecb688fa0c593c3cfe210bd9a987e312332">
src/S_Theory/S_Symbol.hh
</a>
</li>
<li class="file-stats">
<a href="#7a6434a0758a4ec4a8567ac55bf3eb6bc8246e54">
src/StrategyLanguage/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#8b0aa4c105c7b98a48d5fe0975f575ace10cd315">
<span class="deleted-file">
−
src/StrategyLanguage/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#419e6e561fc75376474dcac998a62eeb11894e41">
src/StrategyLanguage/rewriteTask.cc
</a>
</li>
<li class="file-stats">
<a href="#aa01b7dfea333974f7de5596ec659c3d9680ad73">
<span class="deleted-file">
−
src/Temporal/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#fb14132090fc14f7e78cb04238b9e1025c6cbee0">
src/Utility/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#a2f8089fef27304e4858373c8fc8d644b5252ebc">
<span class="deleted-file">
−
src/Utility/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#4d7fa16fb8422dfb5ffcc35fae541402139be7b6">
src/Utility/macros.hh
</a>
</li>
<li class="file-stats">
<a href="#a4b779c6df1af1965b01079173269d4868a8b1cd">
src/Utility/mathStuff.hh
</a>
</li>
<li class="file-stats">
<a href="#518211b4bc43a457bb90e0945c7c3abb2c4202d2">
src/Utility/rope.hh
</a>
</li>
<li class="file-stats">
<a href="#e769fe5658758088cd14302df0473f9ae524ace3">
src/Utility/timeStuff.hh
</a>
</li>
<li class="file-stats">
<a href="#78e9528d00f19de4472b401ff1ebb92b7d5484ec">
src/Utility/wordLevel-selections.cc
</a>
</li>
<li class="file-stats">
<a href="#a890310e672e8794b65839c1d59e71015ac49323">
src/Utility/wordLevel.cc
</a>
</li>
<li class="file-stats">
<a href="#e8cb6577d956a3a5949e0ca4ea848d48b4be3364">
src/Utility/wordLevel.hh
</a>
</li>
<li class="file-stats">
<a href="#cbc9e829ab62818e6bdbb48321e10610aae96d5b">
src/Utility/wordSystem.cc
</a>
</li>
<li class="file-stats">
<a href="#9ecaf6da7e63eace6474a59aaa090b3f399f256f">
src/Utility/wordSystem.hh
</a>
</li>
<li class="file-stats">
<a href="#15d0a59b6a52c2489be14105775d7a5b2f7750a2">
src/Variable/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#f09d7552348480469e1ba76c03722a9d046037f7">
<span class="deleted-file">
−
src/Variable/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#581ce2c907af84be31ad3ae4de0f6a4e62af2a71">
src/Variable/variableDagNode.cc
</a>
</li>
<li class="file-stats">
<a href="#a90f8d73da1e46cbc29a828aea472c48be0e7918">
<span class="deleted-file">
−
test-driver
</span>
</a>
</li>
<li class="file-stats">
<a href="#843cf5e4ee8b3e670de607146efb5b1a9b4a128b">
tests/BuiltIn/Makefile.am
</a>
</li>
<li class="file-stats">
<a href="#a848093b6eeccca5e952fc2b715acaa2bca1e7b2">
<span class="deleted-file">
−
tests/BuiltIn/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#c1bbe5864e1546ec96e2bfd6039b207441e0a713">
<span class="new-file">
+
tests/BuiltIn/stringOps
</span>
</a>
</li>
<li class="file-stats">
<a href="#a8a849080e32a3855922edcea8047574e9537912">
<span class="new-file">
+
tests/BuiltIn/stringOps.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#01ee1e34d5a6e8b37efd9ff7e9a653a3aeeb2c3f">
<span class="new-file">
+
tests/BuiltIn/stringOps.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#6b2983637f83fee82d41f3e08f4226d07712c3a9">
<span class="deleted-file">
−
tests/Corner/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#667a315962c5c4ae4effeee923235f01c929ad2c">
tests/Corner/badRenaming.expected
</a>
</li>
<li class="file-stats">
<a href="#4ed630a0f28a45793cfb33f4099b963747d7e754">
tests/Corner/badView.expected
</a>
</li>
<li class="file-stats">
<a href="#d58aff9b3c76bbde9c290e459e0e660c3e91cfb8">
tests/Corner/operatorNames.expected
</a>
</li>
<li class="file-stats">
<a href="#54ceee4c74b538a43890ef0f5565fb7f4dbe7c7e">
<span class="deleted-file">
−
tests/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#12071e0c52e3274bd9b7817c7dd309c61e55d9ca">
<span class="deleted-file">
−
tests/Meta/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#173d4d424e54a22c083c2919de5dca0fbf26fc83">
tests/Misc/Makefile.am
</a>
</li>
<li class="file-stats">
<a href="#d6c9aae6eba1cf48c3b125ef5811fb5a5eb1503d">
<span class="deleted-file">
−
tests/Misc/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#46aa519a8eadfc600cba8d582a7de86c21f68d15">
tests/Misc/commands.expected
</a>
</li>
<li class="file-stats">
<a href="#0e60f0c28f247e29226425e2a06063d4f792b922">
tests/Misc/initialEqualityPredicate.expected
</a>
</li>
<li class="file-stats">
<a href="#d958d7d94093370098855c06896611c320fc3984">
tests/Misc/initialEqualityPredicate.maude
</a>
</li>
<li class="file-stats">
<a href="#490c081a3c7dd3fd813487648ef7a432992ec43f">
<span class="new-file">
+
tests/Misc/narrow2
</span>
</a>
</li>
<li class="file-stats">
<a href="#500553860ffee9951ec34e22ea2a78ff06af5780">
<span class="new-file">
+
tests/Misc/narrow2.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#1a0501cc8dac9766262a46238a779d192f3711ad">
<span class="new-file">
+
tests/Misc/narrow2.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#165ce72fe1d41a50ecb47fd36f2c50188e270ea0">
tests/Misc/parameterization.expected
</a>
</li>
<li class="file-stats">
<a href="#6e8fad6ce093042ce298c0ca70853aa7fc89a683">
tests/Misc/parameterizedView.expected
</a>
</li>
<li class="file-stats">
<a href="#8a8f4b5dbb9b66d5ed821822fbc404135360d94f">
tests/Misc/renaming.expected
</a>
</li>
<li class="file-stats">
<a href="#e72c25c3ad6281e251166df18f06a62324c486ce">
<span class="deleted-file">
−
tests/ObjectOriented/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#34cb6f01c7e8458cebc33f2e07483c7cc013ba7f">
tests/ResolvedBugs/Makefile.am
</a>
</li>
<li class="file-stats">
<a href="#d9b6df12134e3c6e6ad4ba21ae9bfd493e1ac613">
<span class="deleted-file">
−
tests/ResolvedBugs/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#5ddf93a1d2fd783a23b8c8690f921f9ec4d517b8">
<span class="new-file">
+
tests/ResolvedBugs/fragmentBufferJune2025
</span>
</a>
</li>
<li class="file-stats">
<a href="#bed488fd8f6b48a47c52c5c2aab9c8e0e4b23709">
<span class="new-file">
+
tests/ResolvedBugs/fragmentBufferJune2025.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#547a027909d429e410cf0962481cf56802b1c24e">
<span class="new-file">
+
tests/ResolvedBugs/fragmentBufferJune2025.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#c62a6930b437a3eca8474fefc7a5c044abd96595">
<span class="new-file">
+
tests/ResolvedBugs/invalidStrategyDefinitionJune2025
</span>
</a>
</li>
<li class="file-stats">
<a href="#a1f67711a16484364713c920458f0e341b0eb7fa">
<span class="new-file">
+
tests/ResolvedBugs/invalidStrategyDefinitionJune2025.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#b25fe2175703b2f0c84182398cc3edd377ca230b">
<span class="new-file">
+
tests/ResolvedBugs/invalidStrategyDefinitionJune2025.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#5c40627c53595bc598ff6927a10320c8a40adaa7">
tests/ResolvedBugs/moduleOrphanedByViewFebruary2023.expected
</a>
</li>
<li class="file-stats">
<a href="#fc2960490b62d6ee7722c97d41b95577db8f4c8f">
tests/ResolvedBugs/orphanedViewInstantiationFebruary2023.expected
</a>
</li>
<li class="file-stats">
<a href="#da19eae9a7b6de0467ad55eba963f78cb280e350">
<span class="new-file">
+
tests/ResolvedBugs/stratToExprNotValidMay2025
</span>
</a>
</li>
<li class="file-stats">
<a href="#9ff955cf14209738cf4ae247e79f3378241c01b7">
<span class="new-file">
+
tests/ResolvedBugs/stratToExprNotValidMay2025.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#6a53cad55a6054c18b72fb36cf02f4b87773f09b">
<span class="new-file">
+
tests/ResolvedBugs/stratToExprNotValidMay2025.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#bf0d77b61f6c8e2cc6bf3d0936ecb3de0e0bb9bc">
<span class="new-file">
+
tests/ResolvedBugs/stringToRatConversionMarch2024
</span>
</a>
</li>
<li class="file-stats">
<a href="#89d362f45e44a53c5f032a971bda46680b9daf04">
<span class="new-file">
+
tests/ResolvedBugs/stringToRatConversionMarch2024.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#d5917e40ae00e573628a49b06ee2bf984801f293">
<span class="new-file">
+
tests/ResolvedBugs/stringToRatConversionMarch2024.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#8dc7eac382d8e2c470d72d8aa32d888a7e4088f7">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationAwkwardCaseApril2025
</span>
</a>
</li>
<li class="file-stats">
<a href="#808e93f7be24868cd3cbd6415a61d8cfc46fd782">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationAwkwardCaseApril2025.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#9b129e76c5818ffeb3e3acac3bb28c68b78ab48c">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationAwkwardCaseApril2025.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#39e1c8b743935c0e83eec6e35e506f7b187d2553">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationAwkwardCaseStrategyMay2025
</span>
</a>
</li>
<li class="file-stats">
<a href="#6890c20c79665efa302bbc44a7be41e4f1318cdd">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationAwkwardCaseStrategyMay2025.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#5f622b95a2510c89cf446e19a6a19c34203f473e">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationAwkwardCaseStrategyMay2025.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#e95ef866364d6706108ac693dd7a290f228d13d8">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByModuleViewApril2025
</span>
</a>
</li>
<li class="file-stats">
<a href="#ad0f8072a34a49a1c1354bc7108ddb24470852ee">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByModuleViewApril2025.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#641496d4a37e0b3fd779944d22d05558b8f0a707">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByModuleViewApril2025.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#5c972a4541137d28253a250cef51c368018d3653">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByModuleViewStrategyMay2025
</span>
</a>
</li>
<li class="file-stats">
<a href="#8a052aaf7d4a079742ed8afe59b505faea1a5fae">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByModuleViewStrategyMay2025.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#a30dc0aa36e06687d2fff2670ef576bab37b38fb">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByModuleViewStrategyMay2025.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#03391477ad07f7fffc04af8d6e5ac995f0a66201">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByTheoryViewApril2025
</span>
</a>
</li>
<li class="file-stats">
<a href="#886e496b0e1381d4b57af77d8a0ec9095175420b">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByTheoryViewApril2025.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#ba451cc0b909c67ee9e898828a2114ca0cd1179d">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByTheoryViewApril2025.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#513d8ce7f3184470e57f20ba5c419a98630dae5a">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByTheoryViewStrategyMay2025
</span>
</a>
</li>
<li class="file-stats">
<a href="#48059d90024d2d421486e9e79aa9ab32a0650f28">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByTheoryViewStrategyMay2025.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#f5e860e86bdd13dcf3b131fc93448ad61e1cd90b">
<span class="new-file">
+
tests/ResolvedBugs/viewInstantiationByTheoryViewStrategyMay2025.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#74649f3579209051e5514bc107013ca0d6711262">
<span class="new-file">
+
tests/ResolvedBugs/viewNameApril2025
</span>
</a>
</li>
<li class="file-stats">
<a href="#cbc60824e625e95788a4ac366a685c1de43548d6">
<span class="new-file">
+
tests/ResolvedBugs/viewNameApril2025.expected
</span>
</a>
</li>
<li class="file-stats">
<a href="#298d030ff5b4884a3c2263807390e65a39699832">
<span class="new-file">
+
tests/ResolvedBugs/viewNameApril2025.maude
</span>
</a>
</li>
<li class="file-stats">
<a href="#ae7c14898e1c3cd233b07c87d399faee232f3008">
<span class="deleted-file">
−
tests/StrategyLanguage/Makefile.in
</span>
</a>
</li>
</ul>
<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: .875rem;">
The diff was not included because it is too large.
</h5>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #626168;">
—
<br>
<a href="https://salsa.debian.org/med-team/maude/-/commit/686fe04adc7fe49b56aaaac85c8f9969a479e556">View it on GitLab</a>.
<br>
You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://salsa.debian.org">salsa.debian.org</a>. <a href="https://salsa.debian.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link">Manage all notifications</a> · <a href="https://salsa.debian.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>
<span style="color: transparent; font-size: 0; display: none; overflow: hidden; opacity: 0; width: 0; height: 0; max-width: 0; max-height: 0;">
Notification message regarding https://salsa.debian.org/med-team/maude/-/commit/686fe04adc7fe49b56aaaac85c8f9969a479e556 at 1761391125
</span>
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"https://salsa.debian.org/med-team/maude/-/commit/686fe04adc7fe49b56aaaac85c8f9969a479e556"}}</script>
</p>
</div>
</body>
</html>