Next | Query returned 42 messages, browsing 41 to 50 | previous

History of commit frequency

CVS Commit History:


   2017-09-08 11:51:27 by Jaap Boender | Files touched by this commit (113) | Package updated
Log message:
Recursive revbump associated with update of ocaml to 4.05
   2017-07-12 03:54:16 by Ryo ONODERA | Files touched by this commit (5)
Log message:
Import verifast-17.06 as devel/verifast.

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.

Next | Query returned 42 messages, browsing 41 to 50 | previous