search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

CASL signature projection into a sublogic #215

Open sternk opened 10 years ago

sternk commented 10 years ago

Reported by maeder and assigned to maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/215

in CASL.Sublogic the function pr_sign needs to be implemented properly. Currently it is the identity function. Also for CoCASL

sternk commented 10 years ago

Comment by maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/215#comment:2

these sublogic projections are currently unused