Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
7885 Klever Bug Closed Urgent Exception while vizualizing error trace Pavel Andrianov Anton Vasilyev Actions
9285 Klever Bug Closed Urgent Problem with deployment Pavel Andrianov Evgeny Novikov Klever - 2.0 Actions
9067 Klever Bug Closed Immediate Klever fails with corrupted Pavel Andrianov Evgeny Novikov Klever - 1.1 Actions
9058 Klever Bug New High Exceptions if there are problems with connection to cloud Pavel Andrianov Evgeny Novikov Actions
9056 Klever Bug Closed Immediate Exception when packages are not specified in configuration Pavel Andrianov Evgeny Novikov Klever - 1.0 Actions
9054 Klever Bug Closed Immediate Exception when ssh-key is not specified Pavel Andrianov Evgeny Novikov Klever - 1.0 Actions
8956 Klever Bug Closed Urgent Klever fails with corrupted Pavel Andrianov Evgeny Novikov Klever - 1.0 Actions
8005 Klever Bug Closed Immediate Handle exceptions in witness processing Pavel Andrianov Evgeny Novikov Actions
8003 Klever Bug Closed Urgent Exception while visualizing error trace Pavel Andrianov Evgeny Novikov Actions
7258 Klever Bug Rejected High BCE fails while building Linux kernel v. 4.5 Pavel Andrianov Evgeny Novikov Actions
9820 Klever Bug Closed Urgent Nondeterministic environment model Pavel Andrianov Ilja Zakharov Klever - 3.0 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
8460 Klever Bug Closed Urgent Klever stops solving tasks Pavel Andrianov Ilja Zakharov Klever - 0.2 Actions
8306 Klever Bug New Normal EMG registers random interrupt handler Pavel Andrianov Ilja Zakharov Actions
8266 Klever Bug New Normal EMG should consider cases when a kernel function with a model is set as handler Pavel Andrianov Ilja Zakharov Actions
8052 Klever Bug New Normal Missed return value of usb_serial_driver->open Pavel Andrianov Ilja Zakharov Actions
7996 Klever Bug Closed Normal Scheduler fails with exception Pavel Andrianov Ilja Zakharov Actions
7619 Klever Bug New Normal EMG generates incorrect parallel model for sending signals case Pavel Andrianov Ilja Zakharov Actions
7523 Klever Bug New Normal EMG mixes calls of handlers from different structures Pavel Andrianov Ilja Zakharov Actions
7425 Klever Bug Closed Normal EMG generates incorrect C code for parallel model Pavel Andrianov Ilja Zakharov Actions
7322 Klever Bug New Normal EMG should not translate all signals to thread_join in parallel model Pavel Andrianov Ilja Zakharov Actions
7278 Klever Bug Closed Urgent EMG deactivates all automatons at the same time Pavel Andrianov Ilja Zakharov Actions
7277 Klever Bug Closed Normal EMG generates useless code Pavel Andrianov Ilja Zakharov Actions
(1-25/71) Per page: 25, 50, 100

Also available in: Atom CSV PDF