Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9196 Retrascope Task Closed Normal CfgVarRangeBlockBackend: use array length for assignment elaboration Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9191 Retrascope Task Closed Normal use StringTemplate facilities to generate HDL testbenches Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8994 Retrascope Task Closed Normal "BVEXTRACT( ... BVEXTRACT (j i x))" expression transformation rule to the tool ruleset Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8976 Retrascope Task Closed Normal Range: old -> high, young -> low Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8975 Retrascope Task Closed Normal RetrascopeException.makeException -> RetrascopeException.exception Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8432 Trace Matcher Task Closed Normal register records: register names can contain all but space symbols Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
8430 Retrascope Task Closed Normal meta-info type for CFG statements that were added by HDL parser backends Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8429 Retrascope Task Closed Normal backend that transforms "x[i] := y" assignments into constant-ranged Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8293 Retrascope Task Closed Normal add VeriTrans & Fortress info to NOTICE Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8288 Retrascope Task Closed Normal use DFS_NO_RPT walking where it is possible Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8205 Verilog Translator Task Closed Normal Gradle-based build environment Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
8194 Retrascope Task Closed Normal Separately solve independent sub-expressions of common AND expression Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8184 Trace Matcher Task Closed Normal compare record fields in case insensitive mode Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
8181 Trace Matcher Task Closed Normal check whether trace records are ordered by time Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
8179 Trace Matcher Task Closed Normal ChangeLog Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
8161 Trace Matcher Task Closed Normal Basic modules Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
8113 Trace Matcher Task Closed Normal Gradle build environment Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
7972 Retrascope Task Closed Normal empty event-free cases merging backend Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7906 Retrascope Task Closed Normal Backend that merges "neighbour ranged" sequential 'if' statements Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7806 Retrascope Task Closed Normal [cgaa] process - collection of diagrams Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7772 Fortress Task Closed High TypeConversion.coerce: transform from MAP to BIT_VECTOR Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
7770 Retrascope Task Closed Normal 'others' attribute upon array/bitvector initialization Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
7742 Retrascope Task Closed Normal enum support Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7733 Trace Matcher Task Closed Normal run.bat script for Windows Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
7732 Trace Matcher Task Closed Normal oracle: record queue based comparison approach Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
(501-525/677) Per page: 25, 50, 100

Also available in: Atom CSV PDF