General

Profile

Denis Efremov

Issues

Projects

Activity

07/22/2019

07:55 PM Verification Tool Supports Revision 6dffc773: Merge branch 'devel'
Denis Efremov
07:41 PM Verification Tool Supports Revision 22cbbd8f: lib: kernel: module: fix uninit variable $dir
Denis Efremov

06/24/2019

01:47 PM Verification Tool Supports Revision f4ee2f2e: dismember: function: skip duplicated contracts
Denis Efremov
01:47 PM Verification Tool Supports Revision 38da298e: lib: C: FunctionSet: produce warning on duplicated definitions
Denis Efremov
01:47 PM Verification Tool Supports Revision 71ee9f47: lib: C: Function: merge decl && defn comments and sort
Denis Efremov

06/14/2019

06:48 PM Deductive Verification Tools for Linux Kernel Bug #9709 (New): astraver: support calls annotation
... Denis Efremov
06:46 PM Deductive Verification Tools for Linux Kernel Bug #9708 (New): astraver: attach#global: called on already dead object
... Denis Efremov
06:42 PM Deductive Verification Tools for Linux Kernel Bug #9668 (Closed): astraver-translator: add opam dependency for Frama-C
Solved. Denis Efremov

05/22/2019

10:27 AM Deductive Verification Tools for Linux Kernel Bug #9669 (New): verker: make sprove-proved, make verify-proved hungs
VerKer master branch. make sprove-proved or make verify-proved hungs on goals generation. Denis Efremov
08:31 AM Deductive Verification Tools for Linux Kernel Bug #9668 (Closed): astraver-translator: add opam dependency for Frama-C
astraver-translator is checking for Frama-C during installation. Either the opam configuration should require it inst... Denis Efremov

Also available in: Atom