| -rwxr-xr-x | 14547 | root |
root |
/usr/bin/pvs-sbcl
|
| -rwxr-xr-x | 3025 | root |
root |
/usr/bin/pvsio
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/bin
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/doc
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/emacs
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/lib
|
| -rw-r--r-- | 2768 | root |
root |
/usr/lib/pvs/pvs-tex.sub
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/wish
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/bin/ix86-Linux
|
| -rwxr-xr-x | 1907 | root |
root |
/usr/lib/pvs/bin/pvs-platform
|
| -rwxr-xr-x | 1278 | root |
root |
/usr/lib/pvs/bin/tar-b64-mail
|
| -rwxr-xr-x | 3730 | root |
root |
/usr/lib/pvs/bin/tarmail
|
| -rwxr-xr-x | 4164 | root |
root |
/usr/lib/pvs/bin/untarmail
|
| -rwxr-xr-x | 7344 | root |
root |
/usr/lib/pvs/bin/ix86-Linux/b64
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/bin/ix86-Linux/runtime
|
| -rw-r--r-- | 15824 | root |
root |
/usr/lib/pvs/bin/ix86-Linux/runtime/bdd-sbcl.lisp
|
| -rw-r--r-- | 85134 | root |
root |
/usr/lib/pvs/bin/ix86-Linux/runtime/bdd-sbcl.x86s
|
| -rw-r--r-- | 9780 | root |
root |
/usr/lib/pvs/bin/ix86-Linux/runtime/dfa-foreign-sbcl.lisp
|
| -rw-r--r-- | 59679 | root |
root |
/usr/lib/pvs/bin/ix86-Linux/runtime/dfa-foreign-sbcl.x86s
|
| -rw-r--r-- | 7943 | root |
root |
/usr/lib/pvs/bin/ix86-Linux/runtime/mu-sbcl.lisp
|
| -rw-r--r-- | 49681 | root |
root |
/usr/lib/pvs/bin/ix86-Linux/runtime/mu-sbcl.x86s
|
| -rwxr-xr-x | 174436 | root |
root |
/usr/lib/pvs/bin/ix86-Linux/runtime/mu.so
|
| -rw-r--r-- | 94019612 | root |
root |
/usr/lib/pvs/bin/ix86-Linux/runtime/pvs-sbclisp
|
| -rwxr-xr-x | 7084 | root |
root |
/usr/lib/pvs/bin/ix86-Linux/runtime/ws1s.so
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/doc/release-notes
|
| -rw-r--r-- | 97095 | root |
root |
/usr/lib/pvs/doc/release-notes/pvs-release-notes.info
|
| -rw-r--r-- | 707 | root |
root |
/usr/lib/pvs/emacs/README
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/emacs/emacs-src
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/emacs/emacs23
|
| -rw-r--r-- | 2855 | root |
root |
/usr/lib/pvs/emacs/go-pvs.el
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/emacs/xemacs21
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp
|
| -rw-r--r-- | 39469 | root |
root |
/usr/lib/pvs/emacs/emacs-src/newcomment.el
|
| -rw-r--r-- | 5881 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-abbreviations.el
|
| -rw-r--r-- | 21015 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-browser.el
|
| -rw-r--r-- | 3590 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-byte-compile.el
|
| -rw-r--r-- | 68544 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-cmds.el
|
| -rw-r--r-- | 2863 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-eval.el
|
| -rw-r--r-- | 9697 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-file-list.el
|
| -rw-r--r-- | 51147 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-ilisp.el
|
| -rw-r--r-- | 12700 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-load.el
|
| -rw-r--r-- | 2909 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-macros.el
|
| -rw-r--r-- | 18834 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-menu.el
|
| -rw-r--r-- | 16482 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-mode.el
|
| -rw-r--r-- | 4550 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-prelude-files-and-regions.el
|
| -rw-r--r-- | 21778 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-print.el
|
| -rw-r--r-- | 37454 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-prover-helps.el
|
| -rw-r--r-- | 89110 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-prover.el
|
| -rw-r--r-- | 4451 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-pvsio.el
|
| -rw-r--r-- | 2371 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-set-prelude-info.el
|
| -rw-r--r-- | 9098 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-tcl.el
|
| -rw-r--r-- | 66980 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-utils.el
|
| -rw-r--r-- | 3568 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs-view.el
|
| -rw-r--r-- | 49097 | root |
root |
/usr/lib/pvs/emacs/emacs-src/pvs.xpm
|
| -rw-r--r-- | 69324 | root |
root |
/usr/lib/pvs/emacs/emacs-src/tcl.el
|
| -rw-r--r-- | 1271 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ACKNOWLEDGMENTS
|
| -rw-r--r-- | 3883 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/COPYING
|
| -rw-r--r-- | 28144 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/HISTORY
|
| -rw-r--r-- | 34818 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/comint-ipc.el
|
| -rw-r--r-- | 39716 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/completer.el
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/docs
|
| -rw-r--r-- | 2646 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilcompat.el
|
| -rw-r--r-- | 2143 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilfsf18.el
|
| -rw-r--r-- | 1405 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilfsf19.el
|
| -rw-r--r-- | 1345 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilfsf20.el
|
| -rw-r--r-- | 3396 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-acl.el
|
| -rw-r--r-- | 1503 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-aut.el
|
| -rw-r--r-- | 4296 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-bat.el
|
| -rw-r--r-- | 4013 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-chs.el
|
| -rw-r--r-- | 8936 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-cl-easy-menu.el
|
| -rw-r--r-- | 4433 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-cl.el
|
| -rw-r--r-- | 12785 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-cmp.el
|
| -rw-r--r-- | 2350 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-cmt.el
|
| -rw-r--r-- | 3587 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-cmu.el
|
| -rw-r--r-- | 18328 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-def.el
|
| -rw-r--r-- | 7716 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-dia.el
|
| -rw-r--r-- | 21290 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-doc.el
|
| -rw-r--r-- | 16697 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-ext.el
|
| -rw-r--r-- | 28187 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-hi.el
|
| -rw-r--r-- | 2755 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-hnd.el
|
| -rw-r--r-- | 7875 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-imenu.el
|
| -rw-r--r-- | 1080 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-ind.el
|
| -rw-r--r-- | 980 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-inp.el
|
| -rw-r--r-- | 13158 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-key.el
|
| -rw-r--r-- | 2217 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-kil.el
|
| -rw-r--r-- | 3734 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-low.el
|
| -rw-r--r-- | 1884 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-menu.el
|
| -rw-r--r-- | 5232 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-mnb.el
|
| -rw-r--r-- | 5426 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-mod.el
|
| -rw-r--r-- | 6189 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-mov.el
|
| -rw-r--r-- | 18280 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-out.el
|
| -rw-r--r-- | 1781 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-prc.el
|
| -rw-r--r-- | 2718 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-prn.el
|
| -rw-r--r-- | 1477 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-rng.el
|
| -rw-r--r-- | 7099 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-sbcl.el
|
| -rw-r--r-- | 23532 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-snd.el
|
| -rw-r--r-- | 23766 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-src.el
|
| -rw-r--r-- | 1331 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-sym.el
|
| -rw-r--r-- | 3869 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-utl.el
|
| -rw-r--r-- | 945 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-val.el
|
| -rw-r--r-- | 4931 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-xfr.el
|
| -rw-r--r-- | 850 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-xls.el
|
| -rw-r--r-- | 7259 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp.el
|
| -rw-r--r-- | 1800 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/illuc19.el
|
| -rw-r--r-- | 2117 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/ilxemacs.el
|
| -rw-r--r-- | 83686 | root |
root |
/usr/lib/pvs/emacs/emacs-src/ilisp/docs/ilisp.texi
|
| lrwxrwxrwx | 32 | root |
root |
/usr/lib/pvs/emacs/emacs23/comint-ipc.el
|
| -rw-r--r-- | 23475 | root |
root |
/usr/lib/pvs/emacs/emacs23/comint-ipc.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/completer.el
|
| -rw-r--r-- | 25992 | root |
root |
/usr/lib/pvs/emacs/emacs23/completer.elc
|
| lrwxrwxrwx | 30 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilcompat.el
|
| -rw-r--r-- | 1839 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilcompat.elc
|
| lrwxrwxrwx | 29 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilfsf18.el
|
| lrwxrwxrwx | 29 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilfsf19.el
|
| lrwxrwxrwx | 29 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilfsf20.el
|
| -rw-r--r-- | 1528 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilfsf20.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-acl.el
|
| -rw-r--r-- | 2998 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-acl.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-aut.el
|
| -rw-r--r-- | 1845 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-aut.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-bat.el
|
| -rw-r--r-- | 3597 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-bat.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-chs.el
|
| -rw-r--r-- | 3028 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-chs.elc
|
| lrwxrwxrwx | 40 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-cl-easy-menu.el
|
| -rw-r--r-- | 5283 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-cl-easy-menu.elc
|
| lrwxrwxrwx | 30 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-cl.el
|
| -rw-r--r-- | 4446 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-cl.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-cmp.el
|
| -rw-r--r-- | 10613 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-cmp.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-cmt.el
|
| -rw-r--r-- | 2172 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-cmt.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-cmu.el
|
| -rw-r--r-- | 3561 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-cmu.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-def.el
|
| -rw-r--r-- | 21559 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-def.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-dia.el
|
| -rw-r--r-- | 4447 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-dia.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-doc.el
|
| -rw-r--r-- | 21926 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-doc.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-ext.el
|
| -rw-r--r-- | 8749 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-ext.elc
|
| lrwxrwxrwx | 30 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-hi.el
|
| -rw-r--r-- | 20555 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-hi.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-hnd.el
|
| -rw-r--r-- | 2439 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-hnd.elc
|
| lrwxrwxrwx | 33 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-imenu.el
|
| -rw-r--r-- | 5845 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-imenu.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-ind.el
|
| -rw-r--r-- | 1129 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-ind.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-inp.el
|
| -rw-r--r-- | 1036 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-inp.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-key.el
|
| -rw-r--r-- | 7480 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-key.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-kil.el
|
| -rw-r--r-- | 2394 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-kil.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-low.el
|
| -rw-r--r-- | 2654 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-low.elc
|
| lrwxrwxrwx | 32 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-menu.el
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-mnb.el
|
| -rw-r--r-- | 3078 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-mnb.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-mod.el
|
| -rw-r--r-- | 4018 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-mod.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-mov.el
|
| -rw-r--r-- | 4920 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-mov.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-out.el
|
| -rw-r--r-- | 11922 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-out.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-prc.el
|
| -rw-r--r-- | 1712 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-prc.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-prn.el
|
| -rw-r--r-- | 2452 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-prn.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-rng.el
|
| -rw-r--r-- | 1475 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-rng.elc
|
| lrwxrwxrwx | 32 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-sbcl.el
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-snd.el
|
| -rw-r--r-- | 16646 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-snd.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-src.el
|
| -rw-r--r-- | 19880 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-src.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-sym.el
|
| -rw-r--r-- | 1289 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-sym.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-utl.el
|
| -rw-r--r-- | 2949 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-utl.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-val.el
|
| -rw-r--r-- | 1058 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-val.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-xfr.el
|
| -rw-r--r-- | 4015 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-xfr.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-xls.el
|
| -rw-r--r-- | 2190 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp-xls.elc
|
| lrwxrwxrwx | 27 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp.el
|
| -rw-r--r-- | 2112 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilisp.elc
|
| lrwxrwxrwx | 29 | root |
root |
/usr/lib/pvs/emacs/emacs23/illuc19.el
|
| lrwxrwxrwx | 30 | root |
root |
/usr/lib/pvs/emacs/emacs23/ilxemacs.el
|
| lrwxrwxrwx | 26 | root |
root |
/usr/lib/pvs/emacs/emacs23/newcomment.el
|
| -rw-r--r-- | 26172 | root |
root |
/usr/lib/pvs/emacs/emacs23/newcomment.elc
|
| lrwxrwxrwx | 33 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-abbreviations.el
|
| -rw-r--r-- | 5117 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-abbreviations.elc
|
| lrwxrwxrwx | 27 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-browser.el
|
| -rw-r--r-- | 18760 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-browser.elc
|
| lrwxrwxrwx | 32 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-byte-compile.el
|
| -rw-r--r-- | 2214 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-byte-compile.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-cmds.el
|
| -rw-r--r-- | 63500 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-cmds.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-eval.el
|
| -rw-r--r-- | 2594 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-eval.elc
|
| lrwxrwxrwx | 29 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-file-list.el
|
| -rw-r--r-- | 8116 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-file-list.elc
|
| lrwxrwxrwx | 25 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-ilisp.el
|
| -rw-r--r-- | 39194 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-ilisp.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-load.el
|
| -rw-r--r-- | 9913 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-load.elc
|
| lrwxrwxrwx | 26 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-macros.el
|
| -rw-r--r-- | 1219 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-macros.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-menu.el
|
| -rw-r--r-- | 14370 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-menu.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-mode.el
|
| -rw-r--r-- | 12671 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-mode.elc
|
| lrwxrwxrwx | 45 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-prelude-files-and-regions.el
|
| -rw-r--r-- | 5152 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-prelude-files-and-regions.elc
|
| lrwxrwxrwx | 25 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-print.el
|
| -rw-r--r-- | 18994 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-print.elc
|
| lrwxrwxrwx | 32 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-prover-helps.el
|
| -rw-r--r-- | 32499 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-prover-helps.elc
|
| lrwxrwxrwx | 26 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-prover.el
|
| -rw-r--r-- | 85419 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-prover.elc
|
| lrwxrwxrwx | 25 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-pvsio.el
|
| -rw-r--r-- | 5180 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-pvsio.elc
|
| lrwxrwxrwx | 36 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-set-prelude-info.el
|
| -rw-r--r-- | 1802 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-set-prelude-info.elc
|
| lrwxrwxrwx | 23 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-tcl.el
|
| -rw-r--r-- | 6276 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-tcl.elc
|
| lrwxrwxrwx | 25 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-utils.el
|
| -rw-r--r-- | 50679 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-utils.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-view.el
|
| -rw-r--r-- | 2373 | root |
root |
/usr/lib/pvs/emacs/emacs23/pvs-view.elc
|
| lrwxrwxrwx | 19 | root |
root |
/usr/lib/pvs/emacs/emacs23/tcl.el
|
| -rw-r--r-- | 45156 | root |
root |
/usr/lib/pvs/emacs/emacs23/tcl.elc
|
| lrwxrwxrwx | 32 | root |
root |
/usr/lib/pvs/emacs/xemacs21/comint-ipc.el
|
| -rw-r--r-- | 20551 | root |
root |
/usr/lib/pvs/emacs/xemacs21/comint-ipc.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/completer.el
|
| -rw-r--r-- | 22223 | root |
root |
/usr/lib/pvs/emacs/xemacs21/completer.elc
|
| lrwxrwxrwx | 30 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilcompat.el
|
| -rw-r--r-- | 1614 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilcompat.elc
|
| lrwxrwxrwx | 29 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilfsf18.el
|
| lrwxrwxrwx | 29 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilfsf19.el
|
| lrwxrwxrwx | 29 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilfsf20.el
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-acl.el
|
| -rw-r--r-- | 2789 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-acl.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-aut.el
|
| -rw-r--r-- | 1900 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-aut.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-bat.el
|
| -rw-r--r-- | 3214 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-bat.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-chs.el
|
| -rw-r--r-- | 2786 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-chs.elc
|
| lrwxrwxrwx | 40 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-cl-easy-menu.el
|
| -rw-r--r-- | 5001 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-cl-easy-menu.elc
|
| lrwxrwxrwx | 30 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-cl.el
|
| -rw-r--r-- | 4261 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-cl.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-cmp.el
|
| -rw-r--r-- | 9391 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-cmp.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-cmt.el
|
| -rw-r--r-- | 2002 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-cmt.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-cmu.el
|
| -rw-r--r-- | 3347 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-cmu.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-def.el
|
| -rw-r--r-- | 21636 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-def.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-dia.el
|
| -rw-r--r-- | 4018 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-dia.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-doc.el
|
| -rw-r--r-- | 21900 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-doc.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-ext.el
|
| -rw-r--r-- | 7068 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-ext.elc
|
| lrwxrwxrwx | 30 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-hi.el
|
| -rw-r--r-- | 17548 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-hi.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-hnd.el
|
| -rw-r--r-- | 2088 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-hnd.elc
|
| lrwxrwxrwx | 33 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-imenu.el
|
| -rw-r--r-- | 5240 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-imenu.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-ind.el
|
| -rw-r--r-- | 1139 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-ind.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-inp.el
|
| -rw-r--r-- | 1010 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-inp.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-key.el
|
| -rw-r--r-- | 5936 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-key.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-kil.el
|
| -rw-r--r-- | 2202 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-kil.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-low.el
|
| -rw-r--r-- | 2324 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-low.elc
|
| lrwxrwxrwx | 32 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-menu.el
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-mnb.el
|
| -rw-r--r-- | 2609 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-mnb.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-mod.el
|
| -rw-r--r-- | 3567 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-mod.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-mov.el
|
| -rw-r--r-- | 4175 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-mov.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-out.el
|
| -rw-r--r-- | 10788 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-out.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-prc.el
|
| -rw-r--r-- | 1639 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-prc.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-prn.el
|
| -rw-r--r-- | 2228 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-prn.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-rng.el
|
| -rw-r--r-- | 1394 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-rng.elc
|
| lrwxrwxrwx | 32 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-sbcl.el
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-snd.el
|
| -rw-r--r-- | 14221 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-snd.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-src.el
|
| -rw-r--r-- | 17394 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-src.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-sym.el
|
| -rw-r--r-- | 1277 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-sym.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-utl.el
|
| -rw-r--r-- | 2659 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-utl.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-val.el
|
| -rw-r--r-- | 1065 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-val.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-xfr.el
|
| -rw-r--r-- | 3619 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-xfr.elc
|
| lrwxrwxrwx | 31 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-xls.el
|
| -rw-r--r-- | 2100 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp-xls.elc
|
| lrwxrwxrwx | 27 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp.el
|
| -rw-r--r-- | 1641 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilisp.elc
|
| lrwxrwxrwx | 29 | root |
root |
/usr/lib/pvs/emacs/xemacs21/illuc19.el
|
| lrwxrwxrwx | 30 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilxemacs.el
|
| -rw-r--r-- | 1874 | root |
root |
/usr/lib/pvs/emacs/xemacs21/ilxemacs.elc
|
| lrwxrwxrwx | 26 | root |
root |
/usr/lib/pvs/emacs/xemacs21/newcomment.el
|
| -rw-r--r-- | 21736 | root |
root |
/usr/lib/pvs/emacs/xemacs21/newcomment.elc
|
| lrwxrwxrwx | 33 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-abbreviations.el
|
| -rw-r--r-- | 3763 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-abbreviations.elc
|
| lrwxrwxrwx | 27 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-browser.el
|
| -rw-r--r-- | 16880 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-browser.elc
|
| lrwxrwxrwx | 32 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-byte-compile.el
|
| -rw-r--r-- | 2048 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-byte-compile.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-cmds.el
|
| -rw-r--r-- | 56263 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-cmds.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-eval.el
|
| -rw-r--r-- | 2340 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-eval.elc
|
| lrwxrwxrwx | 29 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-file-list.el
|
| -rw-r--r-- | 6992 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-file-list.elc
|
| lrwxrwxrwx | 25 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-ilisp.el
|
| -rw-r--r-- | 29644 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-ilisp.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-load.el
|
| -rw-r--r-- | 8272 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-load.elc
|
| lrwxrwxrwx | 26 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-macros.el
|
| -rw-r--r-- | 2162 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-macros.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-menu.el
|
| -rw-r--r-- | 12294 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-menu.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-mode.el
|
| -rw-r--r-- | 10434 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-mode.elc
|
| lrwxrwxrwx | 45 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-prelude-files-and-regions.el
|
| -rw-r--r-- | 5180 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-prelude-files-and-regions.elc
|
| lrwxrwxrwx | 25 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-print.el
|
| -rw-r--r-- | 17400 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-print.elc
|
| lrwxrwxrwx | 32 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-prover-helps.el
|
| -rw-r--r-- | 28409 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-prover-helps.elc
|
| lrwxrwxrwx | 26 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-prover.el
|
| -rw-r--r-- | 75930 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-prover.elc
|
| lrwxrwxrwx | 25 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-pvsio.el
|
| -rw-r--r-- | 4703 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-pvsio.elc
|
| lrwxrwxrwx | 36 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-set-prelude-info.el
|
| -rw-r--r-- | 1607 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-set-prelude-info.elc
|
| lrwxrwxrwx | 23 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-tcl.el
|
| -rw-r--r-- | 5237 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-tcl.elc
|
| lrwxrwxrwx | 25 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-utils.el
|
| -rw-r--r-- | 41354 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-utils.elc
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-view.el
|
| -rw-r--r-- | 2046 | root |
root |
/usr/lib/pvs/emacs/xemacs21/pvs-view.elc
|
| lrwxrwxrwx | 19 | root |
root |
/usr/lib/pvs/emacs/xemacs21/tcl.el
|
| -rw-r--r-- | 39469 | root |
root |
/usr/lib/pvs/emacs/xemacs21/tcl.elc
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/lib/PVSio
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/lib/bitvectors
|
| -rw-r--r-- | 3181 | root |
root |
/usr/lib/pvs/lib/character_adt.pvs
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/lib/finite_sets
|
| -rw-r--r-- | 4284 | root |
root |
/usr/lib/pvs/lib/lift_adt.pvs
|
| -rw-r--r-- | 5805 | root |
root |
/usr/lib/pvs/lib/list_adt.pvs
|
| -rw-r--r-- | 4813 | root |
root |
/usr/lib/pvs/lib/ordstruct_adt.pvs
|
| -rw-r--r-- | 1575592 | root |
root |
/usr/lib/pvs/lib/prelude.prf
|
| -rw-r--r-- | 181201 | root |
root |
/usr/lib/pvs/lib/prelude.pvs
|
| -rw-r--r-- | 12209 | root |
root |
/usr/lib/pvs/lib/pvs-language.help
|
| -rw-r--r-- | 7374 | root |
root |
/usr/lib/pvs/lib/pvs-prover.help
|
| -rw-r--r-- | 1191 | root |
root |
/usr/lib/pvs/lib/pvs-style.css
|
| -rw-r--r-- | 7246 | root |
root |
/usr/lib/pvs/lib/pvs.bnf
|
| -rw-r--r-- | 10193 | root |
root |
/usr/lib/pvs/lib/pvs.grammar
|
| -rw-r--r-- | 17656 | root |
root |
/usr/lib/pvs/lib/pvs.help
|
| -rw-r--r-- | 16215 | root |
root |
/usr/lib/pvs/lib/pvs.rnc
|
| -rw-r--r-- | 5381 | root |
root |
/usr/lib/pvs/lib/union_adt.pvs
|
| -rw-r--r-- | 13403 | root |
root |
/usr/lib/pvs/lib/PVSio/pvs-attachments
|
| -rw-r--r-- | 1531 | root |
root |
/usr/lib/pvs/lib/PVSio/pvsio-init.lisp
|
| -rw-r--r-- | 213 | root |
root |
/usr/lib/pvs/lib/PVSio/stdcatch.prf
|
| -rw-r--r-- | 1006 | root |
root |
/usr/lib/pvs/lib/PVSio/stdcatch.pvs
|
| -rw-r--r-- | 301 | root |
root |
/usr/lib/pvs/lib/PVSio/stdexc.pvs
|
| -rw-r--r-- | 1195 | root |
root |
/usr/lib/pvs/lib/PVSio/stdfmap.prf
|
| -rw-r--r-- | 1108 | root |
root |
/usr/lib/pvs/lib/PVSio/stdfmap.pvs
|
| -rw-r--r-- | 176 | root |
root |
/usr/lib/pvs/lib/PVSio/stdglobal.pvs
|
| -rw-r--r-- | 1288 | root |
root |
/usr/lib/pvs/lib/PVSio/stdindent.pvs
|
| -rw-r--r-- | 2496 | root |
root |
/usr/lib/pvs/lib/PVSio/stdio.prf
|
| -rw-r--r-- | 7366 | root |
root |
/usr/lib/pvs/lib/PVSio/stdio.pvs
|
| -rw-r--r-- | 465 | root |
root |
/usr/lib/pvs/lib/PVSio/stdlang.pvs
|
| -rw-r--r-- | 14371 | root |
root |
/usr/lib/pvs/lib/PVSio/stdmath.prf
|
| -rw-r--r-- | 1672 | root |
root |
/usr/lib/pvs/lib/PVSio/stdmath.pvs
|
| -rw-r--r-- | 1368 | root |
root |
/usr/lib/pvs/lib/PVSio/stdprog.pvs
|
| -rw-r--r-- | 342 | root |
root |
/usr/lib/pvs/lib/PVSio/stdpvs.pvs
|
| -rw-r--r-- | 241 | root |
root |
/usr/lib/pvs/lib/PVSio/stdpvsio.pvs
|
| -rw-r--r-- | 1032 | root |
root |
/usr/lib/pvs/lib/PVSio/stdstr.prf
|
| -rw-r--r-- | 2970 | root |
root |
/usr/lib/pvs/lib/PVSio/stdstr.pvs
|
| -rw-r--r-- | 1940 | root |
root |
/usr/lib/pvs/lib/PVSio/stdsys.pvs
|
| -rw-r--r-- | 7708 | root |
root |
/usr/lib/pvs/lib/PVSio/stdtokenizer.prf
|
| -rw-r--r-- | 8419 | root |
root |
/usr/lib/pvs/lib/PVSio/stdtokenizer.pvs
|
| -rw-r--r-- | 727 | root |
root |
/usr/lib/pvs/lib/PVSio/top.pvs
|
| -rw-r--r-- | 104305 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorMultiplication.prf
|
| -rw-r--r-- | 6188 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorMultiplication.pvs
|
| -rw-r--r-- | 44499 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorMultiplicationWidenNarrow.prf
|
| -rw-r--r-- | 3202 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorMultiplicationWidenNarrow.pvs
|
| -rw-r--r-- | 311850 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorOneComplementDivision.prf
|
| -rw-r--r-- | 10229 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorOneComplementDivision.pvs
|
| -rw-r--r-- | 72975 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorTwoComplementDivision.prf
|
| -rw-r--r-- | 7587 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorTwoComplementDivision.pvs
|
| -rw-r--r-- | 71343 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorTwoComplementDivisionWidenNarrow.prf
|
| -rw-r--r-- | 1439 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorTwoComplementDivisionWidenNarrow.pvs
|
| -rw-r--r-- | 84761 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorUtil.prf
|
| -rw-r--r-- | 5810 | root |
root |
/usr/lib/pvs/lib/bitvectors/BitvectorUtil.pvs
|
| -rw-r--r-- | 13049 | root |
root |
/usr/lib/pvs/lib/bitvectors/DivisionUtil.prf
|
| -rw-r--r-- | 771 | root |
root |
/usr/lib/pvs/lib/bitvectors/DivisionUtil.pvs
|
| -rw-r--r-- | 15531 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_adder.prf
|
| -rw-r--r-- | 2963 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_adder.pvs
|
| -rw-r--r-- | 48750 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_caret.prf
|
| -rw-r--r-- | 1482 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_caret.pvs
|
| -rw-r--r-- | 1212 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_caret_concat_rules.prf
|
| -rw-r--r-- | 564 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_caret_concat_rules.pvs
|
| -rw-r--r-- | 13846 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_caret_rules.prf
|
| -rw-r--r-- | 1024 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_caret_rules.pvs
|
| -rw-r--r-- | 12198 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_concat.prf
|
| -rw-r--r-- | 527 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_concat.pvs
|
| -rw-r--r-- | 9996 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_extend.prf
|
| -rw-r--r-- | 1156 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_extend.pvs
|
| -rw-r--r-- | 39535 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_int_caret.prf
|
| -rw-r--r-- | 2240 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_int_caret.pvs
|
| -rw-r--r-- | 2234 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_int_concat.prf
|
| -rw-r--r-- | 445 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_int_concat.pvs
|
| -rw-r--r-- | 8525 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_int_rules.prf
|
| -rw-r--r-- | 1526 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_int_rules.pvs
|
| -rw-r--r-- | 21501 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_minus_rules.prf
|
| -rw-r--r-- | 1271 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_minus_rules.pvs
|
| -rw-r--r-- | 62978 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_nat.prf
|
| -rw-r--r-- | 5083 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_nat.pvs
|
| -rw-r--r-- | 10903 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_nat_caret_rules.prf
|
| -rw-r--r-- | 897 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_nat_caret_rules.pvs
|
| -rw-r--r-- | 20224 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_nat_rules.prf
|
| -rw-r--r-- | 2874 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_nat_rules.pvs
|
| -rw-r--r-- | 25011 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_rules.prf
|
| -rw-r--r-- | 2423 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arith_rules.pvs
|
| -rw-r--r-- | 46042 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arithmetic.prf
|
| -rw-r--r-- | 3731 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_arithmetic.pvs
|
| -rw-r--r-- | 24183 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_bitwise_rules.prf
|
| -rw-r--r-- | 3023 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_bitwise_rules.pvs
|
| -rw-r--r-- | 1365 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_caret_bitwise.prf
|
| -rw-r--r-- | 817 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_caret_bitwise.pvs
|
| -rw-r--r-- | 11917 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_caret_bitwise_rules.prf
|
| -rw-r--r-- | 1702 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_caret_bitwise_rules.pvs
|
| -rw-r--r-- | 27822 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_caret_concat.prf
|
| -rw-r--r-- | 1544 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_caret_concat.pvs
|
| -rw-r--r-- | 34108 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_caret_concat_rules.prf
|
| -rw-r--r-- | 1744 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_caret_concat_rules.pvs
|
| -rw-r--r-- | 18350 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_caret_rules.prf
|
| -rw-r--r-- | 1237 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_caret_rules.pvs
|
| -rw-r--r-- | 9427 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_concat.prf
|
| -rw-r--r-- | 1373 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_concat.pvs
|
| -rw-r--r-- | 7886 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_concat_rules.prf
|
| -rw-r--r-- | 1258 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_concat_rules.pvs
|
| -rw-r--r-- | 21127 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_constants.prf
|
| -rw-r--r-- | 2269 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_constants.pvs
|
| -rw-r--r-- | 3732 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_core.pvs
|
| -rw-r--r-- | 1314 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_extend.prf
|
| -rw-r--r-- | 2749 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_extend.pvs
|
| -rw-r--r-- | 8195 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_fract.prf
|
| -rw-r--r-- | 1587 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_fract.pvs
|
| -rw-r--r-- | 29941 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_int.prf
|
| -rw-r--r-- | 2612 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_int.pvs
|
| -rw-r--r-- | 438099 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_mult_div_rem.prf
|
| -rw-r--r-- | 713 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_mult_div_rem.pvs
|
| -rw-r--r-- | 9244 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_nat_rules.prf
|
| -rw-r--r-- | 780 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_nat_rules.pvs
|
| -rw-r--r-- | 1738 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_notes.pvs
|
| -rw-r--r-- | 19077 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_overflow.prf
|
| -rw-r--r-- | 1985 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_overflow.pvs
|
| -rw-r--r-- | 20601 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_rotate.prf
|
| -rw-r--r-- | 1383 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_rotate.pvs
|
| -rw-r--r-- | 2768 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_rules.pvs
|
| -rw-r--r-- | 3778 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_shift.prf
|
| -rw-r--r-- | 1712 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_shift.pvs
|
| -rw-r--r-- | 4046 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_sum.prf
|
| -rw-r--r-- | 832 | root |
root |
/usr/lib/pvs/lib/bitvectors/bv_sum.pvs
|
| -rw-r--r-- | 12478 | root |
root |
/usr/lib/pvs/lib/bitvectors/div.prf
|
| -rw-r--r-- | 772 | root |
root |
/usr/lib/pvs/lib/bitvectors/div.pvs
|
| -rw-r--r-- | 20877 | root |
root |
/usr/lib/pvs/lib/bitvectors/mod_rules.prf
|
| -rw-r--r-- | 1508 | root |
root |
/usr/lib/pvs/lib/bitvectors/mod_rules.pvs
|
| -rw-r--r-- | 8405 | root |
root |
/usr/lib/pvs/lib/bitvectors/sums.prf
|
| -rw-r--r-- | 1608 | root |
root |
/usr/lib/pvs/lib/bitvectors/sums.pvs
|
| -rw-r--r-- | 1146 | root |
root |
/usr/lib/pvs/lib/bitvectors/top.pvs
|
| -rw-r--r-- | 3463 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_cross.prf
|
| -rw-r--r-- | 347 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_cross.pvs
|
| -rw-r--r-- | 18153 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_below.prf
|
| -rw-r--r-- | 630 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_below.pvs
|
| -rw-r--r-- | 11320 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_card_eq.prf
|
| -rw-r--r-- | 1260 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_card_eq.pvs
|
| -rw-r--r-- | 7450 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_eq.prf
|
| -rw-r--r-- | 1122 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_eq.pvs
|
| -rw-r--r-- | 15183 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_inductions.prf
|
| -rw-r--r-- | 1918 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_inductions.pvs
|
| -rw-r--r-- | 19279 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_int.prf
|
| -rw-r--r-- | 1060 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_int.pvs
|
| -rw-r--r-- | 31111 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_minmax.prf
|
| -rw-r--r-- | 1512 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_minmax.pvs
|
| -rw-r--r-- | 2913 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_minmax_props.prf
|
| -rw-r--r-- | 617 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_minmax_props.pvs
|
| -rw-r--r-- | 25095 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_nat.prf
|
| -rw-r--r-- | 1248 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_nat.pvs
|
| -rw-r--r-- | 3299 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_pred.prf
|
| -rw-r--r-- | 393 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_pred.pvs
|
| -rw-r--r-- | 21026 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_sum.prf
|
| -rw-r--r-- | 2759 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_sum.pvs
|
| -rw-r--r-- | 49204 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_sum_real.prf
|
| -rw-r--r-- | 4181 | root |
root |
/usr/lib/pvs/lib/finite_sets/finite_sets_sum_real.pvs
|
| -rw-r--r-- | 4320 | root |
root |
/usr/lib/pvs/lib/finite_sets/func_composition.prf
|
| -rw-r--r-- | 1461 | root |
root |
/usr/lib/pvs/lib/finite_sets/func_composition.pvs
|
| -rw-r--r-- | 1316 | root |
root |
/usr/lib/pvs/lib/finite_sets/prelude_aux.prf
|
| -rw-r--r-- | 224 | root |
root |
/usr/lib/pvs/lib/finite_sets/prelude_aux.pvs
|
| -rw-r--r-- | 104 | root |
root |
/usr/lib/pvs/lib/finite_sets/top.prf
|
| -rw-r--r-- | 2295 | root |
root |
/usr/lib/pvs/lib/finite_sets/top.pvs
|
| -rw-r--r-- | 87 | root |
root |
/usr/lib/pvs/wish/gray.xbm
|
| -rw-r--r-- | 60224 | root |
root |
/usr/lib/pvs/wish/pvs-support.tcl
|
| -rw-r--r-- | 293 | root |
root |
/usr/lib/pvs/wish/sequent.xbm
|
| -rw-r--r-- | 271 | root |
root |
/usr/share/applications/pvs-sbcl.desktop
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/pvs-sbcl-4.2
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/Examples
|
| -rw-r--r-- | 17987 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/LICENSE
|
| -rw-r--r-- | 2150 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/NOTICES
|
| -rw-r--r-- | 305779 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/PVSio-2.d.pdf
|
| -rw-r--r-- | 475 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/README
|
| -rw-rw-r-- | 94825 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/csl-93-9.ps.gz
|
| -rw-rw-r-- | 188705 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/csl-97-2.ps.gz
|
| -rw-rw-r-- | 118861 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/interpretations.pdf
|
| -rw-r--r-- | 729763 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/language.pdf
|
| -rw-r--r-- | 929627 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/prover.pdf
|
| -rw-r--r-- | 898868 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/pvs-api.pdf
|
| -rw-rw-r-- | 303145 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/pvs-prelude.pdf
|
| -rw-r--r-- | 256955 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/pvs-release-notes.pdf
|
| -rw-r--r-- | 255 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/Examples/README
|
| -rw-r--r-- | 420 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/Examples/ackerman.pvs
|
| -rw-r--r-- | 253 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/Examples/f91.pvs
|
| -rw-r--r-- | 418 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/Examples/groups.pvs
|
| -rw-r--r-- | 113 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/Examples/stack.pvs
|
| -rw-r--r-- | 531 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/Examples/stacks.pvs
|
| -rw-r--r-- | 175 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/Examples/sum.pvs
|
| -rw-r--r-- | 463 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/Examples/sum2.pvs
|
| -rw-r--r-- | 140 | root |
root |
/usr/share/doc/pvs-sbcl-4.2/Examples/ustacks.pvs
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf/tex/latex/pvs
|
| -rw-r--r-- | 2208 | root |
root |
/usr/share/texmf/tex/latex/pvs/pvs.sty
|
