Pavel Andrianov
- Login: andrianov
- Email: andrianov@ispras.ru
- Registered on: 08/08/2012
- Last connection: 05/15/2024
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 4 | 11 | 15 |
| Reported issues | 31 | 56 | 87 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| Build Analyzer | Developer | 04/19/2017 |
| C Instrumentation Framework | Reporter | 02/27/2018 |
| Aspectator | Reporter | 02/27/2018 |
| Kartographer | Reporter, Customer | 04/07/2017 |
| Klever | Developer RO | 09/04/2015 |
| klever-atomic-context | Manager, Developer | 05/06/2024 |
| Linux Driver Verification | Developer | 08/08/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 | 10/16/2014 |
Activity
06/21/2024
- 06:18 PM Klever Revision 53a96ad1: Fix a bug with string keys in coverage
06/14/2024
- 06:19 PM Klever Revision 9bf2bcb5: Refactoring in coverage reporting
06/10/2024
- 08:38 PM Klever Revision ef0a949e: Sleep in atomic context rule
06/05/2024
- 09:30 AM Klever Revision 22527405: Fix missed reset of reserved cores
05/29/2024
- 07:51 PM Klever Revision 0427cc6f: Remove EMGWL, which just get tasks from one queue and placed to another.
05/22/2024
- 03:53 PM Klever Revision 46d2edf0: Fix grammar in EMG
05/10/2024
- 12:39 PM klever-atomic-context Revision a62f6320: Refactoring in VRP
- 12:39 PM Klever Revision a62f6320: Refactoring in VRP
05/03/2024
- 04:19 PM klever-atomic-context Revision 772d4bca: Fix of EMG hang in case of fail
04/26/2024
- 06:16 PM klever-atomic-context Revision 29a93c04: Optimize directory structure
Also available in: Atom