GitHub - carismoses/Spin6.4.7.5: Spin 6.4.7 with patches

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
LICENSE		LICENSE
README.txt		README.txt
dstep.c		dstep.c
flow.c		flow.c
guided.c		guided.c
main.c		main.c
makefile		makefile
mesg.c		mesg.c
msc_tcl.c		msc_tcl.c
pangen1.c		pangen1.c
pangen1.h		pangen1.h
pangen2.c		pangen2.c
pangen2.h		pangen2.h
pangen3.c		pangen3.c
pangen3.h		pangen3.h
pangen4.c		pangen4.c
pangen4.h		pangen4.h
pangen5.c		pangen5.c
pangen5.h		pangen5.h
pangen6.c		pangen6.c
pangen6.h		pangen6.h
pangen7.c		pangen7.c
pangen7.h		pangen7.h
reprosrc.c		reprosrc.c
run.c		run.c
sched.c		sched.c
spin.h		spin.h
spin.y		spin.y
spinlex.c		spinlex.c
structs.c		structs.c
sym.c		sym.c
tl.h		tl.h
tl_buchi.c		tl_buchi.c
tl_cache.c		tl_cache.c
tl_lex.c		tl_lex.c
tl_main.c		tl_main.c
tl_mem.c		tl_mem.c
tl_parse.c		tl_parse.c
tl_rewrt.c		tl_rewrt.c
tl_trans.c		tl_trans.c
vars.c		vars.c
version.h		version.h

Repository files navigation

This is Spin version 6.4.7 with some additional patches from the developer Gerard Holzmann. He said that they will be included in version 6.4.8, but until then they will live here.

You may need to install YACC:
    sudo apt-get install bison

To compile:
    make

To install (it will be installed to /usr/local/bin):
    sudo make install

To clean:
    make clean