- Login: andrianov
- Email: email@example.com
- Registered on: 08/08/2012
- Last connection: 06/07/2021
|C Instrumentation Framework||Reporter||02/27/2018|
|Linux Driver Verification||Developer||08/08/2013|
|CVC3 with small optimizations for BLAST||Developer||07/25/2018|
|Linux Kernel Safety RuleDB||Developer||10/16/2014|
- 09:01 PM Klever Bug #10826 (New): Klever uploads witnesses very slow
- Right now verification takes about 20 minutes and then Klever uploads 400 witnesses about 4 hours. Previous version o...
- 12:31 PM Klever Bug #10824 (Resolved): Producer can not get the status of solving job
- I created a specific user for starting jobs via CLI. It successfully sends the request with @klever-start-preset-solu...
- 11:09 AM Klever Bug #10784 (New): Klever fails with "identifier: Ensure this field has no more than 255 characters."
- I launched a job, some tasks were successfully solved, but at some point I had decision(corrupted) and error message ...
- 05:47 PM Klever Feature #10782 (Closed): Generating link for job comparison
- We need a feature to launch a job with Klever CLI and then, if there is a difference, generate a link for job compari...
- 11:59 AM Klever Revision 6e1e0fc9: Fixes and updates according to the analysis results
- 09:30 PM Klever Revision f3624f11: Updates of config
- 09:29 PM Klever Revision 1f709fc7: Merge remote-tracking branch 'origin/pfg-internal-modules' into harmonyos
- 03:43 PM Klever Revision a2f4f4bc: Merge branch 'master' into harmonyos
- 03:27 PM Klever Revision 03a81d89: Add more specifications
- 04:30 PM Klever Revision 69cee2e3: Adjust variable names in tests
Also available in: Atom