10

dir
274
https://svn.rice.edu/r/sfogarty/research/subsumptive/NuSMV-2.5.0/nusmv
https://svn.rice.edu/r/sfogarty



2011-08-09T20:00:21.187325Z
274
sfogarty














38a08120-4b33-46f9-9cc9-5bdd1c1b84f7

configure
file




2010-05-12T11:21:12.000000Z
afdb37d4e93bfde9172d61a2b34cf010
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















935092

Makefile.in
file




2010-05-12T11:21:17.000000Z
a89184367356d75fb242a2262944d4f7
2011-08-09T20:00:21.187325Z
274
sfogarty





















47684

test-3.smv
file




2011-08-09T22:46:40.476628Z
ab23b3ab7beb286971387d76730893a5
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















346

test.smv
file




2011-08-09T23:21:12.311130Z
5440b77760de3a8358bb2f03ee6f46df
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















4734

test-4.smv
file




2011-08-09T22:46:41.388680Z
57c04a52cc88170fc3c217e6ca4a659d
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















369

AUTHORS
file




2010-05-07T17:21:08.000000Z
d150d91c5d21f061ff7ebab64cbb195a
2011-08-09T20:00:21.187325Z
274
sfogarty





















554

config.log
file




2011-07-12T18:43:38.865498Z
96717408a5689dce83412c0994b5c5ff
2011-08-09T20:00:21.187325Z
274
sfogarty





















125420

test-5.smv
file




2011-08-09T22:46:42.210727Z
2278b5a3a89e32703444999cb9caf722
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















392

test-6.smv
file




2011-08-09T22:46:42.893766Z
2fddc8b629ca2f3e646d0a5296ab1c92
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















415

src
dir

test-7.smv
file




2011-08-09T22:46:43.802818Z
bf1bcd3e8f103acf23cc9f07596643ce
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















438

test-8.smv
file




2011-08-09T22:46:44.809876Z
40fa0c3e6f60dc1085d4df8df3eea4d4
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















461

test-9.smv
file




2011-08-09T23:06:25.279395Z
71bea515cf1591157b08e1df9dd88eba
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















484

config.h
file




2011-07-12T18:43:07.166242Z
ac77eeb85c672617e72d9c956b0d6107
2011-08-09T20:00:21.187325Z
274
sfogarty





















7750

LGPL-2.1
file




2010-05-07T17:21:08.000000Z
d8045f3b8f929c1cb29a1e3fd737b499
2011-08-09T20:00:21.187325Z
274
sfogarty





















26532

helpers
dir

share
dir

configure.ac
file




2010-05-12T11:20:33.000000Z
7ca509d2a9cc590917cfa13bbd56750b
2011-08-09T20:00:21.187325Z
274
sfogarty





















29500

doc
dir

INSTALL
file




2010-05-07T17:25:21.000000Z
cf8c4d1a5ab88db006c47ae2b51a6b30
2011-08-09T20:00:21.187325Z
274
sfogarty





















9498

COPYING
file




2010-05-07T17:21:08.000000Z
3c73685877101f986fc4c53a0432d998
2011-08-09T20:00:21.187325Z
274
sfogarty





















146

.deps
dir

NEWS
file




2010-05-17T13:59:45.000000Z
156cd4fc72f23afd5adc2e485536a558
2011-08-09T20:00:21.187325Z
274
sfogarty





















48542

Makefile
file




2011-07-14T17:21:28.080047Z
d9c391055a014e2bc863452781f6cead
2011-08-09T20:00:21.187325Z
274
sfogarty





















45809

README_PLATFORMS
file




2010-05-07T17:21:08.000000Z
1ce6ae910ed5577a62f2ea9ddc2493a8
2011-08-09T20:00:21.187325Z
274
sfogarty





















10839

ChangeLog
file




2010-05-17T14:18:48.000000Z
0b5ef8a97f11c11cd95e707e7034fc7d
2011-08-09T20:00:21.187325Z
274
sfogarty





















527145

config.status
file




2011-07-12T18:42:26.003724Z
62258322cfdfe0908d25095efbbd8371
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















42062

NuSMV.exe
file
277



2011-08-09T23:28:09.394986Z
916a9c0e2bd9077fa61d2e6c1fc5a4eb
2011-08-16T19:50:58.817624Z
277
sfogarty
has-props




















6451545

stamp-h1
file




2011-07-12T18:43:07.384643Z
91023a1d58d69b4916a8609882d782a8
2011-08-09T20:00:21.187325Z
274
sfogarty





















23

README.zChaff
file




2010-05-07T17:21:08.000000Z
fa02b39ad1c0bb6e2df5b66e79a21339
2011-08-09T20:00:21.187325Z
274
sfogarty





















1767

README
file




2010-05-10T14:17:46.000000Z
b885afaac240038944e8df48ab67d7be
2011-08-09T20:00:21.187325Z
274
sfogarty





















21149

README.MiniSat
file




2010-05-07T17:21:08.000000Z
c7b2ddcfc79bb7913d04f8a62930bcc9
2011-08-09T20:00:21.187325Z
274
sfogarty





















2777

config.h.in
file




2010-05-12T11:22:33.000000Z
554d14d6cc1bd352292cd91f0aa17914
2011-08-09T20:00:21.187325Z
274
sfogarty





















7259

contrib
dir

test-10.smv
file




2011-08-09T22:46:38.073490Z
fccfd6a64b46d564d5f28ba8a963fb67
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















509

libtool
file




2011-07-12T18:40:48.576460Z
626ccdd199e02ba2cc4b5c7a68ae8aa7
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















230141

acinclude.m4
file




2010-05-07T17:21:08.000000Z
95cf0071767cd8d93a3bb21950067394
2011-08-09T20:00:21.187325Z
274
sfogarty





















880

nusmv-2.pc
file




2011-07-12T18:43:06.776241Z
6ff910ba1b9eb996b466d640c5aef22a
2011-08-09T20:00:21.187325Z
274
sfogarty





















401

Makefile.am
file




2010-05-11T08:01:53.000000Z
f4a361fc804791a019dd7bdaa59c0d9f
2011-08-09T20:00:21.187325Z
274
sfogarty





















9014

nusmv-2.pc.in
file




2010-05-12T11:21:02.000000Z
90444cbaad4fbd87f57ce4b3da546924
2011-08-09T20:00:21.187325Z
274
sfogarty





















400

new-s-r-1-f-1--1-of-2-NuSMV_model.smv
file




2011-08-09T23:21:13.339189Z
9426fb08afbed7ff86970234e696b0d4
2011-08-09T20:00:21.187325Z
274
sfogarty
has-props




















419

aclocal.m4
file




2010-05-12T11:21:10.000000Z
5666dfd3f0d2c02c5124285d4b8c33eb
2011-08-09T20:00:21.187325Z
274
sfogarty





















263654

examples
dir

