Vitaly Mordan
- Login: mordan
- Email: mordan@ispras.ru
- Registered on: 06/28/2013
- Last connection: 02/28/2025
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 |
| klever-atomic-context | Manager, Developer | 05/06/2024 |
| 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
08/02/2024
06/04/2024
- 05:50 PM Klever Revision f67ce8df: Do not limit disk space with du command
05/15/2024
- Build base for Linux kernel 6.8.9
01/29/2024
- 04:20 PM klever-atomic-context Revision e6f9eb49: Fix a bug with nondeterministic order of CIL input files
11/28/2023
- 03:34 PM klever-atomic-context Revision 00cbc418: Remove overflows asserts, which were added for all properties
11/03/2023
- 06:24 PM klever-atomic-context Revision 0c51a2d4: Add option for forced removing of build base directory.
- Fix exit on wrong architecture.
10/27/2023
- 04:48 PM klever-atomic-context Revision fbf9abbd: Fix a data race in get_workers_cpu_cores
10/09/2023
- 12:34 PM klever-atomic-context Revision b24b5e78: Enable limit max tasks in thread pool by default
10/02/2023
- 01:50 PM klever-atomic-context Revision 764e976c: Add a script for creating build bases
09/12/2023
- 04:55 PM klever-atomic-context Revision 88172d98: Do not restart cgroups service. Also removed the swap shutdown.
Also available in: Atom