Pavel Andrianov
- Login: andrianov
- Email: andrianov@ispras.ru
- Registered on: 08/08/2012
- Last connection: 04/23/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 |
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
04/23/2024
- 02:39 PM Klever Revision e4cc489d: Fix of three comments:
- Change of SA to Clade.
Remove confusing comment in `Weaver`
04/19/2024
- 08:21 PM Klever Revision fb87b8af: Fix two hangings:
- * A component was not finished after stop call, so need to exit it directly. And in this case do not need to `finaliz...
- 04:06 PM Klever Revision 6a68b6c5: Remove callbacks
04/17/2024
- 02:28 PM Klever Revision b38a6032: Fix of EMG failure:
- * In case of EMG failure it sends an empty `other` data, which leads to failure in `AAVTDG` component
* Raise an exce...
04/16/2024
- 07:02 PM Klever Revision 57a15a65: More EMGW refactoring:
- * Move send results from `join` in other process to `main` of the same (plugin) process
* Replace data exchange with ...
04/12/2024
- 05:07 PM Klever Revision ded97ec1: Do not throw exceptions in case of cancel job
04/11/2024
- 04:24 PM Klever Revision 0b1b05a5: Split two CI jobs
04/10/2024
- 06:27 PM Klever Revision ae9707d6: Disable data reports
03/11/2024
- 06:05 PM Klever Revision dd8b3244: Add a delay between deploy and test run
03/07/2024
- 05:08 PM Klever Revision e11d780a: Use memory structures instead of files
Also available in: Atom