General

Profile

Mikhail Mandrykin

Issues

Projects

Activity

06/13/2018

01:53 PM Deductive Verification Tools for Linux Kernel Revision 1d6619ba (jessie2): Fixes to translation of switch

06/07/2018

07:02 PM Deductive Verification Tools for Linux Kernel Revision 88b0f43f (jessie2): Added num package to include dir
06:38 PM Deductive Verification Tools for Linux Kernel Revision c369a055 (opam-repository): Yet another fix of Jessie2 dep constraints
06:36 PM Deductive Verification Tools for Linux Kernel Revision 0df6b124 (opam-repository): Fixed Jessie2 version name and constraints
06:28 PM Deductive Verification Tools for Linux Kernel Revision 80bb4725 (opam-repository): Added descriptions for Frama-C 20180501 & compatible Jessie2
05:48 PM Deductive Verification Tools for Linux Kernel Revision 677c1e08 (jessie2): Fixed translation of recursive functions/predicates in axiomatics
05:47 PM Deductive Verification Tools for Linux Kernel Revision bb7bc234 (framac): Fixed isCompleteType after broken merge
04:45 PM Deductive Verification Tools for Linux Kernel Revision e4b20e6c (framac): Exposed local init translation (needed for Jessie to initialize strings)
03:55 PM Deductive Verification Tools for Linux Kernel Revision 3900352f (jessie2): Fixed deprecation warning
03:26 PM Deductive Verification Tools for Linux Kernel Revision fda422a5 (jessie2): Also rewrite Local_inits in no-extract mode

Also available in: Atom