I also changed some names in the NSL example, so that it is more consistent. (Basically, moving the nsl_ prefixes to the end).
For example: with the new typeclass naming convention we have crypto_invariants_nsl but the corresponding nsl_trace_invariants are not a typeclass instance. Still I renamed the latter to match the crypto_invariants.
The only places where nsl_ is left as prefix are: nsl_session, nsl_event and nsl_global_sess_ids, for which I think this is ok.
Fixing https://github.com/REPROSEC/dolev-yao-star-extrinsic/issues/20.
I also changed some names in the NSL example, so that it is more consistent. (Basically, moving the
nsl_prefixes to the end). For example: with the new typeclass naming convention we havecrypto_invariants_nslbut the correspondingnsl_trace_invariantsare not a typeclass instance. Still I renamed the latter to match thecrypto_invariants.The only places where
nsl_is left as prefix are:nsl_session,nsl_eventandnsl_global_sess_ids, for which I think this is ok.