General

Profile

Denis Efremov

Issues

Projects

Activity

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
10:05 PM Дополнительные материалы к монографии Revision 4e14a302 (security_policy_modeling_and_verification): Chapter_6/mylsm_kill_permission: slightly update specifications
Denis Efremov
10:00 PM Дополнительные материалы к монографии Revision d6d71b74 (security_policy_modeling_and_verification): Chapter_6/starcat: update verification artifacts
Denis Efremov
09:57 PM Дополнительные материалы к монографии Revision 05823887 (security_policy_modeling_and_verification): Add .gitignore
Denis Efremov
09:53 PM Дополнительные материалы к монографии Revision 44238c56 (security_policy_modeling_and_verification): Chapter_6: Switch Frama-C from jessie plugins to AstraVer
Denis Efremov

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

Also available in: Atom