5 Forks
24 Stars
24 Watchers

memalloy

Memory consistency modelling using Alloy

How to download and setup memalloy

Open terminal and run command
git clone https://github.com/johnwickerson/memalloy.git
git clone is used to create a copy or clone of memalloy repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with memalloy https://github.com/johnwickerson/memalloy/archive/master.zip

Or simply clone memalloy with SSH
[email protected]:johnwickerson/memalloy.git

If you have some problems with memalloy

You may open issue on memalloy support forum (system) here: https://github.com/johnwickerson/memalloy/issues