Steven Eker comments

Results 5 comments of


                                            Steven Eker

Filtering does not terminate on a small set of unifiers.

Sorry for the long delay in responding. Your example is quite subtle and I wanted a second opinion. Santiago Escobar provided me with the following analysis: --- This theory is...

Filtering does not terminate on a small set of unifiers.

I've fixed the bug in Alpha152 and added your example to the test suite as tests/ResolvedBugs/filteredVariantUnifyJune2023.maude

Fix: Assignment to `const` results in a "no overload" error for `operator=`

I've made your suggested change in Alpha152. I'm reluctant to accept pull requests on this repository in case it breaks my script for updating it from a private development repository....

3.3.1 precompiled binary crashes on older laptop

This should be fixed in the Public alpha 146 release. I now build the Linux release on an old Haswell machine to have older libraries for better compatibility but it...

view naming with : or . can break things.

The backquotes you are seeing are part of the single token version of the sort name. Because the sort name contains . or : it is not recognized as a...