-rwxr-xr-x | 1734312 | root |
root |
/usr/bin/caduceus
|
-rwxr-xr-x | 2102920 | root |
root |
/usr/bin/jessie
|
-rwxr-xr-x | 1407784 | root |
root |
/usr/bin/krakatoa
|
-rwxr-xr-x | 201316 | root |
root |
/usr/bin/rv_merge
|
-rwxr-xr-x | 302020 | root |
root |
/usr/bin/simplify2why
|
-rwxr-xr-x | 394948 | root |
root |
/usr/bin/tool-stat
|
-rwxr-xr-x | 1843496 | root |
root |
/usr/bin/why
|
-rwxr-xr-x | 369672 | root |
root |
/usr/bin/why-config
|
-rwxr-xr-x | 3512 | root |
root |
/usr/bin/why-cpulimit
|
-rwxr-xr-x | 449480 | root |
root |
/usr/bin/why-dp
|
-rwxr-xr-x | 543652 | root |
root |
/usr/bin/why-obfuscator
|
-rwxr-xr-x | 441444 | root |
root |
/usr/bin/why-stat
|
-rwxr-xr-x | 187684 | root |
root |
/usr/bin/why2html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/caduceus/harvey
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/caduceus/isabelle
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/caduceus/why
|
-rw-r--r-- | 11214 | root |
root |
/usr/lib/caduceus/harvey/caduceus_why.rv
|
-rw-r--r-- | 31834 | root |
root |
/usr/lib/caduceus/isabelle/caduceus_why.thy
|
-rw-r--r-- | 25308 | root |
root |
/usr/lib/caduceus/why/caduceus.why
|
-rw-r--r-- | 25092 | root |
root |
/usr/lib/caduceus/why/caduceus_arith.why
|
-rw-r--r-- | 29643 | root |
root |
/usr/lib/coq/jessie_why.v
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/frama-c/plugins
|
-rw-r--r-- | 4121472 | root |
root |
/usr/lib/frama-c/plugins/Jessie.cma
|
-rw-r--r-- | 139 | root |
root |
/usr/lib/frama-c/plugins/Jessie.cmi
|
-rw-r--r-- | 2506316 | root |
root |
/usr/lib/frama-c/plugins/Jessie.cmo
|
-rwxr-xr-x | 1530911 | root |
root |
/usr/lib/frama-c/plugins/Jessie.cmxs
|
-rw-r--r-- | 2618 | root |
root |
/usr/lib/jessie/effect.cmi
|
-rw-r--r-- | 1007 | root |
root |
/usr/lib/jessie/explain.cmi
|
-rw-r--r-- | 11481 | root |
root |
/usr/lib/jessie/ident.cmi
|
-rw-r--r-- | 288897 | root |
root |
/usr/lib/jessie/jc.cmi
|
-rw-r--r-- | 1615180 | root |
root |
/usr/lib/jessie/jc.cmo
|
-rw-r--r-- | 60864 | root |
root |
/usr/lib/jessie/jc.cmx
|
-rw-r--r-- | 756892 | root |
root |
/usr/lib/jessie/jc.o
|
-rw-r--r-- | 31700 | root |
root |
/usr/lib/jessie/jc_ast.cmi
|
-rw-r--r-- | 604 | root |
root |
/usr/lib/jessie/jc_common_options.cmi
|
-rw-r--r-- | 51691 | root |
root |
/usr/lib/jessie/jc_constructors.cmi
|
-rw-r--r-- | 4030 | root |
root |
/usr/lib/jessie/jc_env.cmi
|
-rw-r--r-- | 46764 | root |
root |
/usr/lib/jessie/jc_envset.cmi
|
-rw-r--r-- | 12245 | root |
root |
/usr/lib/jessie/jc_fenv.cmi
|
-rw-r--r-- | 9378 | root |
root |
/usr/lib/jessie/jc_iterators.cmi
|
-rw-r--r-- | 1185 | root |
root |
/usr/lib/jessie/jc_noutput.cmi
|
-rw-r--r-- | 7459 | root |
root |
/usr/lib/jessie/jc_output.cmi
|
-rw-r--r-- | 2564 | root |
root |
/usr/lib/jessie/jc_output_misc.cmi
|
-rw-r--r-- | 16189 | root |
root |
/usr/lib/jessie/jc_pervasives.cmi
|
-rw-r--r-- | 4662 | root |
root |
/usr/lib/jessie/jc_poutput.cmi
|
-rw-r--r-- | 62423 | root |
root |
/usr/lib/jessie/jc_region.cmi
|
-rw-r--r-- | 28015 | root |
root |
/usr/lib/jessie/jc_stdlib.cmi
|
-rw-r--r-- | 2351 | root |
root |
/usr/lib/jessie/jc_type_var.cmi
|
-rw-r--r-- | 841 | root |
root |
/usr/lib/jessie/lexer.cmi
|
-rw-r--r-- | 3109 | root |
root |
/usr/lib/jessie/lib.cmi
|
-rw-r--r-- | 1719 | root |
root |
/usr/lib/jessie/loc.cmi
|
-rw-r--r-- | 706 | root |
root |
/usr/lib/jessie/option_misc.cmi
|
-rw-r--r-- | 7817 | root |
root |
/usr/lib/jessie/output.cmi
|
-rw-r--r-- | 1693 | root |
root |
/usr/lib/jessie/parser.cmi
|
-rw-r--r-- | 7120 | root |
root |
/usr/lib/jessie/pp.cmi
|
-rw-r--r-- | 1948 | root |
root |
/usr/lib/jessie/print_real.cmi
|
-rw-r--r-- | 2765 | root |
root |
/usr/lib/jessie/project.cmi
|
-rw-r--r-- | 688 | root |
root |
/usr/lib/jessie/rc.cmi
|
-rw-r--r-- | 992 | root |
root |
/usr/lib/jessie/report.cmi
|
-rw-r--r-- | 417 | root |
root |
/usr/lib/jessie/xml.cmi
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/lib/why
|
-rw-r--r-- | 2464 | root |
root |
/usr/lib/pvs/lib/why/.pvscontext
|
-rw-r--r-- | 24101 | root |
root |
/usr/lib/pvs/lib/why/jessie.prf
|
-rw-r--r-- | 10198 | root |
root |
/usr/lib/pvs/lib/why/jessie.pvs
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pvs/lib/why/pvsbin
|
-rw-r--r-- | 87 | root |
root |
/usr/lib/pvs/lib/why/pvscontext.el
|
-rw-r--r-- | 837 | root |
root |
/usr/lib/pvs/lib/why/top.out
|
-rw-r--r-- | 63 | root |
root |
/usr/lib/pvs/lib/why/top.pvs
|
-rw-r--r-- | 1931 | root |
root |
/usr/lib/pvs/lib/why/why.prf
|
-rw-r--r-- | 2962 | root |
root |
/usr/lib/pvs/lib/why/why.pvs
|
-rw-r--r-- | 27548 | root |
root |
/usr/lib/pvs/lib/why/whyfloat.prf
|
-rw-r--r-- | 3400 | root |
root |
/usr/lib/pvs/lib/why/whyfloat.pvs
|
-rw-r--r-- | 312524 | root |
root |
/usr/lib/pvs/lib/why/pvsbin/why_array_pred.bin
|
-rw-r--r-- | 223480 | root |
root |
/usr/lib/pvs/lib/why/pvsbin/why_arrays.bin
|
-rw-r--r-- | 242484 | root |
root |
/usr/lib/pvs/lib/why/pvsbin/why_int_array_pred.bin
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/images
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/java_api
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/why
|
-rw-r--r-- | 2300 | root |
root |
/usr/lib/why/images/accept32.png
|
-rw-r--r-- | 1954 | root |
root |
/usr/lib/why/images/bug32.png
|
-rw-r--r-- | 2454 | root |
root |
/usr/lib/why/images/clock32.png
|
-rw-r--r-- | 2203 | root |
root |
/usr/lib/why/images/delete32.png
|
-rw-r--r-- | 2209 | root |
root |
/usr/lib/why/images/help32.png
|
-rw-r--r-- | 7473 | root |
root |
/usr/lib/why/images/logo-why-small.png
|
-rw-r--r-- | 2188 | root |
root |
/usr/lib/why/images/pause32.png
|
-rw-r--r-- | 2171 | root |
root |
/usr/lib/why/images/play32.png
|
-rw-r--r-- | 2038 | root |
root |
/usr/lib/why/images/stop32.png
|
-rw-r--r-- | 14447 | root |
root |
/usr/lib/why/images/why-logo-1.png
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/java_api/java
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/java_api/java/io
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/java_api/java/lang
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/java_api/java/util
|
-rw-r--r-- | 7104 | root |
root |
/usr/lib/why/java_api/java/io/BufferedWriter.java
|
-rw-r--r-- | 63721 | root |
root |
/usr/lib/why/java_api/java/io/File.java
|
-rw-r--r-- | 3929 | root |
root |
/usr/lib/why/java_api/java/io/FileDescriptor.java
|
-rw-r--r-- | 1932 | root |
root |
/usr/lib/why/java_api/java/io/FileNotFoundException.java
|
-rw-r--r-- | 2093 | root |
root |
/usr/lib/why/java_api/java/io/FileReader.java
|
-rw-r--r-- | 5152 | root |
root |
/usr/lib/why/java_api/java/io/FilterOutputStream.java
|
-rw-r--r-- | 1103 | root |
root |
/usr/lib/why/java_api/java/io/IOException.java
|
-rw-r--r-- | 14881 | root |
root |
/usr/lib/why/java_api/java/io/InputStream.java
|
-rw-r--r-- | 5732 | root |
root |
/usr/lib/why/java_api/java/io/InputStreamReader.java
|
-rw-r--r-- | 64725 | root |
root |
/usr/lib/why/java_api/java/io/ObjectStreamClass.java
|
-rw-r--r-- | 5082 | root |
root |
/usr/lib/why/java_api/java/io/OutputStream.java
|
-rw-r--r-- | 6788 | root |
root |
/usr/lib/why/java_api/java/io/OutputStreamWriter.java
|
-rw-r--r-- | 18130 | root |
root |
/usr/lib/why/java_api/java/io/PrintStream.java
|
-rw-r--r-- | 7268 | root |
root |
/usr/lib/why/java_api/java/io/Reader.java
|
-rw-r--r-- | 4695 | root |
root |
/usr/lib/why/java_api/java/io/Serializable.java
|
-rw-r--r-- | 25753 | root |
root |
/usr/lib/why/java_api/java/io/StreamTokenizer.java
|
-rw-r--r-- | 1028 | root |
root |
/usr/lib/why/java_api/java/lang/ArrayStoreException.java
|
-rw-r--r-- | 3067 | root |
root |
/usr/lib/why/java_api/java/lang/CharSequence.java
|
-rw-r--r-- | 74738 | root |
root |
/usr/lib/why/java_api/java/lang/Character.java
|
-rw-r--r-- | 89699 | root |
root |
/usr/lib/why/java_api/java/lang/Class.java
|
-rw-r--r-- | 1353 | root |
root |
/usr/lib/why/java_api/java/lang/Cloneable.java
|
-rw-r--r-- | 5730 | root |
root |
/usr/lib/why/java_api/java/lang/Comparable.java
|
-rw-r--r-- | 28832 | root |
root |
/usr/lib/why/java_api/java/lang/Double.java
|
-rw-r--r-- | 2772 | root |
root |
/usr/lib/why/java_api/java/lang/Exception.java
|
-rw-r--r-- | 893 | root |
root |
/usr/lib/why/java_api/java/lang/IllegalArgumentException.java
|
-rw-r--r-- | 35750 | root |
root |
/usr/lib/why/java_api/java/lang/Integer.java
|
-rw-r--r-- | 34165 | root |
root |
/usr/lib/why/java_api/java/lang/Long.java
|
-rw-r--r-- | 37242 | root |
root |
/usr/lib/why/java_api/java/lang/Math.java
|
-rw-r--r-- | 3072 | root |
root |
/usr/lib/why/java_api/java/lang/Number.java
|
-rw-r--r-- | 1356 | root |
root |
/usr/lib/why/java_api/java/lang/NumberFormatException.java
|
-rw-r--r-- | 23657 | root |
root |
/usr/lib/why/java_api/java/lang/Object.java
|
-rw-r--r-- | 2935 | root |
root |
/usr/lib/why/java_api/java/lang/RuntimeException.java
|
-rw-r--r-- | 90665 | root |
root |
/usr/lib/why/java_api/java/lang/String.java
|
-rw-r--r-- | 50601 | root |
root |
/usr/lib/why/java_api/java/lang/StringBuffer.java
|
-rw-r--r-- | 38061 | root |
root |
/usr/lib/why/java_api/java/lang/System.java
|
-rw-r--r-- | 26985 | root |
root |
/usr/lib/why/java_api/java/lang/Throwable.java
|
-rw-r--r-- | 23747 | root |
root |
/usr/lib/why/java_api/java/util/AbstractMap.java
|
-rw-r--r-- | 18850 | root |
root |
/usr/lib/why/java_api/java/util/Collection.java
|
-rw-r--r-- | 34531 | root |
root |
/usr/lib/why/java_api/java/util/HashMap.java
|
-rw-r--r-- | 761 | root |
root |
/usr/lib/why/java_api/java/util/HashMapIntegerInteger.java
|
-rw-r--r-- | 785 | root |
root |
/usr/lib/why/java_api/java/util/HashMapIntegerLong.java
|
-rw-r--r-- | 2165 | root |
root |
/usr/lib/why/java_api/java/util/Iterator.java
|
-rw-r--r-- | 39 | root |
root |
/usr/lib/why/java_api/java/util/Locale.java
|
-rw-r--r-- | 19069 | root |
root |
/usr/lib/why/java_api/java/util/Map.java
|
-rw-r--r-- | 14662 | root |
root |
/usr/lib/why/java_api/java/util/Set.java
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api/com
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api/java
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api/javacard
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api/javacardx
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api/com/sun
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api/com/sun/javacard
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api/com/sun/javacard/impl
|
-rw-r--r-- | 114 | root |
root |
/usr/lib/why/javacard_api/com/sun/javacard/impl/Constants.java
|
-rw-r--r-- | 65 | root |
root |
/usr/lib/why/javacard_api/com/sun/javacard/impl/NativeMethods.java
|
-rw-r--r-- | 64 | root |
root |
/usr/lib/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java
|
-rw-r--r-- | 62 | root |
root |
/usr/lib/why/javacard_api/com/sun/javacard/impl/PrivAccess.java
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api/java/lang
|
-rw-r--r-- | 501 | root |
root |
/usr/lib/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java
|
-rw-r--r-- | 1660 | root |
root |
/usr/lib/why/javacard_api/java/lang/Exception.java
|
-rw-r--r-- | 483 | root |
root |
/usr/lib/why/javacard_api/java/lang/IndexOutOfBoundsException.java
|
-rw-r--r-- | 3517 | root |
root |
/usr/lib/why/javacard_api/java/lang/Object.java
|
-rw-r--r-- | 1758 | root |
root |
/usr/lib/why/javacard_api/java/lang/RuntimeException.java
|
-rw-r--r-- | 1793 | root |
root |
/usr/lib/why/javacard_api/java/lang/Throwable.java
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api/javacard/framework
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api/javacard/security
|
-rw-r--r-- | 7395 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/AID.java
|
-rw-r--r-- | 38107 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/APDU.java
|
-rw-r--r-- | 5011 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/APDUException.java
|
-rw-r--r-- | 14548 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/Applet.java
|
-rw-r--r-- | 3167 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/CardException.java
|
-rw-r--r-- | 3308 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/CardRuntimeException.java
|
-rw-r--r-- | 9040 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/Dispatcher.java
|
-rw-r--r-- | 4779 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/ISO7816.java
|
-rw-r--r-- | 4196 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/ISOException.java
|
-rw-r--r-- | 17357 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/JCSystem.java
|
-rw-r--r-- | 11626 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/OwnerPIN.java
|
-rw-r--r-- | 5358 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/PIN.java
|
-rw-r--r-- | 3042 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/PINException.java
|
-rw-r--r-- | 1565 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/Shareable.java
|
-rw-r--r-- | 4295 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/SystemException.java
|
-rw-r--r-- | 4168 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/TransactionException.java
|
-rw-r--r-- | 3223 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/UserException.java
|
-rw-r--r-- | 17210 | root |
root |
/usr/lib/why/javacard_api/javacard/framework/Util.java
|
-rw-r--r-- | 3820 | root |
root |
/usr/lib/why/javacard_api/javacard/security/CryptoException.java
|
-rw-r--r-- | 3138 | root |
root |
/usr/lib/why/javacard_api/javacard/security/DESKey.java
|
-rw-r--r-- | 6928 | root |
root |
/usr/lib/why/javacard_api/javacard/security/DSAKey.java
|
-rw-r--r-- | 3305 | root |
root |
/usr/lib/why/javacard_api/javacard/security/DSAPrivateKey.java
|
-rw-r--r-- | 3308 | root |
root |
/usr/lib/why/javacard_api/javacard/security/DSAPublicKey.java
|
-rw-r--r-- | 2223 | root |
root |
/usr/lib/why/javacard_api/javacard/security/Key.java
|
-rw-r--r-- | 5796 | root |
root |
/usr/lib/why/javacard_api/javacard/security/KeyBuilder.java
|
-rw-r--r-- | 6484 | root |
root |
/usr/lib/why/javacard_api/javacard/security/KeyPair.java
|
-rw-r--r-- | 5038 | root |
root |
/usr/lib/why/javacard_api/javacard/security/MessageDigest.java
|
-rw-r--r-- | 1190 | root |
root |
/usr/lib/why/javacard_api/javacard/security/PrivateKey.java
|
-rw-r--r-- | 1190 | root |
root |
/usr/lib/why/javacard_api/javacard/security/PublicKey.java
|
-rw-r--r-- | 10715 | root |
root |
/usr/lib/why/javacard_api/javacard/security/RSAPrivateCrtKey.java
|
-rw-r--r-- | 5014 | root |
root |
/usr/lib/why/javacard_api/javacard/security/RSAPrivateKey.java
|
-rw-r--r-- | 4723 | root |
root |
/usr/lib/why/javacard_api/javacard/security/RSAPublicKey.java
|
-rw-r--r-- | 3257 | root |
root |
/usr/lib/why/javacard_api/javacard/security/RandomData.java
|
-rw-r--r-- | 1186 | root |
root |
/usr/lib/why/javacard_api/javacard/security/SecretKey.java
|
-rw-r--r-- | 18870 | root |
root |
/usr/lib/why/javacard_api/javacard/security/Signature.java
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/why/javacard_api/javacardx/crypto
|
-rw-r--r-- | 2970 | root |
root |
/usr/lib/why/javacard_api/javacardx/crypto/Cipher.java
|
-rw-r--r-- | 2727 | root |
root |
/usr/lib/why/why/arrays.why
|
-rw-r--r-- | 661 | root |
root |
/usr/lib/why/why/bool.why
|
-rw-r--r-- | 4676 | root |
root |
/usr/lib/why/why/floats_common.why
|
-rw-r--r-- | 42864 | root |
root |
/usr/lib/why/why/floats_full.why
|
-rw-r--r-- | 12331 | root |
root |
/usr/lib/why/why/floats_multi_rounding.why
|
-rw-r--r-- | 11046 | root |
root |
/usr/lib/why/why/floats_strict.why
|
-rw-r--r-- | 1534 | root |
root |
/usr/lib/why/why/integer.why
|
-rw-r--r-- | 26705 | root |
root |
/usr/lib/why/why/jessie.why
|
-rw-r--r-- | 6364 | root |
root |
/usr/lib/why/why/jessie_bitvectors.why
|
-rw-r--r-- | 202 | root |
root |
/usr/lib/why/why/mix.why
|
-rw-r--r-- | 202 | root |
root |
/usr/lib/why/why/mybag.why
|
-rw-r--r-- | 2630 | root |
root |
/usr/lib/why/why/prelude.why
|
-rw-r--r-- | 5790 | root |
root |
/usr/lib/why/why/real.why
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/coq/user-contrib
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26
|
-rw-r--r-- | 665 | root |
root |
/usr/share/doc/why-2.26/COPYING
|
-rw-r--r-- | 26387 | root |
root |
/usr/share/doc/why-2.26/LICENSE
|
-rw-r--r-- | 295 | root |
root |
/usr/share/doc/why-2.26/README.why
|
-rw-r--r-- | 302043 | root |
root |
/usr/share/doc/why-2.26/caduceus.ps
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples
|
-rw-r--r-- | 462509 | root |
root |
/usr/share/doc/why-2.26/krakatoa.pdf
|
-rw-r--r-- | 600625 | root |
root |
/usr/share/doc/why-2.26/why-manual.ps
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/c
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/c/float
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/c/g4
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/c/linked-lists
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/c/puf
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/c/schorr-waite
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/c/sorting
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/c/trees
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/c/tutorial
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/c/ukkonen
|
-rw-r--r-- | 290 | root |
root |
/usr/share/doc/why-2.26/examples/c/float/Malcolm.c
|
-rw-r--r-- | 122 | root |
root |
/usr/share/doc/why-2.26/examples/c/float/Sterbenz.c
|
-rw-r--r-- | 175 | root |
root |
/usr/share/doc/why-2.26/examples/c/float/Sterbenz2.c
|
-rw-r--r-- | 657 | root |
root |
/usr/share/doc/why-2.26/examples/c/g4/g4.c
|
-rw-r--r-- | 616 | root |
root |
/usr/share/doc/why-2.26/examples/c/linked-lists/has_cycle.c
|
-rw-r--r-- | 947 | root |
root |
/usr/share/doc/why-2.26/examples/c/linked-lists/reverse.c
|
-rw-r--r-- | 276 | root |
root |
/usr/share/doc/why-2.26/examples/c/linked-lists/search.c
|
-rw-r--r-- | 378 | root |
root |
/usr/share/doc/why-2.26/examples/c/linked-lists/swap.c
|
-rw-r--r-- | 3564 | root |
root |
/usr/share/doc/why-2.26/examples/c/puf/parray.c
|
-rw-r--r-- | 2604 | root |
root |
/usr/share/doc/why-2.26/examples/c/puf/puf.c
|
-rw-r--r-- | 3247 | root |
root |
/usr/share/doc/why-2.26/examples/c/schorr-waite/schorr_waite.c
|
-rw-r--r-- | 1162 | root |
root |
/usr/share/doc/why-2.26/examples/c/sorting/quicksort.c
|
-rw-r--r-- | 1344 | root |
root |
/usr/share/doc/why-2.26/examples/c/sorting/selection.c
|
-rw-r--r-- | 1270 | root |
root |
/usr/share/doc/why-2.26/examples/c/trees/search.c
|
-rw-r--r-- | 164 | root |
root |
/usr/share/doc/why-2.26/examples/c/tutorial/abs.c
|
-rw-r--r-- | 1100 | root |
root |
/usr/share/doc/why-2.26/examples/c/tutorial/average.c
|
-rw-r--r-- | 795 | root |
root |
/usr/share/doc/why-2.26/examples/c/tutorial/binary_search.c
|
-rw-r--r-- | 1307 | root |
root |
/usr/share/doc/why-2.26/examples/c/tutorial/flag.c
|
-rw-r--r-- | 176 | root |
root |
/usr/share/doc/why-2.26/examples/c/tutorial/max.c
|
-rw-r--r-- | 278 | root |
root |
/usr/share/doc/why-2.26/examples/c/tutorial/modulo.c
|
-rw-r--r-- | 1659 | root |
root |
/usr/share/doc/why-2.26/examples/c/tutorial/purse.c
|
-rw-r--r-- | 373 | root |
root |
/usr/share/doc/why-2.26/examples/c/tutorial/search.c
|
-rw-r--r-- | 197 | root |
root |
/usr/share/doc/why-2.26/examples/c/tutorial/swap.c
|
-rw-r--r-- | 1456 | root |
root |
/usr/share/doc/why-2.26/examples/c/ukkonen/main.c
|
-rw-r--r-- | 6420 | root |
root |
/usr/share/doc/why-2.26/examples/c/ukkonen/ukkonen.c
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/algo-63-64-65
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/binary-search
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/bresenham
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/dijkstra
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/edit-distance
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/find
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/heapsort
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/kmp
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/linked-lists
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/maximumsort
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/mergesort
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/queens
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/quicksort
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/quicksort2
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/selectionsort
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/sqrt
|
-rw-r--r-- | 580 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/algo-63-64-65/algo63.mlw
|
-rw-r--r-- | 873 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/algo-63-64-65/algo64.mlw
|
-rw-r--r-- | 1002 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/algo-63-64-65/algo65.mlw
|
-rw-r--r-- | 1016 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/binary-search/bsearch.mlw
|
-rw-r--r-- | 2236 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/bresenham/bresenham.mlw
|
-rw-r--r-- | 7022 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/dijkstra/dijkstra.why
|
-rw-r--r-- | 2800 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/edit-distance/distance.mlw
|
-rw-r--r-- | 3537 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/find/find.mlw
|
-rw-r--r-- | 1879 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/heapsort/downheap.mlw
|
-rw-r--r-- | 1717 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/heapsort/heapsort.mlw
|
-rw-r--r-- | 238 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/heapsort/swap.mlw
|
-rw-r--r-- | 2839 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/kmp/kmp.mlw
|
-rw-r--r-- | 1346 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/linked-lists/length.mlw
|
-rw-r--r-- | 1912 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/linked-lists/rev.mlw
|
-rw-r--r-- | 3468 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/linked-lists/reverse.why
|
-rw-r--r-- | 1405 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/maximumsort/maximumsort.mlw
|
-rw-r--r-- | 624 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/mergesort/mergesort.mlw
|
-rw-r--r-- | 624 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/mergesort/mergesort.why
|
-rw-r--r-- | 476 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/arith.mlw
|
-rw-r--r-- | 2526 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/fib.mlw
|
-rw-r--r-- | 1136 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/flag.mlw
|
-rw-r--r-- | 2901 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/flag_ax.mlw
|
-rw-r--r-- | 1253 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/gcd.mlw
|
-rw-r--r-- | 353 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/loop0.mlw
|
-rw-r--r-- | 1185 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/mac_carthy.mlw
|
-rw-r--r-- | 5795 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/matrix.why
|
-rw-r--r-- | 897 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/matrix_mult.why
|
-rw-r--r-- | 840 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/max.mlw
|
-rw-r--r-- | 1723 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/mix_max.mlw
|
-rw-r--r-- | 1390 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/peano.mlw
|
-rw-r--r-- | 824 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/power.mlw
|
-rw-r--r-- | 1643 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/search.mlw
|
-rw-r--r-- | 498 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/sqrt_dicho.mlw
|
-rw-r--r-- | 366 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/sum.mlw
|
-rw-r--r-- | 1289 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/misc/swap0.mlw
|
-rw-r--r-- | 5375 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/queens/queens.why
|
-rw-r--r-- | 2859 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/quicksort/partition.mlw
|
-rw-r--r-- | 1988 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/quicksort/quicksort.mlw
|
-rw-r--r-- | 1410 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/quicksort2/quicksort2.mlw
|
-rw-r--r-- | 1163 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/selectionsort/selection.mlw
|
-rw-r--r-- | 360 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/sqrt/simple.mlw
|
-rw-r--r-- | 857 | root |
root |
/usr/share/doc/why-2.26/examples/mlw/sqrt/sqrt.mlw
|
-rw-r--r-- | 405 | root |
root |
/usr/share/man/man1/why.1.gz
|