193 lines
6.3 KiB
Plaintext
193 lines
6.3 KiB
Plaintext
@comment $NetBSD: PLIST,v 1.1 2015/08/14 23:11:53 jihbed Exp $
|
|
bin/why3
|
|
lib/why3/commands/why3config
|
|
lib/why3/commands/why3doc
|
|
lib/why3/commands/why3execute
|
|
lib/why3/commands/why3extract
|
|
lib/why3/commands/why3prove
|
|
lib/why3/commands/why3realize
|
|
lib/why3/commands/why3replay
|
|
lib/why3/commands/why3session
|
|
lib/why3/commands/why3wc
|
|
lib/why3/plugins/dimacs.cmxs
|
|
lib/why3/plugins/genequlin.cmxs
|
|
lib/why3/plugins/tptp.cmxs
|
|
lib/why3/why3-call-pvs
|
|
lib/why3/why3-cpulimit
|
|
share/emacs/site-lisp/why3.el
|
|
share/emacs/site-lisp/why3.elc
|
|
share/why3/LICENSE
|
|
share/why3/Makefile.config
|
|
share/why3/drivers/alt_ergo.drv
|
|
share/why3/drivers/alt_ergo_0.93.drv
|
|
share/why3/drivers/alt_ergo_0.94.drv
|
|
share/why3/drivers/alt_ergo_common.drv
|
|
share/why3/drivers/alt_ergo_model.drv
|
|
share/why3/drivers/alt_ergo_smt2.drv
|
|
share/why3/drivers/beagle.drv
|
|
share/why3/drivers/coq-common.gen
|
|
share/why3/drivers/coq-realizations.aux
|
|
share/why3/drivers/coq-realize.drv
|
|
share/why3/drivers/coq.drv
|
|
share/why3/drivers/cvc3.drv
|
|
share/why3/drivers/cvc3_bare.drv
|
|
share/why3/drivers/cvc4.drv
|
|
share/why3/drivers/cvc4_14.drv
|
|
share/why3/drivers/cvc4_15.drv
|
|
share/why3/drivers/cvc4_bare.drv
|
|
share/why3/drivers/cvc4_bv.gen
|
|
share/why3/drivers/discrimination.gen
|
|
share/why3/drivers/eprover.drv
|
|
share/why3/drivers/gappa.drv
|
|
share/why3/drivers/iprover.drv
|
|
share/why3/drivers/isabelle-common.gen
|
|
share/why3/drivers/isabelle-realizations.aux
|
|
share/why3/drivers/isabelle-realize.drv
|
|
share/why3/drivers/isabelle.drv
|
|
share/why3/drivers/mathematica.drv
|
|
share/why3/drivers/mathsat.drv
|
|
share/why3/drivers/metis.drv
|
|
share/why3/drivers/metitarski.drv
|
|
share/why3/drivers/ocaml-gen.drv
|
|
share/why3/drivers/ocaml-no-arith.drv
|
|
share/why3/drivers/ocaml-unsafe-int.drv
|
|
share/why3/drivers/ocaml32.drv
|
|
share/why3/drivers/ocaml64.drv
|
|
share/why3/drivers/princess.drv
|
|
share/why3/drivers/psyche.drv
|
|
share/why3/drivers/pvs-common.gen
|
|
share/why3/drivers/pvs-realizations.aux
|
|
share/why3/drivers/pvs-realize.drv
|
|
share/why3/drivers/pvs.drv
|
|
share/why3/drivers/simplify.drv
|
|
share/why3/drivers/smt-libv2-bv.gen
|
|
share/why3/drivers/smt-libv2.drv
|
|
share/why3/drivers/spass.drv
|
|
share/why3/drivers/spass_types.drv
|
|
share/why3/drivers/tptp-tff0.drv
|
|
share/why3/drivers/tptp-tff1.drv
|
|
share/why3/drivers/tptp.gen
|
|
share/why3/drivers/vampire.drv
|
|
share/why3/drivers/verit.drv
|
|
share/why3/drivers/why3.drv
|
|
share/why3/drivers/why3_smt.drv
|
|
share/why3/drivers/why3_tptp.drv
|
|
share/why3/drivers/yices-smt2.drv
|
|
share/why3/drivers/yices.drv
|
|
share/why3/drivers/yices_bare.drv
|
|
share/why3/drivers/z3.drv
|
|
share/why3/drivers/z3_432.drv
|
|
share/why3/drivers/z3_smtv1.drv
|
|
share/why3/drivers/zenon.drv
|
|
share/why3/images/boomy/accept32.png
|
|
share/why3/images/boomy/bug32.png
|
|
share/why3/images/boomy/clock32.png
|
|
share/why3/images/boomy/configure16.png
|
|
share/why3/images/boomy/configure32.png
|
|
share/why3/images/boomy/cut32.png
|
|
share/why3/images/boomy/cutb32.png
|
|
share/why3/images/boomy/delete32.png
|
|
share/why3/images/boomy/deletefile32.png
|
|
share/why3/images/boomy/edit32.png
|
|
share/why3/images/boomy/file16.png
|
|
share/why3/images/boomy/file32.png
|
|
share/why3/images/boomy/folder16.png
|
|
share/why3/images/boomy/folder32.png
|
|
share/why3/images/boomy/help32.png
|
|
share/why3/images/boomy/license.txt
|
|
share/why3/images/boomy/movefile32.png
|
|
share/why3/images/boomy/obsaccept32.png
|
|
share/why3/images/boomy/obsbug32.png
|
|
share/why3/images/boomy/obsclock32.png
|
|
share/why3/images/boomy/obsdelete32.png
|
|
share/why3/images/boomy/obsdeletefile32.png
|
|
share/why3/images/boomy/obshelp32.png
|
|
share/why3/images/boomy/pause32.png
|
|
share/why3/images/boomy/pausehalf32.png
|
|
share/why3/images/boomy/play32.png
|
|
share/why3/images/boomy/refresh32.png
|
|
share/why3/images/boomy/stop32.png
|
|
share/why3/images/boomy/transformation32.png
|
|
share/why3/images/boomy/trashb32.png
|
|
share/why3/images/boomy/undone32.png
|
|
share/why3/images/boomy/wizard16.png
|
|
share/why3/images/boomy/wizard32.png
|
|
share/why3/images/fatcow/accept.png
|
|
share/why3/images/fatcow/bin.png
|
|
share/why3/images/fatcow/bomb.png
|
|
share/why3/images/fatcow/brick_delete.png
|
|
share/why3/images/fatcow/bullet_black.png
|
|
share/why3/images/fatcow/bullet_blue.png
|
|
share/why3/images/fatcow/bullet_green.png
|
|
share/why3/images/fatcow/bullet_red.png
|
|
share/why3/images/fatcow/bullet_white.png
|
|
share/why3/images/fatcow/cancel.png
|
|
share/why3/images/fatcow/control_pause_blue.png
|
|
share/why3/images/fatcow/control_play_blue.png
|
|
share/why3/images/fatcow/database_delete.png
|
|
share/why3/images/fatcow/ddr_memory.png
|
|
share/why3/images/fatcow/delete.png
|
|
share/why3/images/fatcow/exclamation.png
|
|
share/why3/images/fatcow/folder.png
|
|
share/why3/images/fatcow/help.png
|
|
share/why3/images/fatcow/magic_wand_2.png
|
|
share/why3/images/fatcow/multitool.png
|
|
share/why3/images/fatcow/package.png
|
|
share/why3/images/fatcow/pencil.png
|
|
share/why3/images/fatcow/readme-fatcow.txt
|
|
share/why3/images/fatcow/script.png
|
|
share/why3/images/fatcow/time_delete.png
|
|
share/why3/images/fatcow/timeline.png
|
|
share/why3/images/fatcow/update.png
|
|
share/why3/images/icons.rc
|
|
share/why3/images/logo-why.png
|
|
share/why3/javascript/jquery.js
|
|
share/why3/javascript/jquery.jstree.js
|
|
share/why3/javascript/session.css
|
|
share/why3/javascript/session.js
|
|
share/why3/javascript/themes/default/d.gif
|
|
share/why3/javascript/themes/default/d.png
|
|
share/why3/javascript/themes/default/style.css
|
|
share/why3/javascript/themes/default/throbber.gif
|
|
share/why3/lang/why3.lang
|
|
share/why3/modules/array.mlw
|
|
share/why3/modules/hashtbl.mlw
|
|
share/why3/modules/impset.mlw
|
|
share/why3/modules/io.mlw
|
|
share/why3/modules/mach/array.mlw
|
|
share/why3/modules/mach/int.mlw
|
|
share/why3/modules/mach/onetime.mlw
|
|
share/why3/modules/mach/peano.mlw
|
|
share/why3/modules/matrix.mlw
|
|
share/why3/modules/null.mlw
|
|
share/why3/modules/pqueue.mlw
|
|
share/why3/modules/queue.mlw
|
|
share/why3/modules/random.mlw
|
|
share/why3/modules/ref.mlw
|
|
share/why3/modules/stack.mlw
|
|
share/why3/modules/string.mlw
|
|
share/why3/provers-detection-data.conf
|
|
share/why3/theories/algebra.why
|
|
share/why3/theories/bag.why
|
|
share/why3/theories/bintree.why
|
|
share/why3/theories/bool.why
|
|
share/why3/theories/bv.why
|
|
share/why3/theories/floating_point.why
|
|
share/why3/theories/function.why
|
|
share/why3/theories/graph.why
|
|
share/why3/theories/int.why
|
|
share/why3/theories/list.why
|
|
share/why3/theories/map.why
|
|
share/why3/theories/number.why
|
|
share/why3/theories/option.why
|
|
share/why3/theories/pigeon.why
|
|
share/why3/theories/real.why
|
|
share/why3/theories/regexp.why
|
|
share/why3/theories/relations.why
|
|
share/why3/theories/seq.why
|
|
share/why3/theories/set.why
|
|
share/why3/theories/sum.why
|
|
share/why3/theories/tptp.why
|
|
share/why3/vim/why3.vim
|
|
share/why3/why3session.dtd
|