Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Fedora > 14 > x86_64 > by-pkgid > 9e1fb72793bc4fef304ac75057990400 > files

mona-examples-1.4r13-3.fc12.x86_64.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

Files

-rwxr-xr-x	5188	root	root	/usr/bin/bdd_example
-rwxr-xr-x	5397	root	root	/usr/bin/gta_example
-rwxr-xr-x	5437	root	root	/usr/bin/presburger_analysis
-rwxr-xr-x	5457	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