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

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


Branch: CURRENT, Version: 18.02nb4, Package name: verifast-18.02nb4, 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)


   2018-04-18 00:29:53 by Thomas Klausner | Files touched by this commit (286)
Log message:
Add p11-kit to gnutls/bl3.mk and bump dependencies.
   2018-04-16 16:35:28 by Thomas Klausner | Files touched by this commit (1284)
Log message:
Recursive bump for new fribidi dependency in pango.
   2018-04-14 09:34:46 by Adam Ciarcinski | Files touched by this commit (681) | Package updated
Log message:
revbump after icu update
   2018-04-13 15:55:39 by Jaap Boender | Files touched by this commit (88)
Log message:
Revbump associated with the upgrade of lang/ocaml

(this is the upgrade from 4.06 to 4.06.1)
   2018-03-13 06:47:25 by David A. Holland | Files touched by this commit (1)
Log message:
Doesn't actually need an explicit depend run before building, with
other build changes already applied.
   2018-03-13 06:45:25 by David A. Holland | Files touched by this commit (5) | Package updated
Log message:
Update to 18.02 to fix build with ocaml 4.06.

pkgsrc changes:
  - depends on z3; theoretically optional but build fails without it
  - needs ocaml-findlib now
  - use ocaml.mk

No upstream changelog that I can find besides the github history.
   2018-03-12 12:18:01 by Thomas Klausner | Files touched by this commit (2155)
Log message:
Recursive bumps for fontconfig and libzip dependency changes.
   2018-01-28 21:11:10 by Thomas Klausner | Files touched by this commit (462) | Package updated
Log message:
Bump PKGREVISION for gdbm shlib major bump