General

Profile

Denis Efremov

Issues

Projects

Activity

06/02/2020

08:46 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#23)
Denis Efremov
08:45 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#22)
Denis Efremov
07:15 PM Deductive Verification Tools for Linux Kernel Bug #10364: Ubuntu19: ERROR while compiling astraver-translator.v20.0
Hotfix. Add these lines to .opam/config file. It enables sandboxing:... Denis Efremov
06:51 PM Deductive Verification Tools for Linux Kernel Bug #10364 (New): Ubuntu19: ERROR while compiling astraver-translator.v20.0
System: Ubuntu 19
Error:...
Denis Efremov

06/01/2020

09:15 PM Deductive Verification Tools for Linux Kernel Bug #10019 (Open): LoopCurrent label support
We need to print something useful if LoopCurrent label is used incorrectly. Denis Efremov
12:07 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#21)
Bump compiler version Denis Efremov

02/11/2020

03:41 PM Дополнительные материалы к монографии Revision 0b02300c (spmv_tex): Chapter_7: fix granted/denied typo
Denis Efremov
02:52 PM Дополнительные материалы к монографии Revision 2b79426f (spmv_tex): initial version
Denis Efremov

02/10/2020

10:15 PM Дополнительные материалы к монографии Revision 920374af (security_policy_modeling_and_verification): Chapter_6/mylsm_kill_permission: update verification artifacts
Denis Efremov
10:05 PM Дополнительные материалы к монографии Revision 92fe7a6b (security_policy_modeling_and_verification): Chapter_6/mylsm_kill_permission: update verification artifacts
Denis Efremov

Also available in: Atom