Pavel Andrianov
- Login: andrianov
- Email: andrianov@ispras.ru
- Registered on: 08/08/2012
- Last connection: 01/13/2025
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
01/13/2025
- 04:10 PM Klever Revision 03071605: Update Klever with JDK-17 for new CPALocator, SMGCPA and CPAChecker for reachability
- Release Klever 4.0
12/07/2024
12/03/2024
11/22/2024
- 05:00 PM Klever Revision a0ad3b6c: Fix a problem with missed verifier files
11/07/2024
- 03:47 PM Klever Revision 09abf2c7: Revert some changes in cross-ref collection
- Cross-references has some dependencies in `Weaver`: cross-ref data is collected in `additional sources` directory wit...
11/05/2024
- 03:46 PM Klever Revision 3a8360bf: Remove one more file and fix a bug:
- * Replace one more data transfer from file to python structure (`task.json` after `FVTP`).
* Fix a bug from previous ...
11/01/2024
- 06:24 PM Klever Revision 1461849a: Remove tasks upload in case of local deploy, transfer tasks via bridge is redundant.
- * Remove transmission `vtg` -\> `native_scheduler`.
* Remove transmission `native_scheduler` -\> `vrp`.
By default w... - 05:15 PM Klever Revision a10acce5: Add an option to disable collection of cross-references
10/30/2024
- 06:44 PM Klever Revision 9fadb4a9: Refactoring in error trace parsing:
- * remove useless fields
* replace a map by a set
10/29/2024
- 05:26 PM Klever Revision d60c60c8: Fix setuptools version
Also available in: Atom