@comment $OpenBSD: PLIST,v 1.1.1.1 2016/10/23 00:13:10 jca Exp $
@bin bin/cbmc
@bin bin/goto-analyzer
@bin bin/goto-cc
@bin bin/goto-diff
@bin bin/goto-instrument
@man man/man1/cbmc.1
share/doc/cbmc/
share/doc/cbmc/guide/
share/doc/cbmc/guide/CBMC-guide.tex
share/doc/cbmc/html-manual/
share/doc/cbmc/html-manual/api.shtml
share/doc/cbmc/html-manual/architecture.shtml
share/doc/cbmc/html-manual/binsearch.c
share/doc/cbmc/html-manual/boop-example/
share/doc/cbmc/html-manual/boop-example/driver.c
share/doc/cbmc/html-manual/boop-example/driver.h
share/doc/cbmc/html-manual/boop-example/kdev_t.h
share/doc/cbmc/html-manual/boop-example/modules.h
share/doc/cbmc/html-manual/boop-example/spec.c
share/doc/cbmc/html-manual/c_to_ir.svg
share/doc/cbmc/html-manual/cbmc-loops.shtml
share/doc/cbmc/html-manual/cbmc.shtml
share/doc/cbmc/html-manual/cegar-1.png
share/doc/cbmc/html-manual/counter.c
share/doc/cbmc/html-manual/counter.v
share/doc/cbmc/html-manual/cprover-source.shtml
share/doc/cbmc/html-manual/expr.c
share/doc/cbmc/html-manual/expr.svg
share/doc/cbmc/html-manual/file1.c
share/doc/cbmc/html-manual/file2.c
share/doc/cbmc/html-manual/footer.inc
share/doc/cbmc/html-manual/gcc-wrap.c
share/doc/cbmc/html-manual/goto-cc-apache.shtml
share/doc/cbmc/html-manual/goto-cc-linux.shtml
share/doc/cbmc/html-manual/goto-cc-rockbox.shtml
share/doc/cbmc/html-manual/goto-cc-variants.shtml
share/doc/cbmc/html-manual/goto-cc-visual-studio.shtml
share/doc/cbmc/html-manual/goto-cc.shtml
share/doc/cbmc/html-manual/goto_program.svg
share/doc/cbmc/html-manual/header.inc
share/doc/cbmc/html-manual/highlight/
share/doc/cbmc/html-manual/highlight/CHANGES.md
share/doc/cbmc/html-manual/highlight/LICENSE
share/doc/cbmc/html-manual/highlight/README.md
share/doc/cbmc/html-manual/highlight/README.ru.md
share/doc/cbmc/html-manual/highlight/highlight.pack.js
share/doc/cbmc/html-manual/highlight/styles/
share/doc/cbmc/html-manual/highlight/styles/agate.css
share/doc/cbmc/html-manual/highlight/styles/androidstudio.css
share/doc/cbmc/html-manual/highlight/styles/arduino-light.css
share/doc/cbmc/html-manual/highlight/styles/arta.css
share/doc/cbmc/html-manual/highlight/styles/ascetic.css
share/doc/cbmc/html-manual/highlight/styles/atelier-cave-dark.css
share/doc/cbmc/html-manual/highlight/styles/atelier-cave-light.css
share/doc/cbmc/html-manual/highlight/styles/atelier-dune-dark.css
share/doc/cbmc/html-manual/highlight/styles/atelier-dune-light.css
share/doc/cbmc/html-manual/highlight/styles/atelier-estuary-dark.css
share/doc/cbmc/html-manual/highlight/styles/atelier-estuary-light.css
share/doc/cbmc/html-manual/highlight/styles/atelier-forest-dark.css
share/doc/cbmc/html-manual/highlight/styles/atelier-forest-light.css
share/doc/cbmc/html-manual/highlight/styles/atelier-heath-dark.css
share/doc/cbmc/html-manual/highlight/styles/atelier-heath-light.css
share/doc/cbmc/html-manual/highlight/styles/atelier-lakeside-dark.css
share/doc/cbmc/html-manual/highlight/styles/atelier-lakeside-light.css
share/doc/cbmc/html-manual/highlight/styles/atelier-plateau-dark.css
share/doc/cbmc/html-manual/highlight/styles/atelier-plateau-light.css
share/doc/cbmc/html-manual/highlight/styles/atelier-savanna-dark.css
share/doc/cbmc/html-manual/highlight/styles/atelier-savanna-light.css
share/doc/cbmc/html-manual/highlight/styles/atelier-seaside-dark.css
share/doc/cbmc/html-manual/highlight/styles/atelier-seaside-light.css
share/doc/cbmc/html-manual/highlight/styles/atelier-sulphurpool-dark.css
share/doc/cbmc/html-manual/highlight/styles/atelier-sulphurpool-light.css
share/doc/cbmc/html-manual/highlight/styles/brown-paper.css
share/doc/cbmc/html-manual/highlight/styles/brown-papersq.png
share/doc/cbmc/html-manual/highlight/styles/codepen-embed.css
share/doc/cbmc/html-manual/highlight/styles/color-brewer.css
share/doc/cbmc/html-manual/highlight/styles/dark.css
share/doc/cbmc/html-manual/highlight/styles/darkula.css
share/doc/cbmc/html-manual/highlight/styles/default.css
share/doc/cbmc/html-manual/highlight/styles/docco.css
share/doc/cbmc/html-manual/highlight/styles/dracula.css
share/doc/cbmc/html-manual/highlight/styles/far.css
share/doc/cbmc/html-manual/highlight/styles/foundation.css
share/doc/cbmc/html-manual/highlight/styles/github-gist.css
share/doc/cbmc/html-manual/highlight/styles/github.css
share/doc/cbmc/html-manual/highlight/styles/googlecode.css
share/doc/cbmc/html-manual/highlight/styles/grayscale.css
share/doc/cbmc/html-manual/highlight/styles/gruvbox-dark.css
share/doc/cbmc/html-manual/highlight/styles/gruvbox-light.css
share/doc/cbmc/html-manual/highlight/styles/hopscotch.css
share/doc/cbmc/html-manual/highlight/styles/hybrid.css
share/doc/cbmc/html-manual/highlight/styles/idea.css
share/doc/cbmc/html-manual/highlight/styles/ir-black.css
share/doc/cbmc/html-manual/highlight/styles/kimbie.dark.css
share/doc/cbmc/html-manual/highlight/styles/kimbie.light.css
share/doc/cbmc/html-manual/highlight/styles/magula.css
share/doc/cbmc/html-manual/highlight/styles/mono-blue.css
share/doc/cbmc/html-manual/highlight/styles/monokai-sublime.css
share/doc/cbmc/html-manual/highlight/styles/monokai.css
share/doc/cbmc/html-manual/highlight/styles/obsidian.css
share/doc/cbmc/html-manual/highlight/styles/paraiso-dark.css
share/doc/cbmc/html-manual/highlight/styles/paraiso-light.css
share/doc/cbmc/html-manual/highlight/styles/pojoaque.css
share/doc/cbmc/html-manual/highlight/styles/pojoaque.jpg
share/doc/cbmc/html-manual/highlight/styles/purebasic.css
share/doc/cbmc/html-manual/highlight/styles/qtcreator_dark.css
share/doc/cbmc/html-manual/highlight/styles/qtcreator_light.css
share/doc/cbmc/html-manual/highlight/styles/railscasts.css
share/doc/cbmc/html-manual/highlight/styles/rainbow.css
share/doc/cbmc/html-manual/highlight/styles/school-book.css
share/doc/cbmc/html-manual/highlight/styles/school-book.png
share/doc/cbmc/html-manual/highlight/styles/solarized-dark.css
share/doc/cbmc/html-manual/highlight/styles/solarized-light.css
share/doc/cbmc/html-manual/highlight/styles/sunburst.css
share/doc/cbmc/html-manual/highlight/styles/tomorrow-night-blue.css
share/doc/cbmc/html-manual/highlight/styles/tomorrow-night-bright.css
share/doc/cbmc/html-manual/highlight/styles/tomorrow-night-eighties.css
share/doc/cbmc/html-manual/highlight/styles/tomorrow-night.css
share/doc/cbmc/html-manual/highlight/styles/tomorrow.css
share/doc/cbmc/html-manual/highlight/styles/vs.css
share/doc/cbmc/html-manual/highlight/styles/xcode.css
share/doc/cbmc/html-manual/highlight/styles/xt256.css
share/doc/cbmc/html-manual/highlight/styles/zenburn.css
share/doc/cbmc/html-manual/hwsw-inputs.shtml
share/doc/cbmc/html-manual/hwsw-mapping.shtml
share/doc/cbmc/html-manual/hwsw-tutorial.shtml
share/doc/cbmc/html-manual/hwsw.shtml
share/doc/cbmc/html-manual/index.shtml
share/doc/cbmc/html-manual/installation-cbmc.shtml
share/doc/cbmc/html-manual/installation-plugin.shtml
share/doc/cbmc/html-manual/installation-satabs.shtml
share/doc/cbmc/html-manual/introduction.shtml
share/doc/cbmc/html-manual/ireptree.svg
share/doc/cbmc/html-manual/libraries.shtml
share/doc/cbmc/html-manual/lock-example-fixed.c
share/doc/cbmc/html-manual/lock-example.c
share/doc/cbmc/html-manual/modeling-assertions.shtml
share/doc/cbmc/html-manual/modeling-floating-point.shtml
share/doc/cbmc/html-manual/modeling-nondet.shtml
share/doc/cbmc/html-manual/modeling-pointers.shtml
share/doc/cbmc/html-manual/properties.shtml
share/doc/cbmc/html-manual/refinement.png
share/doc/cbmc/html-manual/ring_buffer1.c
share/doc/cbmc/html-manual/ring_buffer2.c
share/doc/cbmc/html-manual/satabs-aeon.shtml
share/doc/cbmc/html-manual/satabs-background.shtml
share/doc/cbmc/html-manual/satabs-driver.shtml
share/doc/cbmc/html-manual/satabs-tutorials.shtml
share/doc/cbmc/html-manual/satabs.shtml
share/doc/cbmc/html-manual/states.png
share/doc/cbmc/slides/
share/doc/cbmc/slides/cbmc-latex-beamer/
share/doc/cbmc/slides/cbmc-latex-beamer/arrow.pdf
share/doc/cbmc/slides/cbmc-latex-beamer/bmc-loop.mp
share/doc/cbmc/slides/cbmc-latex-beamer/cbmc-flow.fig
share/doc/cbmc/slides/cbmc-latex-beamer/cbmc-logo-medium.png
share/doc/cbmc/slides/cbmc-latex-beamer/cbmc-slides.tex
share/doc/cbmc/slides/cbmc-latex-beamer/do_figures
share/doc/cbmc/slides/cbmc-latex-beamer/frontend.fig
share/doc/cbmc/slides/cbmc-latex-beamer/gradient_box_green.pdf
share/doc/cbmc/slides/cbmc-latex-beamer/gradient_box_red.pdf
share/doc/cbmc/slides/cbmc-latex-beamer/gradient_box_yellow.pdf
share/doc/cbmc/slides/cbmc-latex-beamer/header.tex
share/doc/cbmc/slides/cbmc-latex-beamer/sa-sat-progress.pdf
share/doc/cbmc/slides/cbmc-latex-beamer/sha-example.mp
share/doc/cbmc/slides/cbmc-latex-beamer/unrolling-cfg.mp
share/doc/cbmc/slides/cbmc-latex-beamer/unrolling-full.mp
share/doc/cbmc/slides/cbmc-latex-beamer/unrolling.mp
share/doc/cbmc/slides/cprover-overview-latex-beamer/
share/doc/cbmc/slides/cprover-overview-latex-beamer/cprover-overview-slides.tex
share/doc/cbmc/slides/cprover-overview-latex-beamer/header.tex