./devel/verifast, VeriFast code verifier in separation logic

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 18.02nb21, Package name: verifast-18.02nb21, Maintainer: ryoon

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.


Required to run:
[lang/ocaml] [devel/ocaml-findlib] [lang/camlp4] [x11/ocaml-lablgtk] [math/z3] [math/ocaml-num]

Required to build:
[pkgtools/x11-links] [lang/vala] [x11/xcb-proto] [x11/fixesproto4] [pkgtools/cwrappers] [lang/camlp4] [x11/xorgproto]

Master sites:

SHA1: 6100ea410e5f7e1c5ceacc16263137f60ebe7ced
RMD160: 28d98b0033a9026599db6098bde6871c47d99ded
Filesize: 1691.426 KB

Version history: (Expand)


CVS history: (Expand)


   2020-06-02 10:25:05 by Adam Ciarcinski | Files touched by this commit (1689)
Log message:
Revbump for icu
   2020-04-12 10:29:21 by Adam Ciarcinski | Files touched by this commit (956) | Package updated
Log message:
Recursive revision bump after textproc/icu update
   2020-03-10 23:11:24 by Thomas Klausner | Files touched by this commit (1681) | Package updated
Log message:
librsvg: update bl3.mk to remove libcroco in rust case

recursive bump for the dependency change
   2020-03-08 17:51:54 by Thomas Klausner | Files touched by this commit (2833)
Log message:
*: recursive bump for libffi
   2020-01-18 22:51:16 by Jonathan Perkin | Files touched by this commit (1836)
Log message:
*: Recursive revision bump for openssl 1.1.1.
   2019-07-22 00:26:08 by Thomas Klausner | Files touched by this commit (1256)
Log message:
*: recursive bump for gdk-pixbuf2-2.38.1
   2019-07-21 00:46:59 by Thomas Klausner | Files touched by this commit (595)
Log message:
*: recursive bump for nettle 3.5.1
   2019-05-06 00:49:54 by Ryo ONODERA | Files touched by this commit (104)
Log message:
Recursive rebvump from devel/nss