Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9348 Klever Feature New Urgent Request for changes in jobs and tasks just after receiving corresponding notifications Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
9381 Klever Feature New Urgent Return back program fragment sizes Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
9507 Klever Feature New Urgent Update VerifierCloud scheduler to the recent API Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9393 Klever Bug New Urgent Problem with memleak visualization on absent return from void function Anton Vasilyev Ilja Zakharov Klever - 3.0 Actions
9394 Klever Feature New Urgent Support verification of built-in Linux kernel modules Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
9339 Klever Bug New Urgent Incorrect progress report Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
8196 Klever Bug New Urgent Set the last provided with a line directory file instead of setting a default one at witness visualization Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9652 Klever Bug New High Schedulers initialize themselves 3 times Evgeny Novikov Ilja Zakharov Actions
9584 Klever Feature New High Handle one more warning from BenchExec Evgeny Novikov Ilja Zakharov Actions
9433 Klever Bug New High Incorrect error processing and misleading error message when there is not proper Java for CPAchecker Evgeny Novikov Ilja Zakharov Actions
9305 Klever Feature New High Provide a list of undefined and modelled functions for a fragment under verification Ilja Zakharov Ilja Zakharov Actions
9273 Klever Feature New High New translation mode for EMG Pavel Andrianov Ilja Zakharov Actions
9272 Klever Feature New High Main generation without info-requests Pavel Andrianov Ilja Zakharov Actions
9271 Klever Feature New High Main generation with information about sharedness of parameters Pavel Andrianov Ilja Zakharov Actions
8623 Klever Bug New High EMG does not relate registration of statically combined containers Evgeny Novikov Ilja Zakharov Actions
8088 Klever Bug New High Merge configurations properly Evgeny Novikov Ilja Zakharov Actions
9236 Klever Feature New High Get rid of option duplicates within rule specifications base Evgeny Novikov Ilja Zakharov Actions
8269 Klever Feature New High Allow to use swap when solving jobs or tasks Evgeny Novikov Ilja Zakharov Actions
9159 Klever Feature New High Split schedulersutils/__init__.py Evgeny Novikov Ilja Zakharov Actions
9144 Klever Feature New High Reread Native Scheduler Job Worker configuration Evgeny Novikov Ilja Zakharov Actions
8751 Klever Bug New High New EMG does not call callbacks from i2c_driver Ilja Zakharov Ilja Zakharov Actions
9059 Klever Bug New High Absence of log files can result to job error Evgeny Novikov Ilja Zakharov Actions
6561 Klever Feature Resolved High Import and export module interface specification Ilja Zakharov Ilja Zakharov Actions
6571 Klever Feature Resolved High Support modules without or with non-standard approaches to provide init and exit functions Ilja Zakharov Ilja Zakharov Actions
8068 Klever Bug Resolved High Develop specification for pci_driver callbacks Ilja Zakharov Ilja Zakharov Actions
(1-25/126) Per page: 25, 50, 100

Also available in: Atom CSV PDF