Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10674 Klever Feature New Urgent Support ARM64 Evgeny Novikov Evgeny Novikov Klever - 3.1 Actions
10658 Klever Feature New High Suggest working source trees automatically Evgeny Novikov Evgeny Novikov Klever - 3.1 Actions
10633 Klever Feature New High Use more robust identifier for Clade build bases Evgeny Novikov Evgeny Novikov Klever - 3.1 Actions
9604 Klever Feature Open High Develop new test suite for CPAchecker on base of Klever integration tests Evgeny Novikov Evgeny Novikov Klever - 3.1 Actions
7356 Klever Feature New High Create additional validation set Evgeny Novikov Evgeny Novikov Klever - 3.1 Actions
10087 Klever Feature New High Get rid of cheats in Scheduler service Evgeny Novikov Evgeny Novikov Klever - 3.1 Actions
10671 Klever Feature New High Create ARM based sample job for verification of Linux loadable kernel modules Evgeny Novikov Evgeny Novikov Klever - 3.1 Actions
10672 Klever Feature New High Include ARM based sample job into CI tests Evgeny Novikov Evgeny Novikov Klever - 3.1 Actions
10592 Klever Feature New High Try to get rid of ZIP error workaround Evgeny Novikov Evgeny Novikov Klever - 3.1 Actions
10635 Klever Feature New High Adapt and document KLEVER for usage in CI Alexey Khoroshilov Evgeny Novikov Actions
10486 Klever Feature New High Develop environment model specification for inode_operations Evgeny Novikov Evgeny Novikov Actions
10485 Klever Feature New High Improve and develop environment model specifications for file_system_type and super_operations Evgeny Novikov Evgeny Novikov Actions
10484 Klever Feature New High Improve and develop filesystem environment model specifications Evgeny Novikov Evgeny Novikov Actions
10478 C Instrumentation Framework Bug New High Respect intermixes of declarations and statements Evgeny Novikov Evgeny Novikov Actions
9691 Klever Feature New High Integrate Juliet test suite as one more validation job Evgeny Novikov Evgeny Novikov Actions
9694 Klever Feature New High Initiate discussion on results for Juilet test suite with its developers Evgeny Novikov Evgeny Novikov Actions
6486 C Instrumentation Framework Feature Open High Get rid of auxiliary functions if possible Evgeny Novikov Evgeny Novikov Actions
9093 Klever Bug New High Stop services before updates Evgeny Novikov Evgeny Novikov Actions
9599 Klever Feature New High 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 Actions
9577 C Instrumentation Framework Feature New High Disable C++ support Evgeny Novikov Evgeny Novikov Actions
8375 C Instrumentation Framework Bug New High Excessive const qualifier for local array of function pointers Evgeny Novikov Evgeny Novikov Actions
2726 C Instrumentation Framework Bug Open High Aspectator doesn't traverse through expressions of function parameters Evgeny Novikov Evgeny Novikov Actions
1138 C Instrumentation Framework Bug Open High C back-end prints exceeding information for unnamed structures and unions Evgeny Novikov Evgeny Novikov Actions
4398 C Instrumentation Framework Bug Open High Aspectator and C back-end should support GCC vector type Evgeny Novikov Evgeny Novikov Actions
9244 Klever Feature New High Refactor models and rule specifications related both with EMG and requirements Evgeny Novikov Evgeny Novikov Actions
(1-25/188) Per page: 25, 50, 100

Also available in: Atom CSV PDF