Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5897 Retrascope Task Closed Normal fix javadoc for methods using InvariantChecks.checkNotNull Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5896 Retrascope Task Closed Normal remove parameterized collections from public method interfaces Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5881 Verilog Translator Task Closed Normal keep file names in the AST top nodes Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
5875 Retrascope Task Closed Normal Check state/transition count for extracted EFSM models Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5873 Retrascope Bug Closed High missing transitions in b04 EFSM Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5872 Retrascope Task Closed Normal HDL file meta info Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5868 Retrascope Task Closed Normal Migrate to Fortress 0.4 Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5836 Local Support Project Bug Resolved High не собирается проект на сервере Jenkins Sergey Smolov Sergey Smolov Actions
5832 Retrascope Task Closed Normal print some info about failed tests Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5756 Retrascope Task Closed Normal EFSM pre-initial state + initialization action Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5755 Retrascope Task Closed Low use Zamia IG visitors & walkers Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5704 Retrascope Task Closed Normal try to find a way to remove 'toplevel' option Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5696 Retrascope Task Closed Normal exclude sandbox & test folder from distribution Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5695 Retrascope Task Closed Normal mark retrascope.sh as executable automatically Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5694 Retrascope Task Closed Normal collect the *.smt2 files and analyse constraints Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5689 Retrascope Task Closed High implement test-to-Verilog printer Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5683 Retrascope Task Closed Normal STD_LOGIC/STD_ULOGIC processing Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5651 Verilog Translator Task Closed Normal Translate logic operation results into Boolean expressions Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
5609 Retrascope Task Rejected Normal make process-local variables be efsm-model-global Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5592 Retrascope Task Closed Normal [project] prepare tar.gz distribution for future release Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5591 Retrascope Task Closed Normal [project] run scripts for Unix/Windows Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5590 Retrascope Task Closed Normal [efsm][extraction] implement an EFSM initial state & 'reset' signal heuristics Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5589 Retrascope Task Closed Normal [efsm][extraction] state-like variables use/def statistics Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5588 Retrascope Task Closed Normal extend HDL test suite Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
5579 Retrascope Task Closed Normal [cfg] simplify the Assignment class Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
(551-575/677) Per page: 25, 50, 100

Also available in: Atom CSV PDF