Vitaly Mordan
- Login: mordan
- Email: mordan@ispras.ru
- Registered on: 06/28/2013
- Last connection: 03/23/2024
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
01/29/2024
11/28/2023
11/03/2023
- 06:24 PM Klever Revision 0c51a2d4: Add option for forced removing of build base directory.
- Fix exit on wrong architecture.
10/27/2023
- 04:48 PM Klever Revision fbf9abbd: Fix a data race in get_workers_cpu_cores
10/09/2023
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
Also available in: Atom