Closed dohan closed 9 years ago
Can not be fixed until theories are available for Rodin 3, as there will not be a new Camille release for Rodin 2.
Theories have been released, so maybe we are able to fix the bug. Can you send my an example project where the problem occurs?
On 27 Jan 2015, at 11:10, Sebastian Krings notifications@github.com wrote:
Theories have been released, so maybe we are able to fix the bug. Can you send my an example project where the problem occurs?
— Reply to this email directly or view it on GitHub https://github.com/hhu-stups/camille/issues/14#issuecomment-71620871.
Example attached:
context TestBool constants a b c axioms @axm a∈BOOL ∧ b∈BOOL ∧c∈BOOL @axm1 a=NOT(b) @axm2 c = AND(a,b) end
Might be fixed in latest nightly, please verify.
It seems that camille is not able to parse operators (of theory modules) with more than 1 argument. For example, camille can not parse the seqAppend(s, e) operator: