Giters

pviotti / conver-old

[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Fix process naming

pviotti opened this issue · comments

commented

Processes can't be more than the letter of the alphabet. Find a more scalable way to name processes.