diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-11 13:07:55 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-11 13:07:55 +0100 |
| commit | 09cd0c4b916fb111d586f622ebe57801db5fc36a (patch) | |
| tree | 3df27964ebb6761fe40335f8d6b46995bb78b70b /project | |
| parent | e1e0bf5c2d634c4b2e5350614625996e843e2e9a (diff) | |
| download | RSAComb-09cd0c4b916fb111d586f622ebe57801db5fc36a.tar.gz RSAComb-09cd0c4b916fb111d586f622ebe57801db5fc36a.zip | |
Fix role unsafety check
We now check that the existential expression in the axiom of type T3 is
not top.
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions