Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9291 Retrascope Task Closed Normal use nuXmv 1.1.1 Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
10058 Retrascope Task New Normal User documentation Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
9217 MicroTESK Task Closed Normal Use 'ru.ispras.castle.codegen' package classes from Castle Sergey Smolov Actions
9191 Retrascope Task Closed Normal use StringTemplate facilities to generate HDL testbenches Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
6990 Retrascope IDE Task Rejected Normal use veditor 1.2.1c Sergey Smolov Sergey Smolov Retrascope IDE - 0.1 Actions
5755 Retrascope Task Closed Low use Zamia IG visitors & walkers Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5420 Retrascope Task Closed Normal [util] метод fillNodeWithValues заменить на Transformer.substituteAllBindings Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5578 Retrascope Task Closed Normal [verilog][parser][cfg] add support of multiple assignments Sergey Smolov Mikhail Chupilko Retrascope - 0.1 Actions
5398 Retrascope Task Closed Normal [verilog][parser][cfg] Преобразование констант в NodeValue Sergey Smolov Mikhail Chupilko Retrascope - 0.1 Actions
9726 Retrascope Test Suite Task Closed Normal VerilogPrinter test cases Sergey Smolov Sergey Smolov Actions
9899 Verilog Translator Task Verified Normal VerilogPrinter test cases for QUIP benchmarks Sergey Smolov Maxim Chudnov Verilog Translator - 0.1 Actions
5549 Retrascope Task Closed Normal [vhdl][cfg][parser] add support of instantiation Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
4466 Retrascope Task Closed Normal [vhdl][parser][cfg] преобразование IGSequentialWait Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5175 Retrascope Task Closed Normal [vhdl][parser] IG array elaboration Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6049 Retrascope Task Closed Normal VHDL test printer: write documentation to project wiki Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
4984 Retrascope Task Closed Normal [vhdl][translator] Группировка неблокирующих присваиваний Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4925 Retrascope Task Closed Normal [vhdl][translator] Обработка непрерывных присваиваний Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6389 Retrascope Task Closed Normal Wiki documentation about testbench simulation Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5482 Retrascope Task Closed Normal [wiki] documentation for 0.1-alpha Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6976 Retrascope Task Closed Normal Wiki update Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5142 Retrascope Task Closed Normal [wiki] Классификация Engine Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
9373 QEMU4V Task Closed Normal write a PowerPC-related chapter to "Getting Started" Sergey Smolov Maxim Chudnov QEMU4V - 0.3 Actions
3624 С++TESK Development Environment Task Closed Normal XML dumping\parsing Sergey Smolov Sergey Smolov Actions
7081 Retrascope Task Rejected Normal xor-composition-printer Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5465 Fortress Task Closed Normal [z3][solver] solver errors elaboration scheme Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
(626-650/675) Per page: 25, 50, 100

Also available in: Atom CSV PDF