| -rwxr-xr-x | 5914172 | root |
root |
/usr/bin/why3
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/00
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/06
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/08
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/23
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/2d
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/3c
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/45
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/50
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/60
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/67
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/8d
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/8e
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/a8
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/dd
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/e4
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/ef
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/f9
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/fd
|
| lrwxrwxrwx | 45 | root |
root |
/usr/lib/.build-id/00/47a257a09cfdc675a2279a1a1ce519a6e8c3cc
|
| lrwxrwxrwx | 47 | root |
root |
/usr/lib/.build-id/06/d7cec5e4c31b2e1e38578aac1074e4d0e5c357
|
| lrwxrwxrwx | 45 | root |
root |
/usr/lib/.build-id/08/3b5d2fb785f790e803a596f11d3dec445c9a5b
|
| lrwxrwxrwx | 42 | root |
root |
/usr/lib/.build-id/23/f0641a5667a76f77811d62272de5fbf3e12845
|
| lrwxrwxrwx | 41 | root |
root |
/usr/lib/.build-id/2d/07b241e3e0c6303fef174dc95f6e0a4956c698
|
| lrwxrwxrwx | 44 | root |
root |
/usr/lib/.build-id/3c/58b92b630234a86264b8289dab6fe1d4d414bf
|
| lrwxrwxrwx | 44 | root |
root |
/usr/lib/.build-id/45/5c86697887b3388f0042c8a8a63ebaeaef48b5
|
| lrwxrwxrwx | 45 | root |
root |
/usr/lib/.build-id/50/67f7fba1280c12d45e69d5439a42e95e5cb833
|
| lrwxrwxrwx | 35 | root |
root |
/usr/lib/.build-id/60/d9d0dd0c41cbafb666ce3888679e34fd505229
|
| lrwxrwxrwx | 40 | root |
root |
/usr/lib/.build-id/67/dcdb6b22b084d868888d38b6fe0a06ea5ffd40
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/.build-id/8d/1cbc15c3dd24ec33e5a95b2def3089e87a9486
|
| lrwxrwxrwx | 44 | root |
root |
/usr/lib/.build-id/8e/6693ba65afca2cf287234a796e2765f50f3119
|
| lrwxrwxrwx | 37 | root |
root |
/usr/lib/.build-id/a8/a4fcf0409928000e4534d1e243dc6cecb1f6fb
|
| lrwxrwxrwx | 45 | root |
root |
/usr/lib/.build-id/dd/ed69def50fca43cc34d92f79eb13f9d3720aa0
|
| lrwxrwxrwx | 41 | root |
root |
/usr/lib/.build-id/e4/b854a8ad2e4d27d91974de895e08483cfaca91
|
| lrwxrwxrwx | 43 | root |
root |
/usr/lib/.build-id/ef/a4814fff51c9f5ad763738644176028e362da1
|
| lrwxrwxrwx | 58 | root |
root |
/usr/lib/.build-id/f9/6be94b414b92f128c2378a5631b548bb287849
|
| lrwxrwxrwx | 44 | root |
root |
/usr/lib/.build-id/f9/6be94b414b92f128c2378a5631b548bb287849.1
|
| lrwxrwxrwx | 47 | root |
root |
/usr/lib/.build-id/f9/6be94b414b92f128c2378a5631b548bb287849.2
|
| lrwxrwxrwx | 43 | root |
root |
/usr/lib/.build-id/fd/5cde23e73b0b57ece3369dd8295293b3685eda
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/commands
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/coq
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/plugins
|
| -rwxr-xr-x | 156 | root |
root |
/usr/lib/why3/why3-call-pvs
|
| -rwxr-xr-x | 6544 | root |
root |
/usr/lib/why3/why3cpulimit
|
| -rwxr-xr-x | 19892 | root |
root |
/usr/lib/why3/why3server
|
| -rwxr-xr-x | 5907000 | root |
root |
/usr/lib/why3/commands/why3config
|
| -rwxr-xr-x | 5944492 | root |
root |
/usr/lib/why3/commands/why3doc
|
| -rwxr-xr-x | 5904808 | root |
root |
/usr/lib/why3/commands/why3execute
|
| -rwxr-xr-x | 5925048 | root |
root |
/usr/lib/why3/commands/why3extract
|
| -rwxr-xr-x | 8268164 | root |
root |
/usr/lib/why3/commands/why3ide
|
| -rwxr-xr-x | 5924516 | root |
root |
/usr/lib/why3/commands/why3prove
|
| -rwxr-xr-x | 5905684 | root |
root |
/usr/lib/why3/commands/why3realize
|
| -rwxr-xr-x | 5926772 | root |
root |
/usr/lib/why3/commands/why3replay
|
| -rwxr-xr-x | 6006864 | root |
root |
/usr/lib/why3/commands/why3session
|
| -rwxr-xr-x | 5922216 | root |
root |
/usr/lib/why3/commands/why3shell
|
| -rwxr-xr-x | 1326700 | root |
root |
/usr/lib/why3/commands/why3wc
|
| -rwxr-xr-x | 5927688 | root |
root |
/usr/lib/why3/commands/why3webserver
|
| -rw-r--r-- | 35189 | root |
root |
/usr/lib/why3/coq/BuiltIn.vo
|
| -rw-r--r-- | 28503 | root |
root |
/usr/lib/why3/coq/HighOrd.vo
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/coq/bool
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/coq/bv
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/coq/for_drivers
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/coq/int
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/coq/list
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/coq/map
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/coq/number
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/coq/option
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/coq/real
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/why3/coq/set
|
| -rw-r--r-- | 6 | root |
root |
/usr/lib/why3/coq/version
|
| -rw-r--r-- | 29075 | root |
root |
/usr/lib/why3/coq/bool/Bool.vo
|
| -rw-r--r-- | 330835 | root |
root |
/usr/lib/why3/coq/bv/BV_Gen.vo
|
| -rw-r--r-- | 67619 | root |
root |
/usr/lib/why3/coq/bv/Pow2int.vo
|
| -rw-r--r-- | 77319 | root |
root |
/usr/lib/why3/coq/for_drivers/ComputerOfEuclideanDivision.vo
|
| -rw-r--r-- | 36334 | root |
root |
/usr/lib/why3/coq/int/Abs.vo
|
| -rw-r--r-- | 67770 | root |
root |
/usr/lib/why3/coq/int/ComputerDivision.vo
|
| -rw-r--r-- | 33742 | root |
root |
/usr/lib/why3/coq/int/Div2.vo
|
| -rw-r--r-- | 83122 | root |
root |
/usr/lib/why3/coq/int/EuclideanDivision.vo
|
| -rw-r--r-- | 39651 | root |
root |
/usr/lib/why3/coq/int/Exponentiation.vo
|
| -rw-r--r-- | 34265 | root |
root |
/usr/lib/why3/coq/int/Int.vo
|
| -rw-r--r-- | 31471 | root |
root |
/usr/lib/why3/coq/int/MinMax.vo
|
| -rw-r--r-- | 96394 | root |
root |
/usr/lib/why3/coq/int/NumOf.vo
|
| -rw-r--r-- | 39400 | root |
root |
/usr/lib/why3/coq/int/Power.vo
|
| -rw-r--r-- | 33732 | root |
root |
/usr/lib/why3/coq/list/Append.vo
|
| -rw-r--r-- | 29275 | root |
root |
/usr/lib/why3/coq/list/Combine.vo
|
| -rw-r--r-- | 34299 | root |
root |
/usr/lib/why3/coq/list/Distinct.vo
|
| -rw-r--r-- | 28857 | root |
root |
/usr/lib/why3/coq/list/HdTl.vo
|
| -rw-r--r-- | 29710 | root |
root |
/usr/lib/why3/coq/list/HdTlNoOpt.vo
|
| -rw-r--r-- | 33275 | root |
root |
/usr/lib/why3/coq/list/Length.vo
|
| -rw-r--r-- | 31546 | root |
root |
/usr/lib/why3/coq/list/List.vo
|
| -rw-r--r-- | 30045 | root |
root |
/usr/lib/why3/coq/list/Mem.vo
|
| -rw-r--r-- | 31233 | root |
root |
/usr/lib/why3/coq/list/Nth.vo
|
| -rw-r--r-- | 32300 | root |
root |
/usr/lib/why3/coq/list/NthHdTl.vo
|
| -rw-r--r-- | 37396 | root |
root |
/usr/lib/why3/coq/list/NthLength.vo
|
| -rw-r--r-- | 36207 | root |
root |
/usr/lib/why3/coq/list/NthLengthAppend.vo
|
| -rw-r--r-- | 31210 | root |
root |
/usr/lib/why3/coq/list/NthNoOpt.vo
|
| -rw-r--r-- | 40747 | root |
root |
/usr/lib/why3/coq/list/NumOcc.vo
|
| -rw-r--r-- | 48166 | root |
root |
/usr/lib/why3/coq/list/Permut.vo
|
| -rw-r--r-- | 33763 | root |
root |
/usr/lib/why3/coq/list/RevAppend.vo
|
| -rw-r--r-- | 34436 | root |
root |
/usr/lib/why3/coq/list/Reverse.vo
|
| -rw-r--r-- | 27884 | root |
root |
/usr/lib/why3/coq/map/Const.vo
|
| -rw-r--r-- | 31078 | root |
root |
/usr/lib/why3/coq/map/Map.vo
|
| -rw-r--r-- | 221073 | root |
root |
/usr/lib/why3/coq/map/MapInjection.vo
|
| -rw-r--r-- | 31273 | root |
root |
/usr/lib/why3/coq/map/MapPermut.vo
|
| -rw-r--r-- | 134184 | root |
root |
/usr/lib/why3/coq/map/Occ.vo
|
| -rw-r--r-- | 34806 | root |
root |
/usr/lib/why3/coq/number/Coprime.vo
|
| -rw-r--r-- | 40664 | root |
root |
/usr/lib/why3/coq/number/Divisibility.vo
|
| -rw-r--r-- | 36443 | root |
root |
/usr/lib/why3/coq/number/Gcd.vo
|
| -rw-r--r-- | 35297 | root |
root |
/usr/lib/why3/coq/number/Parity.vo
|
| -rw-r--r-- | 48153 | root |
root |
/usr/lib/why3/coq/number/Prime.vo
|
| -rw-r--r-- | 30677 | root |
root |
/usr/lib/why3/coq/option/Option.vo
|
| -rw-r--r-- | 32186 | root |
root |
/usr/lib/why3/coq/real/Abs.vo
|
| -rw-r--r-- | 34077 | root |
root |
/usr/lib/why3/coq/real/ExpLog.vo
|
| -rw-r--r-- | 30008 | root |
root |
/usr/lib/why3/coq/real/FromInt.vo
|
| -rw-r--r-- | 31684 | root |
root |
/usr/lib/why3/coq/real/MinMax.vo
|
| -rw-r--r-- | 40929 | root |
root |
/usr/lib/why3/coq/real/PowerInt.vo
|
| -rw-r--r-- | 39135 | root |
root |
/usr/lib/why3/coq/real/PowerReal.vo
|
| -rw-r--r-- | 41705 | root |
root |
/usr/lib/why3/coq/real/Real.vo
|
| -rw-r--r-- | 27759 | root |
root |
/usr/lib/why3/coq/real/RealInfix.vo
|
| -rw-r--r-- | 32084 | root |
root |
/usr/lib/why3/coq/real/Square.vo
|
| -rw-r--r-- | 50160 | root |
root |
/usr/lib/why3/coq/real/Trigonometry.vo
|
| -rw-r--r-- | 51510 | root |
root |
/usr/lib/why3/coq/set/Set.vo
|
| -rw-r--r-- | 100 | root |
root |
/usr/lib/why3/plugins/dimacs.cmo
|
| -rwxr-xr-x | 5308 | root |
root |
/usr/lib/why3/plugins/dimacs.cmxs
|
| -rw-r--r-- | 103 | root |
root |
/usr/lib/why3/plugins/genequlin.cmo
|
| -rwxr-xr-x | 5312 | root |
root |
/usr/lib/why3/plugins/genequlin.cmxs
|
| -rw-r--r-- | 6318998 | root |
root |
/usr/lib/why3/plugins/hypothesis_selection.cmo
|
| -rwxr-xr-x | 5324 | root |
root |
/usr/lib/why3/plugins/hypothesis_selection.cmxs
|
| -rw-r--r-- | 476475 | root |
root |
/usr/lib/why3/plugins/python.cmo
|
| -rwxr-xr-x | 124884 | root |
root |
/usr/lib/why3/plugins/python.cmxs
|
| -rw-r--r-- | 729627 | root |
root |
/usr/lib/why3/plugins/tptp.cmo
|
| -rwxr-xr-x | 237652 | root |
root |
/usr/lib/why3/plugins/tptp.cmxs
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/why3
|
| -rw-r--r-- | 4268 | root |
root |
/usr/share/bash-completion/completions/why3
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/doc/why3
|
| -rw-r--r-- | 601 | root |
root |
/usr/share/doc/why3/AUTHORS
|
| -rw-r--r-- | 30361 | root |
root |
/usr/share/doc/why3/CHANGES.md
|
| -rw-r--r-- | 1799 | root |
root |
/usr/share/doc/why3/README.md
|
| -rw-r--r-- | 1290291 | root |
root |
/usr/share/doc/why3/manual.pdf
|
| -rw-r--r-- | 8530 | root |
root |
/usr/share/gtksourceview-2.0/language-specs/why3.lang
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/licenses/why3
|
| -rw-r--r-- | 27899 | root |
root |
/usr/share/licenses/why3/LICENSE
|
| -rw-r--r-- | 512 | root |
root |
/usr/share/man/man1/why3-cpulimit.1.xz
|
| -rw-r--r-- | 1148 | root |
root |
/usr/share/man/man1/why3.1.xz
|
| -rw-r--r-- | 1136 | root |
root |
/usr/share/man/man1/why3bench.1.xz
|
| -rw-r--r-- | 1052 | root |
root |
/usr/share/man/man1/why3config.1.xz
|
| -rw-r--r-- | 408 | root |
root |
/usr/share/man/man1/why3doc.1.xz
|
| -rw-r--r-- | 460 | root |
root |
/usr/share/man/man1/why3ide.1.xz
|
| -rw-r--r-- | 1320 | root |
root |
/usr/share/man/man1/why3ml.1.xz
|
| -rw-r--r-- | 384 | root |
root |
/usr/share/man/man1/why3realize.1.xz
|
| -rw-r--r-- | 1012 | root |
root |
/usr/share/man/man1/why3replayer.1.xz
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/texmf/tex/latex/why3
|
| -rw-r--r-- | 1419 | root |
root |
/usr/share/texmf/tex/latex/why3/why3lang.sty
|
| -rw-r--r-- | 52 | root |
root |
/usr/share/vim/vimfiles/ftdetect/why3.vim
|
| -rw-r--r-- | 8586 | root |
root |
/usr/share/vim/vimfiles/syntax/why3.vim
|
| -rw-r--r-- | 27899 | root |
root |
/usr/share/why3/LICENSE
|
| -rw-r--r-- | 308 | root |
root |
/usr/share/why3/Makefile.config
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/why3/drivers
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/why3/images
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/why3/lang
|
| -rw-r--r-- | 16175 | root |
root |
/usr/share/why3/provers-detection-data.conf
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/why3/stdlib
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/why3/vim
|
| -rw-r--r-- | 1975 | root |
root |
/usr/share/why3/why3session.dtd
|
| -rw-r--r-- | 207 | root |
root |
/usr/share/why3/drivers/alt_ergo.drv
|
| -rw-r--r-- | 4871 | root |
root |
/usr/share/why3/drivers/alt_ergo_common.drv
|
| -rw-r--r-- | 1186 | root |
root |
/usr/share/why3/drivers/alt_ergo_fp.drv
|
| -rw-r--r-- | 142 | root |
root |
/usr/share/why3/drivers/alt_ergo_model.drv
|
| -rw-r--r-- | 2562 | root |
root |
/usr/share/why3/drivers/alt_ergo_smt2.drv
|
| -rw-r--r-- | 7735 | root |
root |
/usr/share/why3/drivers/beagle.drv
|
| -rw-r--r-- | 13005 | root |
root |
/usr/share/why3/drivers/c.drv
|
| -rw-r--r-- | 2866 | root |
root |
/usr/share/why3/drivers/cakeml.drv
|
| -rw-r--r-- | 7394 | root |
root |
/usr/share/why3/drivers/coq-common.gen
|
| -rw-r--r-- | 3544 | root |
root |
/usr/share/why3/drivers/coq-realizations.aux
|
| -rw-r--r-- | 227 | root |
root |
/usr/share/why3/drivers/coq-realize.drv
|
| -rw-r--r-- | 2892 | root |
root |
/usr/share/why3/drivers/coq-ssreflect.drv
|
| -rw-r--r-- | 251 | root |
root |
/usr/share/why3/drivers/coq.drv
|
| -rw-r--r-- | 3726 | root |
root |
/usr/share/why3/drivers/cvc3.drv
|
| -rw-r--r-- | 1726 | root |
root |
/usr/share/why3/drivers/cvc4-realize.drv
|
| -rw-r--r-- | 1139 | root |
root |
/usr/share/why3/drivers/cvc4.drv
|
| -rw-r--r-- | 1680 | root |
root |
/usr/share/why3/drivers/cvc4_14.drv
|
| -rw-r--r-- | 1897 | root |
root |
/usr/share/why3/drivers/cvc4_15.drv
|
| -rw-r--r-- | 163 | root |
root |
/usr/share/why3/drivers/cvc4_15_counterexample.drv
|
| -rw-r--r-- | 2032 | root |
root |
/usr/share/why3/drivers/cvc4_16.drv
|
| -rw-r--r-- | 163 | root |
root |
/usr/share/why3/drivers/cvc4_16_counterexample.drv
|
| -rw-r--r-- | 820 | root |
root |
/usr/share/why3/drivers/cvc4_bv.gen
|
| -rw-r--r-- | 167 | root |
root |
/usr/share/why3/drivers/discrimination.gen
|
| -rw-r--r-- | 322 | root |
root |
/usr/share/why3/drivers/eprover.drv
|
| -rw-r--r-- | 4706 | root |
root |
/usr/share/why3/drivers/gappa.drv
|
| -rw-r--r-- | 121 | root |
root |
/usr/share/why3/drivers/iprover.drv
|
| -rw-r--r-- | 110 | root |
root |
/usr/share/why3/drivers/isabelle-2017.gen
|
| -rw-r--r-- | 126 | root |
root |
/usr/share/why3/drivers/isabelle-2018.gen
|
| -rw-r--r-- | 7522 | root |
root |
/usr/share/why3/drivers/isabelle-common.gen
|
| -rw-r--r-- | 3944 | root |
root |
/usr/share/why3/drivers/isabelle-realizations.aux
|
| -rw-r--r-- | 233 | root |
root |
/usr/share/why3/drivers/isabelle2017-realize.drv
|
| -rw-r--r-- | 325 | root |
root |
/usr/share/why3/drivers/isabelle2017.drv
|
| -rw-r--r-- | 233 | root |
root |
/usr/share/why3/drivers/isabelle2018-realize.drv
|
| -rw-r--r-- | 325 | root |
root |
/usr/share/why3/drivers/isabelle2018.drv
|
| -rw-r--r-- | 5381 | root |
root |
/usr/share/why3/drivers/mathematica.drv
|
| -rw-r--r-- | 4083 | root |
root |
/usr/share/why3/drivers/mathsat.drv
|
| -rw-r--r-- | 340 | root |
root |
/usr/share/why3/drivers/metis.drv
|
| -rw-r--r-- | 6309 | root |
root |
/usr/share/why3/drivers/metitarski.drv
|
| -rw-r--r-- | 216 | root |
root |
/usr/share/why3/drivers/no-bv.gen
|
| -rw-r--r-- | 7153 | root |
root |
/usr/share/why3/drivers/ocaml-unsafe-int.drv
|
| -rw-r--r-- | 13206 | root |
root |
/usr/share/why3/drivers/ocaml64.drv
|
| -rw-r--r-- | 2117 | root |
root |
/usr/share/why3/drivers/polypaver.drv
|
| -rw-r--r-- | 7679 | root |
root |
/usr/share/why3/drivers/princess.drv
|
| -rw-r--r-- | 2200 | root |
root |
/usr/share/why3/drivers/psyche.drv
|
| -rw-r--r-- | 7577 | root |
root |
/usr/share/why3/drivers/pvs-common.gen
|
| -rw-r--r-- | 1358 | root |
root |
/usr/share/why3/drivers/pvs-realizations.aux
|
| -rw-r--r-- | 186 | root |
root |
/usr/share/why3/drivers/pvs-realize.drv
|
| -rw-r--r-- | 183 | root |
root |
/usr/share/why3/drivers/pvs.drv
|
| -rw-r--r-- | 327 | root |
root |
/usr/share/why3/drivers/safeprover.drv
|
| -rw-r--r-- | 1975 | root |
root |
/usr/share/why3/drivers/simplify.drv
|
| -rw-r--r-- | 5426 | root |
root |
/usr/share/why3/drivers/smt-libv2-bv-realization.gen
|
| -rw-r--r-- | 6100 | root |
root |
/usr/share/why3/drivers/smt-libv2-bv.gen
|
| -rw-r--r-- | 1815 | root |
root |
/usr/share/why3/drivers/smt-libv2-floats-gnatprove.gen
|
| -rw-r--r-- | 793 | root |
root |
/usr/share/why3/drivers/smt-libv2-floats-int_via_bv.gen
|
| -rw-r--r-- | 357 | root |
root |
/usr/share/why3/drivers/smt-libv2-floats-int_via_real.gen
|
| -rw-r--r-- | 5094 | root |
root |
/usr/share/why3/drivers/smt-libv2-floats.gen
|
| -rw-r--r-- | 1457 | root |
root |
/usr/share/why3/drivers/smt-libv2-gnatprove.gen
|
| -rw-r--r-- | 105 | root |
root |
/usr/share/why3/drivers/smt-libv2.drv
|
| -rw-r--r-- | 3974 | root |
root |
/usr/share/why3/drivers/smt-libv2.gen
|
| -rw-r--r-- | 270 | root |
root |
/usr/share/why3/drivers/spass.drv
|
| -rw-r--r-- | 809 | root |
root |
/usr/share/why3/drivers/spass_types.drv
|
| -rw-r--r-- | 7434 | root |
root |
/usr/share/why3/drivers/tptp-tff0.drv
|
| -rw-r--r-- | 7211 | root |
root |
/usr/share/why3/drivers/tptp-tff1.drv
|
| -rw-r--r-- | 956 | root |
root |
/usr/share/why3/drivers/tptp.gen
|
| -rw-r--r-- | 214 | root |
root |
/usr/share/why3/drivers/vampire.drv
|
| -rw-r--r-- | 1137 | root |
root |
/usr/share/why3/drivers/verit.drv
|
| -rw-r--r-- | 237 | root |
root |
/usr/share/why3/drivers/why3.drv
|
| -rw-r--r-- | 1526 | root |
root |
/usr/share/why3/drivers/why3_smt.drv
|
| -rw-r--r-- | 503 | root |
root |
/usr/share/why3/drivers/why3_tptp.drv
|
| -rw-r--r-- | 792 | root |
root |
/usr/share/why3/drivers/yices-smt2.drv
|
| -rw-r--r-- | 3656 | root |
root |
/usr/share/why3/drivers/yices.drv
|
| -rw-r--r-- | 1630 | root |
root |
/usr/share/why3/drivers/z3.drv
|
| -rw-r--r-- | 1955 | root |
root |
/usr/share/why3/drivers/z3_432.drv
|
| -rw-r--r-- | 2864 | root |
root |
/usr/share/why3/drivers/z3_440.drv
|
| -rw-r--r-- | 100 | root |
root |
/usr/share/why3/drivers/z3_440_counterexample.drv
|
| -rw-r--r-- | 971 | root |
root |
/usr/share/why3/drivers/z3_bv.gen
|
| -rw-r--r-- | 2951 | root |
root |
/usr/share/why3/drivers/z3_smtv1.drv
|
| -rw-r--r-- | 847 | root |
root |
/usr/share/why3/drivers/zenon.drv
|
| -rw-r--r-- | 6982 | root |
root |
/usr/share/why3/drivers/zenon_modulo.drv
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/why3/images/fatcow
|
| -rw-r--r-- | 821 | root |
root |
/usr/share/why3/images/fatcow.rc
|
| -rw-r--r-- | 1399 | root |
root |
/usr/share/why3/images/logo-why.png
|
| -rw-r--r-- | 1863 | root |
root |
/usr/share/why3/images/fatcow/accept.png
|
| -rw-r--r-- | 1908 | root |
root |
/usr/share/why3/images/fatcow/bin.png
|
| -rw-r--r-- | 2079 | root |
root |
/usr/share/why3/images/fatcow/bomb.png
|
| -rw-r--r-- | 2210 | root |
root |
/usr/share/why3/images/fatcow/brick_delete.png
|
| -rw-r--r-- | 770 | root |
root |
/usr/share/why3/images/fatcow/bullet_black.png
|
| -rw-r--r-- | 792 | root |
root |
/usr/share/why3/images/fatcow/bullet_blue.png
|
| -rw-r--r-- | 740 | root |
root |
/usr/share/why3/images/fatcow/bullet_green.png
|
| -rw-r--r-- | 779 | root |
root |
/usr/share/why3/images/fatcow/bullet_red.png
|
| -rw-r--r-- | 694 | root |
root |
/usr/share/why3/images/fatcow/bullet_white.png
|
| -rw-r--r-- | 1713 | root |
root |
/usr/share/why3/images/fatcow/cancel.png
|
| -rw-r--r-- | 1962 | root |
root |
/usr/share/why3/images/fatcow/control_pause_blue.png
|
| -rw-r--r-- | 1971 | root |
root |
/usr/share/why3/images/fatcow/control_play_blue.png
|
| -rw-r--r-- | 1843 | root |
root |
/usr/share/why3/images/fatcow/database_delete.png
|
| -rw-r--r-- | 885 | root |
root |
/usr/share/why3/images/fatcow/ddr_memory.png
|
| -rw-r--r-- | 1886 | root |
root |
/usr/share/why3/images/fatcow/delete.png
|
| -rw-r--r-- | 2009 | root |
root |
/usr/share/why3/images/fatcow/exclamation.png
|
| -rw-r--r-- | 1086 | root |
root |
/usr/share/why3/images/fatcow/folder.png
|
| -rw-r--r-- | 2271 | root |
root |
/usr/share/why3/images/fatcow/help.png
|
| -rw-r--r-- | 1255 | root |
root |
/usr/share/why3/images/fatcow/magic_wand_2.png
|
| -rw-r--r-- | 1695 | root |
root |
/usr/share/why3/images/fatcow/multitool.png
|
| -rw-r--r-- | 972 | root |
root |
/usr/share/why3/images/fatcow/package.png
|
| -rw-r--r-- | 857 | root |
root |
/usr/share/why3/images/fatcow/pencil.png
|
| -rw-r--r-- | 1267 | root |
root |
/usr/share/why3/images/fatcow/readme-fatcow.txt
|
| -rw-r--r-- | 1166 | root |
root |
/usr/share/why3/images/fatcow/script.png
|
| -rw-r--r-- | 2472 | root |
root |
/usr/share/why3/images/fatcow/time_delete.png
|
| -rw-r--r-- | 2686 | root |
root |
/usr/share/why3/images/fatcow/timeline.png
|
| -rw-r--r-- | 2096 | root |
root |
/usr/share/why3/images/fatcow/update.png
|
| -rw-r--r-- | 4450 | root |
root |
/usr/share/why3/stdlib/algebra.mlw
|
| -rw-r--r-- | 412 | root |
root |
/usr/share/why3/stdlib/appmap.mlw
|
| -rw-r--r-- | 1255 | root |
root |
/usr/share/why3/stdlib/appset.mlw
|
| -rw-r--r-- | 13739 | root |
root |
/usr/share/why3/stdlib/array.mlw
|
| -rw-r--r-- | 3257 | root |
root |
/usr/share/why3/stdlib/bag.mlw
|
| -rw-r--r-- | 2911 | root |
root |
/usr/share/why3/stdlib/bintree.mlw
|
| -rw-r--r-- | 759 | root |
root |
/usr/share/why3/stdlib/bool.mlw
|
| -rw-r--r-- | 17254 | root |
root |
/usr/share/why3/stdlib/bv.mlw
|
| -rw-r--r-- | 2085 | root |
root |
/usr/share/why3/stdlib/cursor.mlw
|
| -rw-r--r-- | 97 | root |
root |
/usr/share/why3/stdlib/debug.mlw
|
| -rw-r--r-- | 98 | root |
root |
/usr/share/why3/stdlib/exn.mlw
|
| -rw-r--r-- | 21957 | root |
root |
/usr/share/why3/stdlib/floating_point.mlw
|
| -rw-r--r-- | 704 | root |
root |
/usr/share/why3/stdlib/for_drivers.mlw
|
| -rw-r--r-- | 586 | root |
root |
/usr/share/why3/stdlib/function.mlw
|
| -rw-r--r-- | 2531 | root |
root |
/usr/share/why3/stdlib/graph.mlw
|
| -rw-r--r-- | 1903 | root |
root |
/usr/share/why3/stdlib/hashtbl.mlw
|
| -rw-r--r-- | 33247 | root |
root |
/usr/share/why3/stdlib/ieee_float.mlw
|
| -rw-r--r-- | 1676 | root |
root |
/usr/share/why3/stdlib/impmap.mlw
|
| -rw-r--r-- | 1001 | root |
root |
/usr/share/why3/stdlib/impset.mlw
|
| -rw-r--r-- | 13345 | root |
root |
/usr/share/why3/stdlib/int.mlw
|
| -rw-r--r-- | 1467 | root |
root |
/usr/share/why3/stdlib/io.mlw
|
| -rw-r--r-- | 12167 | root |
root |
/usr/share/why3/stdlib/list.mlw
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/why3/stdlib/mach
|
| -rw-r--r-- | 6321 | root |
root |
/usr/share/why3/stdlib/map.mlw
|
| -rw-r--r-- | 2202 | root |
root |
/usr/share/why3/stdlib/matrix.mlw
|
| -rw-r--r-- | 772 | root |
root |
/usr/share/why3/stdlib/null.mlw
|
| -rw-r--r-- | 5466 | root |
root |
/usr/share/why3/stdlib/number.mlw
|
| -rw-r--r-- | 1037 | root |
root |
/usr/share/why3/stdlib/ocaml.mlw
|
| -rw-r--r-- | 210 | root |
root |
/usr/share/why3/stdlib/option.mlw
|
| -rw-r--r-- | 1929 | root |
root |
/usr/share/why3/stdlib/pigeon.mlw
|
| -rw-r--r-- | 3506 | root |
root |
/usr/share/why3/stdlib/pqueue.mlw
|
| -rw-r--r-- | 2077 | root |
root |
/usr/share/why3/stdlib/python.mlw
|
| -rw-r--r-- | 1483 | root |
root |
/usr/share/why3/stdlib/queue.mlw
|
| -rw-r--r-- | 1452 | root |
root |
/usr/share/why3/stdlib/random.mlw
|
| -rw-r--r-- | 9926 | root |
root |
/usr/share/why3/stdlib/real.mlw
|
| -rw-r--r-- | 907 | root |
root |
/usr/share/why3/stdlib/ref.mlw
|
| -rw-r--r-- | 1073 | root |
root |
/usr/share/why3/stdlib/regexp.mlw
|
| -rw-r--r-- | 3871 | root |
root |
/usr/share/why3/stdlib/relations.mlw
|
| -rw-r--r-- | 16199 | root |
root |
/usr/share/why3/stdlib/seq.mlw
|
| -rw-r--r-- | 8847 | root |
root |
/usr/share/why3/stdlib/set.mlw
|
| -rw-r--r-- | 1333 | root |
root |
/usr/share/why3/stdlib/stack.mlw
|
| -rw-r--r-- | 3585 | root |
root |
/usr/share/why3/stdlib/string.mlw
|
| -rw-r--r-- | 868 | root |
root |
/usr/share/why3/stdlib/sum.mlw
|
| -rw-r--r-- | 3949 | root |
root |
/usr/share/why3/stdlib/tptp.mlw
|
| -rw-r--r-- | 983 | root |
root |
/usr/share/why3/stdlib/tree.mlw
|
| -rw-r--r-- | 1812 | root |
root |
/usr/share/why3/stdlib/witness.mlw
|
| -rw-r--r-- | 14936 | root |
root |
/usr/share/why3/stdlib/mach/array.mlw
|
| -rw-r--r-- | 5100 | root |
root |
/usr/share/why3/stdlib/mach/bv.mlw
|
| -rw-r--r-- | 6224 | root |
root |
/usr/share/why3/stdlib/mach/c.mlw
|
| -rw-r--r-- | 1594 | root |
root |
/usr/share/why3/stdlib/mach/float.mlw
|
| -rw-r--r-- | 16292 | root |
root |
/usr/share/why3/stdlib/mach/int.mlw
|
| -rw-r--r-- | 2633 | root |
root |
/usr/share/why3/stdlib/mach/matrix.mlw
|
| -rw-r--r-- | 2570 | root |
root |
/usr/share/why3/stdlib/mach/onetime.mlw
|
| -rw-r--r-- | 2503 | root |
root |
/usr/share/why3/stdlib/mach/peano.mlw
|
| -rw-r--r-- | 4864 | root |
root |
/usr/share/zsh/site-functions/_why3
|
