CinRC / IRDC-CCSK

Java implementation of distributed reversible computation verification
https://spots.augusta.edu/caubert/cinrc/
GNU General Public License v3.0
4 stars 2 forks source link

Making null operators implicit #6

Closed aubertc closed 2 years ago

aubertc commented 2 years ago

This issue is two-fold:

That is, both a.0 and a should be interpreted as the prefix a followed by the null process.

aubertc commented 2 years ago

cf. https://github.com/peterbro1/RCCS_Impl/commit/5d596329eee439f9e710aee884ccf679ef34cfd5#r68487236

peterbro1 commented 2 years ago

Fixed in commit https://github.com/peterbro1/RCCS_Impl/commit/ef515370562014c51042011fd458fcdc46a4a7ae