search

REPROSEC / dolev-yao-star-extrinsic

DY* with extrinsic proofs
https://reprosec.org/
Mozilla Public License 2.0
8 stars 0 forks source link

renamed label to tag when we don't talk about the intended audience #16

Closed cwaldm closed 1 month ago

cwaldm commented 1 month ago

resolving https://github.com/REPROSEC/dolev-yao-star-extrinsic/issues/14 for current code: replaced "label" with "tag" at appropriate places (including one rename of a file)