87 lines
2.6 KiB
Text
87 lines
2.6 KiB
Text
|
@comment $NetBSD: PLIST,v 1.1 2017/07/12 01:54:16 ryoon Exp $
|
||
|
|
bin/vfide
|
||
|
|
share/verifast/arpa/inet.h
|
||
|
|
share/verifast/arrays.c
|
||
|
|
share/verifast/arrays.gh
|
||
|
|
share/verifast/arrays.vfmanifest
|
||
|
|
share/verifast/assoclist.c
|
||
|
|
share/verifast/assoclist.gh
|
||
|
|
share/verifast/assoclist.vfmanifest
|
||
|
|
share/verifast/assume.dll.vfmanifest
|
||
|
|
share/verifast/bigstar.gh
|
||
|
|
share/verifast/bigstar.vfmanifest
|
||
|
|
share/verifast/bits/pthreadtypes.h
|
||
|
|
share/verifast/counting.gh
|
||
|
|
share/verifast/crt.dll.vfmanifest
|
||
|
|
share/verifast/crt.vfmanifest
|
||
|
|
share/verifast/dlsymtool
|
||
|
|
share/verifast/ghost_cells.gh
|
||
|
|
share/verifast/io.gh
|
||
|
|
share/verifast/io.vfmanifest
|
||
|
|
share/verifast/java_card_applet
|
||
|
|
share/verifast/list.c
|
||
|
|
share/verifast/list.gh
|
||
|
|
share/verifast/list.vfmanifest
|
||
|
|
share/verifast/listex.c
|
||
|
|
share/verifast/listex.gh
|
||
|
|
share/verifast/listex.vfmanifest
|
||
|
|
share/verifast/lseg.gh
|
||
|
|
share/verifast/main_class
|
||
|
|
share/verifast/malloc.h
|
||
|
|
share/verifast/maps.gh
|
||
|
|
share/verifast/math.h
|
||
|
|
share/verifast/mysh
|
||
|
|
share/verifast/nat.gh
|
||
|
|
share/verifast/permutations.c
|
||
|
|
share/verifast/permutations.gh
|
||
|
|
share/verifast/permutations.vfmanifest
|
||
|
|
share/verifast/prelude.h
|
||
|
|
share/verifast/prelude_core.gh
|
||
|
|
share/verifast/pthread.h
|
||
|
|
share/verifast/pthread.vfmanifest
|
||
|
|
share/verifast/quantifiers.c
|
||
|
|
share/verifast/quantifiers.gh
|
||
|
|
share/verifast/quantifiers.vfmanifest
|
||
|
|
share/verifast/raw_ghost_lists.c
|
||
|
|
share/verifast/raw_ghost_lists.gh
|
||
|
|
share/verifast/raw_ghost_lists.vfmanifest
|
||
|
|
share/verifast/rt/_assume.javaspec
|
||
|
|
share/verifast/rt/_atomics.javaspec
|
||
|
|
share/verifast/rt/_bitops.javaspec
|
||
|
|
share/verifast/rt/_list.java
|
||
|
|
share/verifast/rt/_list.javaspec
|
||
|
|
share/verifast/rt/_nat.javaspec
|
||
|
|
share/verifast/rt/_quantifiers.javaspec
|
||
|
|
share/verifast/rt/java.io.javaspec
|
||
|
|
share/verifast/rt/java.lang.javaspec
|
||
|
|
share/verifast/rt/java.lang_verified.javaspec
|
||
|
|
share/verifast/rt/java.net.javaspec
|
||
|
|
share/verifast/rt/java.nio.channels.javaspec
|
||
|
|
share/verifast/rt/java.nio.javaspec
|
||
|
|
share/verifast/rt/java.util.concurrent.javaspec
|
||
|
|
share/verifast/rt/java.util.javaspec
|
||
|
|
share/verifast/rt/javacard.framework.javaspec
|
||
|
|
share/verifast/rt/javacard.security.javaspec
|
||
|
|
share/verifast/rt/javacardx.crypto.javaspec
|
||
|
|
share/verifast/rt/org.globalplatform.javaspec
|
||
|
|
share/verifast/rt/rt.jarspec
|
||
|
|
share/verifast/rt/rt_verified.jarspec
|
||
|
|
share/verifast/rt/rt_verified.jarsrc
|
||
|
|
share/verifast/stdbool.h
|
||
|
|
share/verifast/stddef.h
|
||
|
|
share/verifast/stdint.h
|
||
|
|
share/verifast/stdio.h
|
||
|
|
share/verifast/stdio_simple.h
|
||
|
|
share/verifast/stdio_simple.vfmanifest
|
||
|
|
share/verifast/stdlib.h
|
||
|
|
share/verifast/string.h
|
||
|
|
share/verifast/threading.c
|
||
|
|
share/verifast/threading.h
|
||
|
|
share/verifast/threading.vfmanifest
|
||
|
|
share/verifast/unistd.h
|
||
|
|
share/verifast/verifast
|
||
|
|
share/verifast/vf__floating_point.h
|
||
|
|
share/verifast/vfide
|
||
|
|
share/verifast/vfidedemo.bat
|
||
|
|
share/verifast/vfstrip
|