Issues

Filters

Apply Clear

Toggle_check # Project Tracker Status Priority Subject Author Assignee Target version
8311Deductive Verification Tools for Linux KernelBugNewNormalWhy3: failure in package uninstall script (cannot find install-sh)Denis EfremovMikhail Mandrykin
8307RequalityBugNewNormalStackOverflow при вызове GenerateReportHandler.generateReport(ReportSettings)Максим Карпов
8306KleverBugNewNormalEMG registers random interrupt handlerPavel AndrianovIlja Zakharov
8305RetrascopeFeatureResolvedNormalEFSM state limitSergey SmolovSergey Smolov0.2
8302KleverBugNewHighCollapse reports of Cancelled job loses number of tasksAnton VasilyevVladimir Gratinskiy
8301KleverBugNewUrgentRestore submiting of specific errors on timelimits and memlimitsIlja ZakharovIlja Zakharov
8300C Instrumentation FrameworkSupportNewNormalCIF DocumentationPrashant Nandakumar
8299KleverFeatureResolvedUrgentImplement a new request to get statuses of solving tasksIlja ZakharovVladimir Gratinskiy
8298KleverFeatureNewHighHighlight tag rightsEvgeny NovikovVladimir Gratinskiy
8297KleverFeatureNewUrgentAdd support for automatic regression testingEvgeny NovikovVladimir Gratinskiy
8296KleverFeatureNewUrgentPrepare scripts for automatic deployment on most popular Linux distributions of the latest versionsEvgeny NovikovEvgeny Novikov
8295RequalityBugNewNormalГенератор значений атрибута не открывается после создания другого атрибутаViktoria Gingina
8294RequalityBugNewNormalГенератор значений атрибута - проблемы с полем FormulaViktoria Gingina
8293RetrascopeTaskVerifiedNormaladd VeriTrans & Fortress info to NOTICESergey SmolovSergey Smolov0.2
8291RequalityBugVerifiedNormalПосле Update в Locations отображаются виртуальные узлыViktoria Gingina
8289RetrascopeBugVerifiedNormalITC99 b02: no resetting transition has been foundSergey SmolovSergey Smolov0.2
8288RetrascopeTaskResolvedNormaluse DFS_NO_RPT walking where it is possibleSergey SmolovSergey Smolov0.2
8286KleverFeatureNewUrgentClarify what resource limits are exceededEvgeny NovikovIlja Zakharov
8285RetrascopeBugNewNormal0% coverage of EFSM transitions for b01 exampleSergey SmolovSergey Smolov0.2
8284RequalityBugResolvedNormalПри добавлении второго фрагмента требованию первый становится orphanViktoria Gingina
8283RetrascopeBugResolvedNormal"X <= (others => '0')" should be translated properly when X is bit vectorSergey SmolovSergey Smolov0.2
8282RetrascopeFeatureResolvedNormalapply SLV detection heuristic to more than one CGAA pathSergey SmolovSergey Smolov0.2
8281RequalityBugNewLowError message при создании проекта RequalityViktoria Gingina
8279RequalityBugResolvedNormalПри перетаскивании (move) тестовых ситуаций возникает ошибкаViktoria Gingina
8274KleverFeatureNewHighSupport advanced attributes comparisonEvgeny NovikovVladimir Gratinskiy

1 2 3 ... 58 (1-25/1442) Per page: 25, 50, 100

Also available in: Atom CSV PDF