Patch by Jeroen Keiren for a linking error with newer mCRL2 versions.
Patch by Jeroen Keiren for a linking error with newer mCRL2 versions.
alaarman/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,buschko/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,Sybe/composition,alaarman/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,trolando/ltsmin,thedobs/LTSmin,Sybe/composition,trolando/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,buschko/ltsmin,Sybe/composition,thedobs/LTSmin,Sybe/composition,trolando/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,buschko/ltsmin,vbloemen/ltsmin,buschko/ltsmin,vbloemen/ltsmin,trolando/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin