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
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
9485 Retrascope Bug Verified Normal missing javadoc Sergey Smolov Mikhail Lebedev Retrascope - 1.0
9456 Retrascope Task New Normal New phase-free SMV model representation using formulas Mikhail Lebedev Mikhail Lebedev Retrascope - 1.0
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
9278 Retrascope Task Verified Normal use CGAA model instead of EFSM-based assertions to get clocks Sergey Smolov Mikhail Lebedev Retrascope - 1.0
9335 Retrascope Feature New Normal cgaa-assert-extractor engine Sergey Smolov Mikhail Lebedev Retrascope - 1.0
9275 Retrascope MC Benchmark Bug New Normal vcegar/pj_icram: too big arrays Mikhail Lebedev Mikhail Lebedev
9280 Retrascope Task Verified Normal prepare the code to 1.1.1 release Sergey Smolov Mikhail Lebedev Retrascope - 1.0
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
6472 Retrascope Task Resolved Normal b13.vhd: too long elaboration time Sergey Smolov Mikhail Lebedev Retrascope - 1.0
5504 Retrascope Task New Normal add channels between EFSMs Sergey Smolov Mikhail Lebedev Retrascope - 1.0
6446 Retrascope Task New Normal Promela translator to CFG representation (no buffers) Sergey Smolov Mikhail Lebedev Retrascope - 2.0
4892 Retrascope Task New Normal Анализ набора блок-схем на взаимные блокировки Alexander Kamkin Mikhail Lebedev Retrascope - 2.0
4057 Retrascope Feature New Normal Механизм поиска взаимных блокировок Igor Melnichenko Mikhail Lebedev Retrascope - 2.0
    (1-15/15)

    Also available in: Atom CSV PDF