]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
(refs #7809) Added builtin Pure type to indicate no effects 48/1548/1
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 9 Mar 2018 21:39:05 +0000 (23:39 +0200)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 9 Mar 2018 21:39:05 +0000 (23:39 +0200)
Change-Id: I7068a4932be87afaa254cd9b1eecce712fb83d9c


No differences found