Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9521 Retrascope Bug Verified High NuSMV works too slow on ITC'99 b11 design Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9658 Retrascope Task New Normal Check for duplicated data access conflict assertions Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9562 Retrascope Bug New Normal ru.ispras.retrascope.engine.hldd.printer.smv.usedef.MemStageUseDefSmvPrinterTestCase: model checker crashes without errors in *.smvlog Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9503 Retrascope Feature Verified Normal when debug option is enabled, pass it to the model checker as well Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9485 Retrascope Bug Verified Normal missing javadoc Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9456 Retrascope Task New Normal New phase-free SMV model representation using formulas Mikhail Lebedev Mikhail Lebedev Retrascope - 1.0 Actions
9041 Retrascope Feature Verified Normal when model checker returns an error, print it's log to the Retrascope output Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9278 Retrascope Task Verified Normal use CGAA model instead of EFSM-based assertions to get clocks Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9335 Retrascope Feature New Normal cgaa-assert-extractor engine Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9275 Retrascope MC Benchmark Bug New Normal vcegar/pj_icram: too big arrays Mikhail Lebedev Mikhail Lebedev Actions
9280 Retrascope Task Verified Normal prepare the code to 1.1.1 release Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9071 Retrascope MC Benchmark Bug Open Normal ru.ispras.retrascope.engine.hldd.printer.smv.Texas97HlddSmvPrinterTestCase.runTest: java.lang.IllegalArgumentException: Unknown operation 'FUNCTION' Sergey Smolov Mikhail Lebedev Actions
6472 Retrascope Task Resolved Normal b13.vhd: too long elaboration time Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
5504 Retrascope Task New Normal add channels between EFSMs Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
6446 Retrascope Task New Normal Promela translator to CFG representation (no buffers) Sergey Smolov Mikhail Lebedev Retrascope - 2.0 Actions
4892 Retrascope Task New Normal Анализ набора блок-схем на взаимные блокировки Alexander Kamkin Mikhail Lebedev Retrascope - 2.0 Actions
4057 Retrascope Feature New Normal Механизм поиска взаимных блокировок Igor Melnichenko Mikhail Lebedev Retrascope - 2.0 Actions
    (1-17/17)

    Also available in: Atom CSV PDF