Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10504 Klever Bug New Urgent EMG does not initialize device variable Pavel Andrianov Ilja Zakharov Klever - 3.0 Actions
10469 Klever Feature New Urgent Required to implement a specification for input_ff_create_memless Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10454 Klever Feature New High Implement a conditional choice of functions for an environment model Ilja Zakharov Ilja Zakharov Actions
10086 Klever Feature New High Do not fail on start up during Controller initialization Evgeny Novikov Ilja Zakharov Actions
9693 Klever Feature Open High Develop a new algorithm for generating fragments for Juilet test cases Evgeny Novikov Ilja Zakharov Actions
9714 Klever Feature New High Update preset jobs for production use Ilja Zakharov Ilja Zakharov Actions
9394 Klever Feature New High Support verification of built-in Linux kernel modules Evgeny Novikov Ilja Zakharov 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
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
8624 Klever Feature New High Add tests with forbidding callback invocations Evgeny Novikov Ilja Zakharov Actions
8581 Klever Bug New High Simplify generation of new threads at registrations for instances Ilja Zakharov Ilja Zakharov Actions
8614 Klever Feature New High Verify Linux kernel modules in alphabetical order Evgeny Novikov Ilja Zakharov Actions
8567 Klever Feature New High Use the same session to upload/download verification tasks and their solutions Evgeny Novikov Ilja Zakharov Actions
(1-25/102) Per page: 25, 50, 100

Also available in: Atom CSV PDF