K 25
svn:wc:ra_dav:version-url
V 63
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv
END
configure
K 25
svn:wc:ra_dav:version-url
V 73
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/configure
END
Makefile.in
K 25
svn:wc:ra_dav:version-url
V 75
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/Makefile.in
END
test-3.smv
K 25
svn:wc:ra_dav:version-url
V 74
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/test-3.smv
END
test.smv
K 25
svn:wc:ra_dav:version-url
V 72
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/test.smv
END
test-4.smv
K 25
svn:wc:ra_dav:version-url
V 74
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/test-4.smv
END
test-5.smv
K 25
svn:wc:ra_dav:version-url
V 74
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/test-5.smv
END
config.log
K 25
svn:wc:ra_dav:version-url
V 74
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/config.log
END
AUTHORS
K 25
svn:wc:ra_dav:version-url
V 71
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/AUTHORS
END
test-6.smv
K 25
svn:wc:ra_dav:version-url
V 74
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/test-6.smv
END
test-7.smv
K 25
svn:wc:ra_dav:version-url
V 74
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/test-7.smv
END
test-8.smv
K 25
svn:wc:ra_dav:version-url
V 74
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/test-8.smv
END
test-9.smv
K 25
svn:wc:ra_dav:version-url
V 74
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/test-9.smv
END
config.h
K 25
svn:wc:ra_dav:version-url
V 72
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/config.h
END
LGPL-2.1
K 25
svn:wc:ra_dav:version-url
V 72
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/LGPL-2.1
END
configure.ac
K 25
svn:wc:ra_dav:version-url
V 76
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/configure.ac
END
INSTALL
K 25
svn:wc:ra_dav:version-url
V 71
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/INSTALL
END
COPYING
K 25
svn:wc:ra_dav:version-url
V 71
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/COPYING
END
NEWS
K 25
svn:wc:ra_dav:version-url
V 68
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/NEWS
END
Makefile
K 25
svn:wc:ra_dav:version-url
V 72
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/Makefile
END
README_PLATFORMS
K 25
svn:wc:ra_dav:version-url
V 80
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/README_PLATFORMS
END
ChangeLog
K 25
svn:wc:ra_dav:version-url
V 73
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/ChangeLog
END
config.status
K 25
svn:wc:ra_dav:version-url
V 77
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/config.status
END
NuSMV.exe
K 25
svn:wc:ra_dav:version-url
V 73
/r/sfogarty/!svn/ver/277/research/subsumptive/NuSMV-2.5.0/nusmv/NuSMV.exe
END
stamp-h1
K 25
svn:wc:ra_dav:version-url
V 72
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/stamp-h1
END
README.zChaff
K 25
svn:wc:ra_dav:version-url
V 77
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/README.zChaff
END
README
K 25
svn:wc:ra_dav:version-url
V 70
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/README
END
README.MiniSat
K 25
svn:wc:ra_dav:version-url
V 78
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/README.MiniSat
END
config.h.in
K 25
svn:wc:ra_dav:version-url
V 75
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/config.h.in
END
test-10.smv
K 25
svn:wc:ra_dav:version-url
V 75
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/test-10.smv
END
libtool
K 25
svn:wc:ra_dav:version-url
V 71
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/libtool
END
acinclude.m4
K 25
svn:wc:ra_dav:version-url
V 76
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/acinclude.m4
END
nusmv-2.pc
K 25
svn:wc:ra_dav:version-url
V 74
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/nusmv-2.pc
END
Makefile.am
K 25
svn:wc:ra_dav:version-url
V 75
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/Makefile.am
END
nusmv-2.pc.in
K 25
svn:wc:ra_dav:version-url
V 77
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/nusmv-2.pc.in
END
new-s-r-1-f-1--1-of-2-NuSMV_model.smv
K 25
svn:wc:ra_dav:version-url
V 101
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/new-s-r-1-f-1--1-of-2-NuSMV_model.smv
END
aclocal.m4
K 25
svn:wc:ra_dav:version-url
V 74
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/aclocal.m4
END
