Skip to content

/alloy-models

Like the name. Contains various Alloy models
  1. Alloy 81.6%
  2. TypeScript 18.4%
Branch: master
Find File
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Open in Desktop Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

@davidk01
davidk01 Adding protocol model
Latest commit cc66061 Feb 21, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
rolling-deployments More consistent naming Feb 14, 2019
.gitignore Adding TypeScript simulation Feb 14, 2019
LICENSE Adding a license Feb 9, 2019
appendable-coordination.als Adding protocol model Feb 20, 2019
bit-vectors.als Init Jul 30, 2018
graph.als Minor simplification in graph model Feb 9, 2019
halmos-handshake-puzzle.als Model for Halmos's handshake puzzle Aug 8, 2018
hanoi.als Init Jul 30, 2018
key-hierarchy.als Small update for key hierarchy model Feb 9, 2019
n-queens.als disj instead of != Feb 9, 2019
river-crossing.als Init Jul 30, 2018
send-more-money.als Init Jul 30, 2018
state-machine.als Model for state machines Aug 10, 2018
tic-tac-toe.als Tic tac toe model Sep 8, 2018
You can’t perform that action at this time.