search

easyuc / EasyUC

Experiments with Universal Composability in EasyCrypt
30 stars 1 forks source link

can *UC file* title be annotated with current UC file? #34

Closed alleystoughton closed 11 months ago

alleystoughton commented 11 months ago

It would be great if the UC file title could be annotated with current UC file (SMC.uc, etc.) Otherwise, one has to work to realize what file one is in.