Project

General

Profile

Issues

Filters
 
 

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
11015 Klever Feature Closed Urgent Describe new abilities in development of environment model specifications Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10990 Klever Feature Closed Urgent Describe configuration of verification tools Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10964 Klever Bug Closed High Fix $ZALLOC memory allocation Ilja Zakharov Ilja Zakharov Klever - 3.3 Actions
10955 Klever Feature Closed Urgent Describe program decomposition Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10954 Klever Feature Closed Urgent Allow setting action dependencies of savepoints Ilja Zakharov Ilja Zakharov Klever - 3.4 Actions
10951 Klever Bug Closed Urgent Report clear error messages for incorrectly provided base block actions Ilja Zakharov Ilja Zakharov Klever - 3.3 Actions
10950 Klever Bug Closed Urgent Fix the deletion of a plain process without choices and jumps Ilja Zakharov Ilja Zakharov Klever - 3.3 Actions
10945 Klever Feature Closed Urgent Allow to add savepoints for the main process Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10942 Klever Feature Closed Urgent It is tedious to describe callbacks wrappers manually Ilja Zakharov Ilja Zakharov Klever - 3.3 Actions
10941 Klever Feature Closed Urgent Simplify the work with declarations and definitions at environment models decomposition Ilja Zakharov Ilja Zakharov Klever - 3.3 Actions
10930 Klever Bug Closed Urgent Fix memory allocation via $ALLOC in EMG specifications Ilja Zakharov Ilja Zakharov Klever - 3.3 Actions
10929 Klever Feature Closed Urgent Do not invoke callbacks infinitely and allow to configure the number of iterations Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10922 Klever Feature Closed Urgent Describe user environment model and how to develop it Evgeny Novikov Ilja Zakharov Klever - 3.3 Actions
10920 Klever Bug Closed Urgent Reschedule verification tasks resulting to OOM Evgeny Novikov Ilja Zakharov Klever - 3.4 Actions
10919 Klever Bug Closed Urgent Fail if the input specification has as a recursive unused subprocess action Ilja Zakharov Ilja Zakharov Klever - 3.3 Actions
10759 Klever Feature Closed Urgent Support describing various classes of interaction scenarios within different environment models Evgeny Novikov Ilja Zakharov Klever - 3.2 Actions
10755 Klever Bug Closed Urgent Double free for environment models Evgeny Novikov Ilja Zakharov Klever - 3.1 Actions
10708 Klever Bug Closed Urgent EMG misses deregistration of pm_ops in remove Pavel Andrianov Ilja Zakharov Klever - 3.1 Actions
10677 Klever Bug Closed High Users can easily ruin Native Scheduler by removing tasks.json Evgeny Novikov Ilja Zakharov Klever - 3.2 Actions
10628 Klever Bug Closed Immediate Catch and fix VTG-VRP hang ups Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
10622 Klever Feature Closed Urgent Develop preset tags for EMG Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
10596 Klever Bug Closed Immediate Use of unitialized CPU cores number Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
10587 Klever Bug Closed Urgent Check result properly in all Scheduler requests Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10585 Klever Bug Rejected High Do not fail when there is not appropriate Java for CPAchecker Evgeny Novikov Ilja Zakharov Actions
10578 Klever Bug Closed Immediate Native Scheduler reserves memory but does not use it completely Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
10570 Klever Feature Closed Urgent Support generating multiple environment models per a EMG run Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10486 Klever Feature Closed High Develop environment model specification for inode_operations Evgeny Novikov Ilja Zakharov Klever - 3.3 Actions
10484 Klever Feature Closed Normal Improve and develop filesystem environment model specifications Evgeny Novikov Ilja Zakharov Klever - 3.3 Actions
10472 Klever Feature Closed Urgent Support lightweight configuration of verification tools for target architecture Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
10468 Klever Bug Closed Urgent Improve environment models for runtime power management callbacks Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10453 Klever Feature Closed Urgent Use device identifiers from the driver tables Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10318 Klever Feature Closed Urgent Support BusyBox in Klever 3.0 Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10156 Klever Feature Closed Urgent Introduce environment model test sets for Linux 4.15, 4.17 versions Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10138 Klever Feature Closed Urgent Develop environment model specifications for Linux 5.5 Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
10120 Klever Bug Closed Urgent Do not include stddef.h for kernel space Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
10117 Klever Bug Closed Urgent Fix the most crucial EMG-related fails on Linux 3.14 Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
10086 Klever Feature Closed High Do not fail on start up during Controller initialization Evgeny Novikov Ilja Zakharov Klever - 3.2 Actions
9988 Klever Feature Closed Urgent Name environment model functions in a more user friendly way Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
9934 Klever Feature Closed Urgent Specify concrete settings for fragmentation Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
9931 Klever Feature Closed Urgent Introduce specific comments and error trace actions to distinguish important environment models Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
9926 Klever Feature Closed Urgent Do not wait for ~10 seconds before finishing job solution Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
9873 Klever Feature Closed Urgent Move creation of initial abstract tasks to PFG Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9820 Klever Bug Closed Urgent Nondeterministic environment model Pavel Andrianov Ilja Zakharov Klever - 3.0 Actions
9703 Klever Feature Closed Urgent Update BenchExec Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
9698 Klever Feature Closed Urgent Move to a new typedef interface collection provided by Clade Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9589 Klever Bug Closed Urgent Fix obtaining compiler options for building models Evgeny Novikov Ilja Zakharov Klever - 3.0 Actions
9584 Klever Feature Closed High Handle one more warning from BenchExec Evgeny Novikov Ilja Zakharov Klever - 3.1 Actions
9580 Klever Feature Closed Urgent Develop detailed EMG specifications for Serial drivers Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9579 Klever Feature Closed Urgent Allow describing scenarios for environment models manually Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9578 Klever Feature Closed Urgent Add a new rule for BusyBox to check file descriptors correct usage Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
(1-50/336) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF