symmetrytools

Tools for symmetry reduction in model checking, originally developed at the University of Glasgow

Name		Name	Last commit message	Last commit date
Latest commit History 178 Commits
Common		Common
GRIP		GRIP
TestModels		TestModels
documentation		documentation
examples		examples
permutation_generation		permutation_generation
saucy		saucy
src		src
.gitignore		.gitignore
EtchMakefile		EtchMakefile
Makefile		Makefile
Node.java.patch		Node.java.patch
README.md		README.md
README_Etch.txt		README_Etch.txt
TopSPIN_2.1.tgz		TopSPIN_2.1.tgz
TopSPIN_2.2.1.tgz		TopSPIN_2.2.1.tgz
TopSPIN_2.2.2.tgz		TopSPIN_2.2.2.tgz
TopSPIN_2.2.3.tgz		TopSPIN_2.2.3.tgz
TopSPIN_2.2.4.tgz		TopSPIN_2.2.4.tgz
TopSPIN_2.2.5.tgz		TopSPIN_2.2.5.tgz
TopSPIN_2.2.6.tgz		TopSPIN_2.2.6.tgz
TopSPIN_2.2.tgz		TopSPIN_2.2.tgz
apply_patch.pl		apply_patch.pl
etch_manifest.txt		etch_manifest.txt
lazyspin_manifest.txt		lazyspin_manifest.txt
makerelease.bat		makerelease.bat
makerelease.sh		makerelease.sh
manifest.mf		manifest.mf
manifest.txt		manifest.txt
promela.grammar		promela.grammar
releasenotes.txt		releasenotes.txt
symmextractor_common_config.txt		symmextractor_common_config.txt
tests_manifest.txt		tests_manifest.txt

Provide feedback