0cb8944c07
VeriFast is a research prototype of a tool for modular formal verification of correctness properties of single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic. This is recommended by Kiwamu Okabe in Japan NetBSD Users' Group BOF 2017 at the University of Tokyo.
86 lines
2.6 KiB
Text
86 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
|