Actions
Feature #10748
closedUpdate CPALockator
Start date:
03/12/2021
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
CPALockator is actively developed for real-world software verification, so, we need to update it.
Updated by Evgeny Novikov almost 4 years ago
- Status changed from New to Resolved
Pavel did this in branch cpalockator-update. Tests are necessary.
Updated by Evgeny Novikov almost 4 years ago
- Status changed from Resolved to Closed
After some fixes tests passed, so, I merged the branch to master in 69cee2e3d.
Actions