Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9599 Klever Feature New Urgent Support basic verification of drivers of Linux 3.14.79, 3.16.65, 4.4.178, 4.9.168, 4.14.111, 4.19.34, 5.0.7 Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9583 Klever Feature New Urgent Update CPAchecker Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9609 Klever Feature Resolved Urgent Avoid recursion in simple tests Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9610 Klever Feature New Urgent Show actual Frama-C (CIL) failures Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9604 Klever Feature Open Urgent Develop new test suite for CPAchecker on base of Klever integration tests Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9589 Klever Bug New Urgent Fix obtaining compiler options for building models Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9461 Klever Feature New Urgent Generate new reports with sources Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9577 C Instrumentation Framework Feature New Urgent Disable C++ support Evgeny Novikov Evgeny Novikov Actions
9356 Klever Feature New Urgent Do not deploy the same build bases Ilja Zakharov Evgeny Novikov Klever - 3.0 Actions
9414 Klever Feature Open Urgent Reuse archive with source files between different error traces on report uploading Vitaly Mordan Evgeny Novikov Klever - 3.0 Actions
9453 Klever Feature New Urgent Generate code coverage in a new format Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
8494 Klever Feature New Urgent Process extended format of violation witnesses Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9459 Klever Feature New Urgent Generate error traces in a new format Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9443 C Instrumentation Framework Feature New Urgent Allow obtaining data necessary for cross referencing Evgeny Novikov Evgeny Novikov Actions
9346 C Instrumentation Framework Bug New Urgent Remove "-include" options after second stage Evgeny Novikov Evgeny Novikov Actions
9355 Klever Feature New Urgent Suggest more user friendly configuration for program fragments and requirements Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9313 Klever Feature New Urgent Introduce top level configuration options for processing verification results Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9293 Klever Feature New Urgent Install Python3 packages locally for users Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9186 Klever Feature New Urgent Get rid of VTG plugin callbacks Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
8889 Klever Feature New Urgent Support verification job formats properly Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9093 Klever Bug New Urgent Stop services before updates Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9042 Klever Feature New Urgent Enable automatic start ups of Klever services Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9002 Klever Feature New Urgent Switch to systemd scripts from init.d ones Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
8500 Klever Bug New Urgent Environment model simplifications can break error traces Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
6731 Klever Feature New High Pass source code just through C-backend if aspects are empty Evgeny Novikov Evgeny Novikov Actions
(1-25/222) Per page: 25, 50, 100

Also available in: Atom CSV PDF