Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8289 Retrascope Bug Closed Normal ITC99 b02: no resetting transition has been found 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
8285 Retrascope Bug Closed Normal 0% coverage of EFSM transitions for b01 example Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
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
8260 Retrascope Feature Closed Normal VHDL record support (non-aggregate case) Sergey Smolov Maxim Chudnov Retrascope - 1.0 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
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
7753 Retrascope Bug Closed Normal example.vhd: cannot generate SMV-based test Sergey Smolov Sergey Smolov Retrascope - 0.2 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
7730 MicroTESK Bug Closed High [tarmac-logger] missing "<cpu>" tag Sergey Smolov Andrei Tatarnikov MicroTESK - 2.4 Actions
7727 Retrascope Task Closed Normal Flatten module instances Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7725 Verilog Translator Task Closed Normal bitvector arrays support Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
7720 Retrascope Bug Closed Normal mips16/data_mem.v: The expression to be computed (ram) contains unevaluated variables: [ram] Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7715 Retrascope Task Closed Normal [refactoring] duplicate code in AssertionVariableContainer Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7663 Trace Matcher Task Closed Normal "main" function Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
7626 Retrascope Task Closed Normal HDL Retrascope 0.2.2-beta release Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7623 Retrascope Task Closed Normal HLDD-to-SMV printer with no assertions Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7597 Retrascope Task Closed Normal EfsmTransition.getGuardedAction().getGuard() -> EfsmTransition.getGuard() Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7595 Retrascope Task Closed Normal GuardedAction.getGuard().getNode() -> GuardedAction.getGuardNode() Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7593 Retrascope Bug Closed Normal mips16\data_mem.v: java.lang.IllegalArgumentException Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7576 Retrascope Bug Closed Normal mips16/hazard_detection_unit.v: java.lang.IllegalArgumentException: Constraint contains errors Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7574 Retrascope Task Closed Normal Efsm: deepCopy() Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7564 MicroTESK Task Closed Normal "How to build MicroTESK" guide for developers in project Wiki Sergey Smolov Alexander Kamkin MicroTESK - 2.5 Actions
7557 Fortress Bug Closed High ConstCastTestCase: java.lang.AssertionError: Calculator failed to substitute result Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
7555 Fortress Bug Closed Normal unable to create constraint-related jUnit tests including unused variables Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
7546 Retrascope Task Closed Normal Print tool execution time in milliseconds Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7527 Fortress Task Closed Normal constant casting while type conversion Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
7524 Verilog Translator Task Closed Normal support for non-zero-starting bit vector variables & signals Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
7474 Verilog Translator Bug Closed Normal missing empty branches for 'if' statements Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
7409 Retrascope Task Closed Normal EFSM state abstraction (stabilization) Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7402 Fortress Task Closed Normal ExprUtils: ignore repeated Node objects upon conjunction/disjunction construction Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7397 Fortress Task Closed Normal NodeVariable.new<type-of-variable>(final String name) Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7383 Fortress Task Closed Normal boolean isOperation(final Node expr, final T... opId) Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7378 Fortress Task Closed Low NodeTransformer: multiple transform rules for a single enum id Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
7271 Retrascope Task Closed Normal add javadoc for new methods when efsm.state.abstraction branch will be merged into master Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7166 Retrascope Bug Closed Normal cfg-rnd-testgen: OutOfMemoryError at b10 (1.000.000 ticks) Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7145 Retrascope Bug Closed Normal cfg-rnd-testgen: take variable invariants into account Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7104 Retrascope Task Closed High smv-test-parser: filter tests Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7098 Verilog Translator Bug Closed Normal src/test/verilog/mips16/data_mem.v: 'mem_access_addr' has null declaration Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
7097 Retrascope Bug Closed Normal 32-bit constants should be casted to appropriate values Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7096 Retrascope Task Closed Normal assign process merging backend Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6984 Retrascope IDE Bug Closed Normal java.io.IOException: Unable to resolve plug-in "platform:/plugin/retrascope-ide/icons/retrascope.gif". Sergey Smolov Sergey Smolov Retrascope IDE - 0.1 Actions
6983 Retrascope IDE Task Closed Normal [cfg][visualizator][zest] visualize CfgAssertStatement & CfgLoopStatement nodes Sergey Smolov Sergey Smolov Retrascope IDE - 0.1 Actions
6976 Retrascope Task Closed Normal Wiki update Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6959 Retrascope IDE Bug Closed High java.lang.NullPointerException at startup Sergey Smolov Sergey Smolov Retrascope IDE - 0.1 Actions
6956 Retrascope Task Closed Normal HDL Retrascope 0.2.1 release Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6892 Retrascope Bug Closed Normal support for non-zero starting bitvectors Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6864 Retrascope Task Closed Normal Remove crypto-cores from test suite Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6831 Fortress Task Closed Normal ESExprParser: improve error messages Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
6758 Retrascope Task Closed Normal return state/transition coverage for the specified EFSM & test entities Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6730 Retrascope Bug Closed Normal fix javadoc Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6537 Retrascope Developer Request Closed Normal Efsm: collection of resetting guarded actions Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6534 Retrascope Task Closed Normal pass reset-like signals to EFSM-based assertions Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6528 Retrascope Task Closed Normal random test generator Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6510 Retrascope Bug Closed Normal fix javadoc Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6507 Castle Task Closed Normal build.gradle: get ANTLR jar from server Sergey Smolov Sergey Smolov Actions
6504 Retrascope Bug Closed Normal fifo/fifo.v: nuSMV model checker returns ERROR Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6490 Retrascope Task Closed High Gradle task & cmdline scripts for running the tool from terminal Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6483 Retrascope Task Closed High keep related clock-like variables for top-level containers of EFSM assertions Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6472 Retrascope Task Closed Normal b13.vhd: too long elaboration time Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
6456 Retrascope Task Closed High CFG model as hirerarchical list of statements Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6454 Retrascope Task Closed Normal group sequential switches with boolean conditions of "x == a" form Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6453 Retrascope Task Closed Normal Statement class for grouping CFG nodes Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6447 Retrascope Task Closed Normal SMV-based counterexamples parser Sergey Smolov Mikhail Lebedev Retrascope - 0.2 Actions
6445 Retrascope Task Closed Normal compare nuXmv and NuSMV Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6443 Retrascope Bug Closed Normal print error message when "--toplevel" value is wrong Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6431 Retrascope Task Closed Normal descriptor for (VHDL) variables & signals Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6430 Retrascope Bug Closed Normal b14.vhd: StackOverflowError Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6426 Retrascope Bug Closed Normal example.vhd: HlddXmvVisitor.onProcessEnd(HlddXmvVisitor.java:381) -> NullPointerException Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6425 Retrascope Bug Closed Normal b12.vhd: XmvExprPrinter.getConstant(XmvExprPrinter.java:330) -> NullPointerException Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6424 Retrascope Bug Closed Normal b05.vhd: line 64: at token "d32_-10": syntax error Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6413 Retrascope Bug Closed Normal b03.vhd: different EFSM extraction stats Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6410 Retrascope Task Closed Normal no-loop/no-recursion functions elaboration 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
(301-400/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF