Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
7623 Retrascope Task Closed Normal HLDD-to-SMV printer with no assertions Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5569 Retrascope Task Closed Normal support process variable declarations Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
10128 Retrascope Task Verified Normal rename multi-test classes: "*TestCase" -> "*TestSuite" Sergey Smolov Maxim Chudnov Retrascope - 1.1 Actions
9564 Retrascope Test Suite Task Closed Normal tests for EBMC tool Sergey Smolov Sergey Smolov Actions
6446 Retrascope Task New Normal Promela translator to CFG representation (no buffers) Sergey Smolov Mikhail Lebedev Retrascope - 2.0 Actions
7727 Retrascope Task Closed Normal Flatten module instances Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
3406 Retrascope Task Closed Normal CFG extraction from guarded atomic actions (GAA) set. Sergey Smolov Sergey Smolov Actions
4465 Retrascope Task Closed Normal Объединение присваиваний в базовых блоках Sergey Smolov Sergey Smolov Actions
10000 Retrascope Task Verified Normal README\ChangeLog -> README.md\ChangeLog.md Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10258 QEMU4V Task Closed Normal migrate to QEMU 5.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
9839 Retrascope Test Suite Task Rejected Normal scripts for commercial FV tools running Sergey Smolov Sergey Smolov Actions
9964 Retrascope Task Verified Normal add HDL examples to project distribution Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
4999 Retrascope Task Closed Normal [cfg][transformer][cgaa] CFG-to-GADD transformer Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
10058 Retrascope Task New Normal User documentation Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
5504 Retrascope Task New Normal add channels between EFSMs Sergey Smolov Mikhail Lebedev Retrascope - 1.2 Actions
9909 QEMU4V Task Closed Normal migrate to QEMU 4.2.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
9488 Retrascope Task New Normal CFG-GADD transformer backend that makes assignments index and range-free Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
9917 QEMU4V Task Closed Normal check QEMU4V-specific code on compliance with coding style Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
9986 QEMU4V Task New Normal check if QEMU4V features can be implemented as TCG plugin Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
9806 Retrascope Task Closed Normal rm dependency from commons-lang library Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
6410 Retrascope Task Closed Normal no-loop/no-recursion functions elaboration Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
9863 QEMU4V Task Closed Normal use Gradle 4.10.3 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
9862 QEMU4V Task Closed Normal migrate to QEMU 4.1.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
6431 Retrascope Task Closed Normal descriptor for (VHDL) variables & signals 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
(101-125/677) Per page: 25, 50, 100

Also available in: Atom CSV PDF