Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9284 Deductive Verification Tools for Linux Kernel Bug New Normal jingoo 1.2.18 падает generate.ml Grigoriy Volkov Mikhail Mandrykin
9281 Retrascope Feature Resolved Normal cmdline option that specifies clock variable for CGAA model Sergey Smolov Sergey Smolov Retrascope - 1.0
9280 Retrascope Task Verified Normal prepare the code to 1.1.1 release Sergey Smolov Mikhail Lebedev Retrascope - 1.0
9278 Retrascope Task Resolved Normal use CGAA model instead of EFSM-based assertions to get clocks Sergey Smolov Mikhail Lebedev Retrascope - 1.0
9277 Retrascope Task Verified High mv clock-like variable detection to CFG-to-CGAA transformer Sergey Smolov Sergey Smolov Retrascope - 1.0
9275 Retrascope MC Benchmark Bug New Normal vcegar/pj_icram: too big arrays Mikhail Lebedev Mikhail Lebedev
9273 Klever Feature New Urgent New translation mode for EMG Pavel Andrianov Ilja Zakharov Klever - 2.0
9272 Klever Feature New Urgent Main generation without info-requests Pavel Andrianov Ilja Zakharov Klever - 2.0
9271 Klever Feature New Urgent Main generation with information about sharedness of parameters Pavel Andrianov Ilja Zakharov Klever - 2.0
9270 Requality Feature New Normal Добавить поддержку Suspect links Denis Kildishev
9264 Retrascope Feature Verified Normal '--disable-backends' cmdline option for HDL parser engine Sergey Smolov Sergey Smolov Retrascope - 1.0
9249 Retrascope Task Verified Normal separate jUnit test cases for EfsmGraphMlPrinter engine Sergey Smolov Sergey Smolov Retrascope - 1.0
9248 Retrascope Task Verified High CFG model process should not have it's own internal variables Sergey Smolov Sergey Smolov Retrascope - 1.0
9247 Retrascope Feature Open High CFG-to-C printer Sergey Smolov Sergey Smolov Retrascope - 1.0
9246 Klever Feature Resolved Urgent Get ready rule specifications for verification of C programs Evgeny Novikov Evgeny Novikov Klever - 2.0
9244 Klever Feature New Urgent Refactor models and rule specifications related both with EMG and requirements Evgeny Novikov Evgeny Novikov Klever - 2.1
9243 Klever Feature New Urgent Add more tests for models related both with EMG and requirements Evgeny Novikov Evgeny Novikov Klever - 2.1
9242 Retrascope Task Verified High check BVEXTRACT operation's parameter order Sergey Smolov Sergey Smolov Retrascope - 1.0
9236 Klever Feature New Urgent Get rid of option duplicates within rule specifications base Evgeny Novikov Ilja Zakharov Klever - 2.1
9233 Klever Bug New High "make" failed for drivers/mtd/mtd.ko Vadim Mutilin
9228 Retrascope Bug Verified Normal Index ranges disappear in the new version of a variable Mikhail Lebedev Sergey Smolov Retrascope - 1.0
9227 Retrascope Feature Resolved High support for 'BVEXTRACT(x y (SELECT z w))' constructions in left hand sides of assigments Sergey Smolov Sergey Smolov Retrascope - 1.0
9221 Klever Feature Resolved Urgent Add a rule for svcomp tasks generation Pavel Andrianov Pavel Andrianov Klever - 2.0
9217 MicroTESK Task Verified Normal Use 'ru.ispras.castle.codegen' package classes from Castle Sergey Smolov
9197 Requality Bug New Normal В module editor изменяются составные идентефикаторы Denis Kildishev
(1-25/1695) Per page: 25, 50, 100

Also available in: Atom CSV PDF