ispras / cv

Klever Continuous Verification Framework

ispras/cv Issues

Add support for Klever EMG comments
Updated 6 months ago1
Add a filter for unsafes
Updated a year ago2
Update VCloud instruction
Updated a year ago1
Implement CI infrustructure
Updated a year ago
Update CIL
Closed a year ago
Update CIF
Closed a year ago
Implement CV as python package
Updated a year ago3
Missing line in table
Updated a year ago1
Hunging in case of uploader failure
Updated a year ago
Investigate an option for run CV in Docker
Updated a year ago
Investigate switch to yaml configurations
Updated a year ago
Bug in error trace comparison
Closed a year ago2
Support verification of several projects
Closed a year ago2
Hanging in case of incorrect path to sources
Closed a year ago1
Show mark statuses on a page with traces
Closed a year ago1
BenchExec does not work with Ubuntu 22
Updated a year ago1
Entrypoint config races is reverted
Closed a year ago2
Deployment procedure should be refactored
Closed a year ago1
Unify rule specifications in CV
Closed a year ago1
Problem with new python in web-interface
Closed a year ago4
Problem with benchmark xml definition
Updated 4 years ago3
Bug in tag creation
Closed 4 years ago3
Improve witness search
Closed 4 years ago1
Problem with enviroment model and line directives
Updated 4 years ago1
Failure in case of aspect file is not set
Closed 4 years ago1
Add a small set of examples
Closed 5 years ago1