Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8555 Klever Bug New Normal Hide information about user access to a job for users with weak access Pavel Andrianov Actions
8336 Klever Feature Closed High Option to hide unconfirmed unsafes Pavel Andrianov Vladimir Gratinskiy Actions
8334 Klever Feature Closed High Clear log message in case of uploading marks Pavel Andrianov Vladimir Gratinskiy 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
8051 Klever Bug Closed Urgent Editing of marks is unavailable after an error Pavel Andrianov Vladimir Gratinskiy 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
7996 Klever Bug Closed Normal Scheduler fails with exception Pavel Andrianov Ilja Zakharov Actions
7993 Klever Bug Closed Immediate Some attributes are not shown Pavel Andrianov Vladimir Gratinskiy Actions
7969 Klever Bug Rejected Immediate Sources are not displayed Pavel Andrianov Actions
7968 Klever Bug Rejected Immediate Logs are not outputed for visualization errors Pavel Andrianov Actions
7950 Klever Bug Closed Immediate RSB fails with TypeError Pavel Andrianov Pavel Andrianov Actions
7910 Klever Bug Rejected Immediate Exception while vizualizing error trace Pavel Andrianov Actions
7899 Klever Bug Rejected Normal EMG generates multiple goto statements Pavel Andrianov Actions
7885 Klever Bug Closed Urgent Exception while vizualizing error trace Pavel Andrianov Anton Vasilyev 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
7455 Klever Bug Rejected Normal Incorrect syntax highlighting Pavel Andrianov Actions
7425 Klever Bug Closed Normal EMG generates incorrect C code for parallel model Pavel Andrianov Ilja Zakharov Actions
7342 Klever Bug Rejected Normal Option cpa.arg.errorPath.exportImmediately=true is broken with valueAnalysis Pavel Andrianov Actions
7322 Klever Bug New Normal EMG should not translate all signals to thread_join in parallel model Pavel Andrianov Ilja Zakharov Actions
7302 Klever Bug Closed Immediate Bridge spends a lot of time for uploading a result of verification task Pavel Andrianov Vladimir Gratinskiy Actions
7295 Klever Feature Closed Immediate Roll functions in the error trace by clicking a closing bracket Pavel Andrianov Vladimir Gratinskiy Actions
(26-50/72) Per page: 25, 50, 100

Also available in: Atom CSV PDF