AV Anton Vasilyev
- Login: Vasilyev
- Registered on: 10/30/2015
- Last sign in: 09/02/2026
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 1 | 12 | 13 |
| Reported issues | 3 | 36 | 39 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| C Instrumentation Framework | Reporter | 11/26/2015 |
| Aspectator | Reporter | 02/27/2018 |
| Klever | Manager, Developer RO | 01/29/2016 |
| klever-atomic-context | Manager, Developer | 05/06/2024 |
| Linux Driver Verification | Developer | 07/28/2020 |
| LDV Tools | Developer | 07/28/2020 |
| CPAchecker | Developer | 07/28/2020 |
| CVC3 with small optimizations for BLAST | Developer | 07/28/2020 |
| Runtime Verification | Developer | 01/13/2023 |
Activity
07/15/2025
- AV 10:46 AM Klever Revision 9f6e69eb: Replace call `df` by disk_usage() to remove dependency on system `df`.
- This fixes an exception with accessing df.
03/21/2025
03/18/2025
- AV 06:12 PM Klever Revision 4fa8c398: Add minor release 4.0.1
02/28/2025
- AV 06:34 PM Klever Revision e0813ea5: Fix readthedocs builds
- AV 03:54 PM Klever Revision 16605c7b: Made concurrency tests symmetric for threads
01/13/2025
- AV 04:18 PM Klever Klever 4.0
- This is a release of the framework that focuses on performance issues and integration with continuous verification.
The following fixes and improvements in Klever 4.0 deserve an attention:
* Large refactoring in Klever Core, includin...
12/10/2024
- AV 05:15 PM Klever Revision aee76e35: Add serial_port->write_urb and serial_port->read_urb initializations