General

Profile

Denis Efremov

  • Login: efremov
  • Email: efremov@ispras.ru
  • Registered on: 07/20/2011
  • Last connection: 03/31/2021

Issues

open closed Total
Assigned issues 10 9 19
Reported issues 32 27 59

Projects

Project Roles Registered on
AstraVer Toolset Manager, Developer, Project Creator 04/26/2018
Deductive Verification Tools for Linux Kernel Developer, Project Creator 09/02/2014
Verification Tool Supports Manager, Developer 07/02/2015
Дополнительные материалы к монографии Manager, Developer, Project Creator 04/28/2018
KEDR Manager, Developer 04/13/2017
Linux Driver Verification Developer 04/25/2012
LDV Tools Developer 03/17/2018
CPAchecker Developer 07/28/2018
CVC3 with small optimizations for BLAST Developer 07/25/2018
Linux Kernel Safety RuleDB Developer 04/25/2012
VerKer - Verification of Linux Kernel Library Functions Manager, Developer, Reporter, Technical Writer, Project Creator, Product Owner 05/09/2017

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