An input language for Maude-NPA. Rather than using the strand-based language used by Maude-NPA, the Maude-PSL uses a notation based on the Alice-Bob notation commonly seen in the literature. Maude-PSL endeavors to make Maude-NPA specifications more readable, easier to write, and less prone to error.
1
stars
0
forks
source link
'homomorphism' attribute not recognized by Maude-PSL in spite of it being present in the formal syntax #2
The translator ('pslTree.py') fails with an attribute not found error on line 2024 of the file 'pslTree.py'. This is because the method PSLListNode.remove() uses self.args in line 2028 and line 2030.
Proposed Fix
I think self.args should be replaced with self.children. Also, line 2015 in the function PSLListNode.extend should be commented.
JoyMitra
commented
5 years ago
The 'homomorphism' attribute is not recognized as an attribute on equations.
The equation I was trying to specify in Maude-PSL was:
eq pk(X ; Y, K) = pk(X, K) ; pk(Y, K) [ homomorphism ].The translator ('pslTree.py') fails with an attribute not found error on line 2024 of the file 'pslTree.py'. This is because the method PSLListNode.remove() uses self.args in line 2028 and line 2030.
Proposed Fix
I think self.args should be replaced with self.children. Also, line 2015 in the function PSLListNode.extend should be commented.