Vitaly Mordan
- Login: mordan
- Email: mordan@ispras.ru
- Registered on: 06/28/2013
- Last connection: 10/02/2023
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 19 | 23 | 42 |
| Reported issues | 8 | 47 | 55 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| AstraVer Toolset | Developer | 04/26/2018 |
| Verification Tool Supports | Manager, Developer | 11/15/2018 |
| Дополнительные материалы к монографии | Developer | 04/28/2018 |
| Kartographer | Reporter | 07/10/2017 |
| Klever | Developer RO | 03/12/2017 |
| Linux Driver Verification | Developer | 06/28/2013 |
| 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 | 09/26/2014 |
| VerKer - Verification of Linux Kernel Library Functions | Developer, Reporter | 11/15/2018 |
Activity
10/02/2023
- 01:50 PM Klever Revision 764e976c: Add a script for creating build bases
09/12/2023
09/04/2023
- 07:40 PM Klever Revision e56766b4: Add MEA filtering in results processing
08/18/2023
08/15/2023
08/14/2023
- 01:34 PM Klever Revision ce8c69b0: Add resource limitations for EMG
07/27/2023
- 10:25 AM Klever Revision 1ce677df: Separate EMG and plugins thread pools
07/18/2023
07/17/2023
- 09:45 PM Klever Revision 34e8d842: Update default configuration of CPALockator
- 06:23 PM Klever Revision d175f070: Fix an issue with uninitialised node
Also available in: Atom