General

Profile

Denis Efremov

Issues

Projects

Activity

01/09/2020

01:45 AM Deductive Verification Tools for Linux Kernel Bug #10027 (New): jc: typing error: Unsupported range in term, sorry
... Denis Efremov
09:10 PM Deductive Verification Tools for Linux Kernel Bug #10026 (New): postaction_term: unexpected term: &v_n_1
... Denis Efremov
07:29 PM Deductive Verification Tools for Linux Kernel Bug #10025 (New): jessie: typing error: This operation on numeric values requires potentially unsafe or ambiguous type conversion that should be explicitly specified (the values' types are `uint64' and `int32')
... Denis Efremov
07:23 PM Deductive Verification Tools for Linux Kernel Bug #10024 (New): jessie: typing error: numeric, boolean or pointer types expected for == and !=
... Denis Efremov

12/30/2019

12:47 AM Deductive Verification Tools for Linux Kernel Bug #10022 (New): internal error: named literals bug
... Denis Efremov
08:28 PM Deductive Verification Tools for Linux Kernel Bug #10021 (New): jessie: typing error: Unsupported range in term, sorry
... Denis Efremov
06:01 PM Deductive Verification Tools for Linux Kernel Bug #10020 (New): global names conflict
OK:... Denis Efremov

12/26/2019

03:43 PM Deductive Verification Tools for Linux Kernel Bug #10019 (Resolved): LoopCurrent label support
LoopCurrent support Denis Efremov

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

Also available in: Atom