├── .gitignore ├── .readthedocs.yaml ├── LICENSE ├── Makefile ├── _static └── custom.css ├── conf.py ├── index.rst ├── intro.rst ├── language ├── commands.rst ├── expressions-and-constraints.rst ├── img │ ├── belongs_to.png │ ├── command.png │ ├── lone-dir.png │ ├── one-key.png │ ├── self-relation.png │ ├── set-user.png │ ├── sig-a.png │ ├── sig-with-relations.png │ └── some-author.png ├── index.rst ├── modules.rst ├── predicates-and-functions.rst ├── sets-and-relations.rst ├── signatures.rst └── time.rst ├── make.bat ├── modules ├── boolean.rst ├── graph.rst ├── index.rst ├── integer.rst ├── natural.rst ├── ordering.rst ├── relation.rst ├── ternary.rst └── time.rst ├── readme.md ├── requirements.txt ├── techniques ├── boolean-fields.rst ├── dynamics.rst ├── index.rst └── specs │ └── dynamics │ ├── browsing.als │ ├── keyboard-table.als │ ├── keyboard.als │ └── light.als ├── tooling ├── analyzer.rst ├── img │ ├── evaluator.png │ ├── kodkod.png │ ├── table.png │ ├── temporal_model.png │ ├── tree.png │ └── visualizer.png ├── index.rst ├── markdown.rst ├── specs │ ├── server.als │ ├── visualizer-counterexample.xml │ └── visualizer.als ├── themes.rst └── visualizer.rst └── utils ├── __init__.py └── alloy.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/.gitignore -------------------------------------------------------------------------------- /.readthedocs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/.readthedocs.yaml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/Makefile -------------------------------------------------------------------------------- /_static/custom.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/_static/custom.css -------------------------------------------------------------------------------- /conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/conf.py -------------------------------------------------------------------------------- /index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/index.rst -------------------------------------------------------------------------------- /intro.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/intro.rst -------------------------------------------------------------------------------- /language/commands.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/commands.rst -------------------------------------------------------------------------------- /language/expressions-and-constraints.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/expressions-and-constraints.rst -------------------------------------------------------------------------------- /language/img/belongs_to.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/img/belongs_to.png -------------------------------------------------------------------------------- /language/img/command.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/img/command.png -------------------------------------------------------------------------------- /language/img/lone-dir.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/img/lone-dir.png -------------------------------------------------------------------------------- /language/img/one-key.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/img/one-key.png -------------------------------------------------------------------------------- /language/img/self-relation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/img/self-relation.png -------------------------------------------------------------------------------- /language/img/set-user.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/img/set-user.png -------------------------------------------------------------------------------- /language/img/sig-a.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/img/sig-a.png -------------------------------------------------------------------------------- /language/img/sig-with-relations.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/img/sig-with-relations.png -------------------------------------------------------------------------------- /language/img/some-author.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/img/some-author.png -------------------------------------------------------------------------------- /language/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/index.rst -------------------------------------------------------------------------------- /language/modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/modules.rst -------------------------------------------------------------------------------- /language/predicates-and-functions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/predicates-and-functions.rst -------------------------------------------------------------------------------- /language/sets-and-relations.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/sets-and-relations.rst -------------------------------------------------------------------------------- /language/signatures.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/signatures.rst -------------------------------------------------------------------------------- /language/time.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/language/time.rst -------------------------------------------------------------------------------- /make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/make.bat -------------------------------------------------------------------------------- /modules/boolean.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/modules/boolean.rst -------------------------------------------------------------------------------- /modules/graph.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/modules/graph.rst -------------------------------------------------------------------------------- /modules/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/modules/index.rst -------------------------------------------------------------------------------- /modules/integer.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/modules/integer.rst -------------------------------------------------------------------------------- /modules/natural.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/modules/natural.rst -------------------------------------------------------------------------------- /modules/ordering.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/modules/ordering.rst -------------------------------------------------------------------------------- /modules/relation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/modules/relation.rst -------------------------------------------------------------------------------- /modules/ternary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/modules/ternary.rst -------------------------------------------------------------------------------- /modules/time.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/modules/time.rst -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/readme.md -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/requirements.txt -------------------------------------------------------------------------------- /techniques/boolean-fields.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/techniques/boolean-fields.rst -------------------------------------------------------------------------------- /techniques/dynamics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/techniques/dynamics.rst -------------------------------------------------------------------------------- /techniques/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/techniques/index.rst -------------------------------------------------------------------------------- /techniques/specs/dynamics/browsing.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/techniques/specs/dynamics/browsing.als -------------------------------------------------------------------------------- /techniques/specs/dynamics/keyboard-table.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/techniques/specs/dynamics/keyboard-table.als -------------------------------------------------------------------------------- /techniques/specs/dynamics/keyboard.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/techniques/specs/dynamics/keyboard.als -------------------------------------------------------------------------------- /techniques/specs/dynamics/light.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/techniques/specs/dynamics/light.als -------------------------------------------------------------------------------- /tooling/analyzer.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/analyzer.rst -------------------------------------------------------------------------------- /tooling/img/evaluator.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/img/evaluator.png -------------------------------------------------------------------------------- /tooling/img/kodkod.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/img/kodkod.png -------------------------------------------------------------------------------- /tooling/img/table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/img/table.png -------------------------------------------------------------------------------- /tooling/img/temporal_model.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/img/temporal_model.png -------------------------------------------------------------------------------- /tooling/img/tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/img/tree.png -------------------------------------------------------------------------------- /tooling/img/visualizer.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/img/visualizer.png -------------------------------------------------------------------------------- /tooling/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/index.rst -------------------------------------------------------------------------------- /tooling/markdown.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/markdown.rst -------------------------------------------------------------------------------- /tooling/specs/server.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/specs/server.als -------------------------------------------------------------------------------- /tooling/specs/visualizer-counterexample.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/specs/visualizer-counterexample.xml -------------------------------------------------------------------------------- /tooling/specs/visualizer.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/specs/visualizer.als -------------------------------------------------------------------------------- /tooling/themes.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/themes.rst -------------------------------------------------------------------------------- /tooling/visualizer.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/tooling/visualizer.rst -------------------------------------------------------------------------------- /utils/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /utils/alloy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/alloydocs/HEAD/utils/alloy.py --------------------------------------------------------------------------------