gistfile1.txt

/nix/store/gm7shzas6j4d1dpnsk5ixx51s2fvy48k-verifast-19.12
├── bin
│   ├── verifast -> /nix/store/gm7shzas6j4d1dpnsk5ixx51s2fvy48k-verifast-19.12/libexec/verifast
│   └── vfide -> /nix/store/gm7shzas6j4d1dpnsk5ixx51s2fvy48k-verifast-19.12/libexec/vfide
└── libexec
    ├── arpa
    │   └── inet.h
    ├── arrays.c
    ├── arrays.gh
    ├── arrays.vfmanifest
    ├── assoclist.c
    ├── assoclist.gh
    ├── assoclist.vfmanifest
    ├── assume.dll.vfmanifest
    ├── bigstar.gh
    ├── bigstar.vfmanifest
    ├── bitops.c
    ├── bitops.gh
    ├── bitops.vfmanifest
    ├── bits
    │   └── pthreadtypes.h
    ├── counting.gh
    ├── crt.dll.vfmanifest
    ├── crt.vfmanifest
    ├── dlsymtool
    ├── explorer
    ├── ghost_cells.gh
    ├── io.gh
    ├── io.vfmanifest
    ├── java_card_applet
    ├── libgtksourceview-2.0.so.0
    ├── libz3.so
    ├── list.c
    ├── listex.c
    ├── listex.gh
    ├── listex.vfmanifest
    ├── list.gh
    ├── list.vfmanifest
    ├── lseg.gh
    ├── main_class
    ├── malloc.h
    ├── maps.gh
    ├── math.h
    ├── mysh
    ├── nat.gh
    ├── permutations.c
    ├── permutations.gh
    ├── permutations.vfmanifest
    ├── prelude_core.gh
    ├── prelude.h
    ├── pthread.h
    ├── pthread.vfmanifest
    ├── quantifiers.c
    ├── quantifiers.gh
    ├── quantifiers.vfmanifest
    ├── raw_ghost_lists.c
    ├── raw_ghost_lists.gh
    ├── raw_ghost_lists.vfmanifest
    ├── rt
    │   ├── _assume.javaspec
    │   ├── _atomics.javaspec
    │   ├── _bitops.javaspec
    │   ├── javacard.framework.javaspec
    │   ├── javacard.security.javaspec
    │   ├── javacardx.crypto.javaspec
    │   ├── java.io.javaspec
    │   ├── java.lang.javaspec
    │   ├── java.lang_verified.javaspec
    │   ├── java.net.javaspec
    │   ├── java.nio.channels.javaspec
    │   ├── java.nio.javaspec
    │   ├── java.util.concurrent.javaspec
    │   ├── java.util.javaspec
    │   ├── _list.java
    │   ├── _list.javaspec
    │   ├── _nat.javaspec
    │   ├── org.globalplatform.javaspec
    │   ├── _quantifiers.javaspec
    │   ├── rt.jarspec
    │   ├── rt_verified.jarspec
    │   ├── rt_verified.jarsrc
    │   └── verifast.internal.javaspec
    ├── stdbool.h
    ├── stddef.h
    ├── stdint.h
    ├── stdio.h
    ├── stdio_simple.h
    ├── stdio_simple.vfmanifest
    ├── stdlib.h
    ├── stdnoreturn.h
    ├── string.h
    ├── strong_ghost_lists.c
    ├── strong_ghost_lists.gh
    ├── strong_ghost_lists.vfmanifest
    ├── threading.c
    ├── threading.h
    ├── threading.vfmanifest
    ├── unistd.h
    ├── verifast
    ├── vf__floating_point.h
    ├── vfide
    ├── vfidedemo.bat
    └── vfstrip

5 directories, 97 files