Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Fedora
>
14
>
i386
>
media
>
os
>
by-pkgid
>
82fd9b269626f061cba7fd7312c488ec
>
files
mona-examples-1.4r13-3.fc12.i686.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse
Files
-rwxr-xr-x
5226
root
root
/usr/bin/bdd_example
-rwxr-xr-x
5435
root
root
/usr/bin/gta_example
-rwxr-xr-x
5475
root
root
/usr/bin/presburger_analysis
-rwxr-xr-x
5495
root
root
/usr/bin/presburger_transduction
drwxr-xr-x
4096
root
root
/usr/share/doc/mona-examples-1.4r13
-rw-r--r--
205
root
root
/usr/share/doc/mona-examples-1.4r13/ab1.mona
-rw-r--r--
290
root
root
/usr/share/doc/mona-examples-1.4r13/ab2.mona
-rw-r--r--
1677
root
root
/usr/share/doc/mona-examples-1.4r13/bdd_volatility
-rw-r--r--
237
root
root
/usr/share/doc/mona-examples-1.4r13/even.mona
-rw-r--r--
264
root
root
/usr/share/doc/mona-examples-1.4r13/even_with_assert.mona
-rw-r--r--
250
root
root
/usr/share/doc/mona-examples-1.4r13/even_with_pred.mona
-rw-r--r--
11131
root
root
/usr/share/doc/mona-examples-1.4r13/html.mona
-rw-r--r--
4278
root
root
/usr/share/doc/mona-examples-1.4r13/hyman.mona
-rw-r--r--
2089
root
root
/usr/share/doc/mona-examples-1.4r13/lossy_queue.mona
-rw-r--r--
144
root
root
/usr/share/doc/mona-examples-1.4r13/minusmodulo.mona
-rw-r--r--
3063
root
root
/usr/share/doc/mona-examples-1.4r13/nadder.mona
-rw-r--r--
177
root
root
/usr/share/doc/mona-examples-1.4r13/plusmodulo.mona
-rw-r--r--
964
root
root
/usr/share/doc/mona-examples-1.4r13/presburger.mona
-rw-r--r--
1673
root
root
/usr/share/doc/mona-examples-1.4r13/regexp.mona