Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
6412 Retrascope Task Rejected Normal engine combining HLDD & assertion model 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
6393 Retrascope Task Rejected Normal migrate to EFSM model containing only concurrent assignments Sergey Smolov Igor Melnichenko Retrascope - 0.2 Actions
6389 Retrascope Task Closed Normal Wiki documentation about testbench simulation Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6375 Retrascope Bug Closed Normal missing javadoc Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6367 Retrascope Task Closed Urgent Fortress expressions printing in an SMV format Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6366 Retrascope Bug Rejected Normal src/test/vhdl/example/test.vhd: Efsm.UNINITIALISED_STATE isn't supported yet Sergey Smolov Igor Melnichenko Retrascope - 0.2 Actions
6365 Retrascope Bug Closed Normal src/test/vhdl/example/example.vhd: IllegalArgumentException Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6362 Retrascope Bug Rejected Normal src/test/verilog/adder/adder4_testbench.v: wrong CFG model Sergey Smolov Mikhail Chupilko Retrascope - 0.1 Actions
6354 Retrascope Task Closed Normal Collapsing group node for Module Sergey Smolov Alexander Protsenko Retrascope - 0.1 Actions
6353 Retrascope Bug Closed Normal Case children of one Switch node can have equal NodeValue Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6350 Retrascope Task Closed Normal EfsmConflictExtractor wiki documentation Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6336 Retrascope Task Closed Normal jUnit tests for EfsmConflictExtractor Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6335 Retrascope Bug Closed Normal fifo.v: non-constant number of extracted EFSMs' transitions Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6331 Retrascope Task Closed Normal look into unused classes Sergey Smolov Sergey Smolov Actions
6327 Retrascope Task Closed Normal log messages class Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6301 Retrascope Task Closed Normal unused code Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
6293 Retrascope Bug Closed Normal XmlTestParserTestCase: NoSuchMethodException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6282 Retrascope Task Closed High finish AstSmvVisitor & CfgAstVisitor merge Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6281 Retrascope Bug Closed Normal EfsmTestGeneratorVhdlTestCase: Efsm.UNINITIALISED_STATE isn't supported yet Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6280 Retrascope Bug Closed Normal TestVhdlTestbenchPrinterVhdlTestCase: The exception has occurred while printing test pattern file Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6279 Retrascope Bug Closed Normal TestXmlPrinterTestCase: IllegalArgumentException: Output file name isn't specified Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6263 Retrascope Bug Closed High Crash when test generation engine elaborates EFSMs from alu.vhd: java.lang.IllegalArgumentException Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6061 Retrascope Task Closed Normal EFSM-based transition assertion generator Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
6060 Retrascope Task Closed Normal Add plasma to project test suite Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6059 Retrascope Task Closed Normal Simple solver for "x && !x" constraints Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6051 Retrascope Task Closed Normal state-like variable names option Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6050 Retrascope Task Closed High Path to testbench directory as command-line parameter Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6049 Retrascope Task Closed Normal VHDL test printer: write documentation to project wiki Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6041 Retrascope Task Closed Normal move to gradle based build system Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5904 Retrascope Task Closed Normal save jUnit test results in build/test-results Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5897 Retrascope Task Closed Normal fix javadoc for methods using InvariantChecks.checkNotNull Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5896 Retrascope Task Closed Normal remove parameterized collections from public method interfaces Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5887 Retrascope Task Closed Normal rename 'decider_parser.vhd' Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5875 Retrascope Task Closed Normal Check state/transition count for extracted EFSM models Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5873 Retrascope Bug Closed High missing transitions in b04 EFSM 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
5871 Retrascope Bug Closed Normal ru.ispras.retrascope.test.printer.testbench -> ru.ispras.retrascope.engine.test.printer.testbench Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5870 Retrascope Task Closed Normal Retrascope exceptions Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5868 Retrascope Task Closed Normal Migrate to Fortress 0.4 Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5832 Retrascope Task Closed Normal print some info about failed tests Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5831 Retrascope Bug Closed Normal EfsmSimulator.java -> Tag @see: can't find getResetGuardedAction() in ru.ispras.retrascope.model.efsm.Efsm Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5828 Retrascope Bug Closed Normal TestVhdlTestbenchPrinterVhdlTestCase -> IllegalArgumentException: Unexpected event value: true Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5827 Retrascope Bug Closed Normal TestVhdlTestbenchPrinterDummyTestCase -> NoSuchFileException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5778 Retrascope Bug Closed Normal ru.ispras.retrascope.engine.testbench.TestVhdlTestbenchPrinterTestCase -> java.util.NoSuchElementException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5756 Retrascope Task Closed Normal EFSM pre-initial state + initialization action Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5755 Retrascope Task Closed Low use Zamia IG visitors & walkers Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5736 Retrascope Bug Closed Normal EfsmSimulator.substituteVariables(EfsmSimulator.java:736) -> NullPointerException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5719 Retrascope Bug Closed Urgent EFSM Test Generator hangs on b11 Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5715 Retrascope Bug Closed High EfsmTestGenerator.java:138: error: method put in interface Map<K,V> cannot be applied to given types -> traversedPaths.put(efsm, new HashSet<>()); Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5711 Retrascope Task Closed Normal Check generated *.smv files with external model checker Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
5709 Retrascope Bug Closed Normal TestMinimiser.java:43: warning - @param argument "test" is not a parameter name. Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5704 Retrascope Task Closed Normal try to find a way to remove 'toplevel' option Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5696 Retrascope Task Closed Normal exclude sandbox & test folder from distribution Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5695 Retrascope Task Closed Normal mark retrascope.sh as executable automatically Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5694 Retrascope Task Closed Normal collect the *.smt2 files and analyse constraints Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5692 Retrascope Bug Rejected Normal FATE/FATE+ hangs on b03 with Java 1.8 Sergey Smolov Igor Melnichenko Actions
5689 Retrascope Task Closed High implement test-to-Verilog printer Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5688 Retrascope Task Closed Normal implement test-to-VHDL printer Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5684 Retrascope Bug Rejected Low computeExpression -> LOGIC_BOOLEAN vs (MAP LOGIC_INTEGER LOGIC_BOOLEAN) Sergey Smolov Igor Melnichenko Retrascope - 0.2 Actions
5683 Retrascope Task Closed Normal STD_LOGIC/STD_ULOGIC processing Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5680 Retrascope Bug Closed Urgent [efsm][generator][test][fate] DirectedFateGenerator.generateSequence -> NullPointerException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5648 Retrascope Bug Rejected High EfsmSimulator.executeAssignment -> Unsupported data type of ranged variable: (MAP LOGIC_INTEGER LOGIC_INTEGER) Sergey Smolov Igor Melnichenko Retrascope - 0.2 Actions
5609 Retrascope Task Rejected Normal make process-local variables be efsm-model-global Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5608 Retrascope Bug Closed High [efsm][generator][test][fate] FATE generator hangs at b03 description from ITC'99 Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5592 Retrascope Task Closed Normal [project] prepare tar.gz distribution for future release Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5591 Retrascope Task Closed Normal [project] run scripts for Unix/Windows Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5590 Retrascope Task Closed Normal [efsm][extraction] implement an EFSM initial state & 'reset' signal heuristics Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5589 Retrascope Task Closed Normal [efsm][extraction] state-like variables use/def statistics Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5588 Retrascope Task Closed Normal extend HDL test suite Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
5580 Retrascope Developer Request Closed Normal [efsm][conflict][extractor][jaxb] can GuardedAction() call at the JaxbGuardedActionAdapter be substituted by something else Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5579 Retrascope Task Closed Normal [cfg] simplify the Assignment class Sergey Smolov Sergey Smolov 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
5572 Retrascope Bug Closed Normal [efsm][simulator] b10: Failed to resolve the assignment constraint Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5570 Retrascope Task Closed Low [build] build.xml: extract equal code parts from 'test'/'test.short' targets Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5569 Retrascope Task Closed Normal support process variable declarations Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5568 Retrascope Task Closed Normal [cfg] support process variable declarations Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5561 Retrascope Task Closed Normal [project] use InvariantChecks if needed Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5549 Retrascope Task Closed Normal [vhdl][cfg][parser] add support of instantiation Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5548 Retrascope Task Closed Low elaborate minimips modules Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5541 Retrascope Task Closed High [engine][printer][smv] move engine.printer.smv package to sandbox Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5540 Retrascope Bug Closed Normal [javadoc] EfsmSimulator.java:119: warning - @param argument "efsm" is not a parameter name. Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5538 Retrascope Bug Closed Normal [efsm][generator][test] EfsmFateTestGeneratorVhdlTestCase -> java.lang.RuntimeException: Unexpected simulation result. Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5537 Retrascope Task Closed Normal [efsm][generator][test] make log shorter Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5536 Retrascope Bug Closed Normal [efsm][generator][test] EfsmTestGeneratorVhdlTestCase -> java.lang.RuntimeException: Unexpected simulation result Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5528 Retrascope Bug Closed High [engine][testbench] java.nio.file.FileAlreadyExistsException: decider_parser.vhd Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5526 Retrascope Task Rejected Normal Retrascope engines configuration Sergey Smolov Alexander Kamkin Actions
5525 Retrascope Bug Closed High [engine][xml] wrong package for TestXmlPrinterTestCase Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5524 Retrascope Bug Closed High [engine][xml] wrong package for TestXmlPrinter Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5510 Retrascope Bug Closed High [efsm][generator][test] RandomFateSequenceIterator compilation error Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5509 Retrascope Bug Closed Normal [cfg][printer][smv] javadoc warnings Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5508 Retrascope Bug Closed Normal [cfg][printer][smv] java.io.IOException Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5507 Retrascope Task Rejected Normal [engine][basis] implement PrinterEngine Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5506 Retrascope Bug Closed Normal [javadoc] warning while EfsmAtomicFateTestGenerator processing Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5505 Retrascope Bug Closed Normal [javadoc] warnings while ConflictModel processing Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5504 Retrascope Task New Normal add channels between EFSMs Sergey Smolov Mikhail Lebedev Retrascope - 1.2 Actions
(301-400/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF