Next | Query returned 5 messages, browsing 1 to 10 | previous

History of commit frequency

CVS Commit History:


   2022-10-16 12:51:45 by Antoine Reilles | Files touched by this commit (1)
Log message:
Add missing dependency ocamlgraph
   2022-10-16 12:41:09 by Antoine Reilles | Files touched by this commit (1)
Log message:
Add missing dependency: coq
   2022-10-12 12:22:30 by Thomas Klausner | Files touched by this commit (1)
Log message:
why3: add missing ocaml-num dependency

still fails with PLIST issues
   2022-10-09 08:46:57 by Antoine Reilles | Files touched by this commit (2)
Log message:
Update devel/why3 to 1.5.1nb1

Make sure to install the library properly
This is necessary for frama-c to bind properly
   2022-10-08 18:36:47 by Antoine Reilles | Files touched by this commit (4)
Log message:
Adding devel/why3 1.5.1

Import from WIP, thanks jihbed.research@gmail.com

Why3 is a platform for deductive program verification. It provides a rich
language for specification and programming, called WhyML, and relies
on external theorem provers, both automated and interactive, to
discharge verification conditions.

Next | Query returned 5 messages, browsing 1 to 10 | previous