Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8283 Retrascope Bug Closed Normal "X <= (others => '0')" should be translated properly when X is bit vector Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8282 Retrascope Feature Closed Normal apply SLV detection heuristic to more than one CGAA path Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8262 Retrascope Feature Closed Normal phase variable based approach for CFG-CGAA-EFSM optimisation Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8245 Retrascope Bug Closed Normal cfg-rnd-testgen: IllegalArgumentException at minimips\pps_pf.v Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8244 Retrascope Bug Closed Normal CGAA-to-EFSM engine falls on b05 test Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8242 Trace Matcher Bug Closed Normal print hexadecimal values to the output file in the same form as they were at input flies Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
8237 Retrascope Bug Closed Normal CFG random test generator works too slow on b19 Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8220 Retrascope Feature Closed Normal BV_INC6 VHDL function support Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8206 Trace Matcher Feature Closed Normal "--debug" command line option Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
8205 Verilog Translator Task Closed Normal Gradle-based build environment Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
8204 Fortress Feature Closed Normal solver-specific header for generated SMT2 files Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
8203 Fortress Feature Closed Normal bv2nat\int2bv operations Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
8199 Trace Matcher Feature Closed Normal "ignore-the-rest" command line option Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
8198 Trace Matcher Feature Closed Normal "exit-on-first-divergence" command line option Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
8197 Trace Matcher Feature Closed Normal "matching window in ticks" command line option Sergey Smolov Sergey Smolov Trace Matcher - 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
7883 Retrascope Bug Closed Normal fifo_testbench.v: java.lang.NullPointerException 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
(451-475/677) Per page: 25, 50, 100

Also available in: Atom CSV PDF