General

Profile

Denis Efremov

Issues

Projects

Activity

09/16/2020

03:37 PM Verification Tool Supports Revision e92f5659: Merge branch 'devel'
Denis Efremov
03:35 PM Verification Tool Supports Revision 6244970d: extricate: plugin: FramaC: add $FUNCTION parameter to cli args
Signed-off-by: Denis Efremov <efremov@ispras.ru> Denis Efremov

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

Also available in: Atom