Pavel Andrianov
- Login: andrianov
- Email: andrianov@ispras.ru
- Registered on: 08/08/2012
- Last connection: 12/29/2021
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 4 | 11 | 15 |
| Reported issues | 31 | 54 | 85 |
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
11/01/2021
-
11:19 AM Klever Feature #10997: Update CPALockator
- I updated CPALockator in branch CPALockator-update:38751.
04/28/2021
-
- Right now verification takes about 20 minutes and then Klever uploads 400 witnesses about 4 hours. Previous version o...
04/26/2021
-
- I created a specific user for starting jobs via CLI. It successfully sends the request with @klever-start-preset-solu...
04/01/2021
-
- I launched a job, some tasks were successfully solved, but at some point I had decision(corrupted) and error message ...
03/31/2021
-
- We need a feature to launch a job with Klever CLI and then, if there is a difference, generate a link for job compari...
-
03/23/2021
-
-
03/18/2021
-
-
Also available in: Atom