Denis Efremov
- Login: efremov
- Email: efremov@ispras.ru
- Registered on: 07/20/2011
- Last connection: 01/13/2023
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 10 | 9 | 19 |
| Reported issues | 32 | 27 | 59 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| coreboot libgfxinit | Developer | 02/28/2022 |
| 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 |
| Runtime Verification | Manager, Developer, Project Creator, Product Owner | 01/13/2023 |
| VerKer - Verification of Linux Kernel Library Functions | Manager, Developer, Reporter, Technical Writer, Project Creator, Product Owner | 05/09/2017 |
Activity
01/13/2023
- 08:18 AM Runtime Verification Revision c7ba81d8 (replay): init
- 08:17 AM Runtime Verification Revision b7fa2881 (monitoring): init
09/16/2020
- 03:37 PM Verification Tool Supports Revision e92f5659: Merge branch 'devel'
- 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>
06/02/2020
- 08:46 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#23)
- 08:45 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#22)
- 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:...
- 06:51 PM Deductive Verification Tools for Linux Kernel Bug #10364 (New): Ubuntu19: ERROR while compiling astraver-translator.v20.0
- System: Ubuntu 19
Error:...
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.
- 12:07 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#21)
- Bump compiler version
Also available in: Atom