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

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


Branch: CURRENT, Version: 18.02nb6, Package name: verifast-18.02nb6, 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-07-20 05:34:33 by Ryo ONODERA | Files touched by this commit (705)
Log message:
Recursive revbump from textproc/icu-62.1
   2018-07-19 17:15:31 by Jaap Boender | Files touched by this commit (190) | Package updated
Log message:
Recursive revbump associated with the update of lang/ocaml to 4.07.
   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.