local
Merge branch 'master' of https://github.com/pbanzal/DS_Proj

Conflicts:
	RBSF.tla
toRemove
Merge branch 'master' of https://github.com/pbanzal/DS_Proj

Conflicts:
	RBSF.tla
FIFO working, RB working
Merge branch 'master' of https://github.com/pbanzal/DS_Proj