Vladimir Gratinskiy
- Login: Vladimir
- Email: gratinskiy@ispras.ru
- Registered on: 07/13/2012
- Last connection: 02/21/2022
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 89 | 411 | 500 |
| Reported issues | 9 | 4 | 13 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| Klever | Developer RO | 09/04/2015 |
| Linux Driver Verification | Developer | 07/13/2012 |
| BLAST | Reporter | 08/20/2012 |
| 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 | 07/13/2012 |
| Requality | Developer | 04/29/2020 |
Activity
05/27/2022
- 02:24 PM klever-atomic-context Revision 24df660d: Rename safes and unsafes verdict "Unknown" to "Uncertainty".
05/26/2022
- 05:48 PM klever-atomic-context Revision 2d65779f: Fix bug with error trace analyzer. Remove link to it from manager panel.
05/18/2022
- 08:47 PM klever-atomic-context Revision 37427f97: Fix bug with editing regexp marks in lightweight mode. Print exception when unsafe mark serializer validation is failed.
05/17/2022
- 01:01 PM Klever Bug #11586 (Resolved): Operator cannot modify job files
- The bug was fixed in branch "bridge-11586".
- 01:00 PM klever-atomic-context Revision c73a3193: Allow job operators to update decision files on (re)start.
04/26/2022
- 05:20 PM klever-atomic-context Revision b991a2f6: Fix bug with notes extraction fort regexp marks.
- 05:11 PM klever-atomic-context Revision ce7d55bc: Add notes to raw error trace extraction.
- 04:48 PM klever-atomic-context Revision f0e9cac6: Fix bug with downloading preset unsafe mark. Add comment for unsafe mark regexp.
- 04:29 PM klever-atomic-context Revision fc9b519c: Fix bug with displaying compare function dict instead of description.
- 04:24 PM klever-atomic-context Revision dd81f1d5: Fix bug with download/upload marks.
Also available in: Atom