Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9848 Verilog Translator Bug Closed Normal ru.ispras.verilog.parser.VerilogVisVerilog2SmvTestCase.runTest_Pci_Bus_Verilog_Mv_files_PciNorm: Function declaration '$ND' has not been found Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
5404 Retrascope Bug Closed Normal [verilog][parser][cfg] java.lang.IllegalArgumentException: Unsupported data type: UNKNOWN Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
5096 Retrascope Bug Closed Normal [basis] FileCreator: "Can't create file" error Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
5126 Retrascope Bug Closed Normal [cfg][printer][graphml] Узлы BasicBlock и Merge имеют одинаковый цвет и форму Sergey Smolov Alexander Protsenko 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
5736 Retrascope Bug Closed Normal EfsmSimulator.substituteVariables(EfsmSimulator.java:736) -> NullPointerException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5004 Retrascope Bug Rejected Normal [efsm][simulator][execution] ReferenceEfsmTestGeneratorTest.java : java.lang.RuntimeException: An error occured while trying to resolve a constraint. Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5827 Retrascope Bug Closed Normal TestVhdlTestbenchPrinterDummyTestCase -> NoSuchFileException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5500 Retrascope Bug Closed Normal [engine][testbench] possible bug in TestVhdlTestbenchPrinter engine id 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
5525 Retrascope Bug Closed High [engine][xml] wrong package for TestXmlPrinterTestCase Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5457 Retrascope Bug Closed Normal [javadoc] Поправить комментарий в классе engine.efsm.testgen.ulisse.PercolationCoefficient Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5443 Retrascope Bug Closed Normal [test][engine][media] TestVhdlTestbenchPrinterTestCase -> java.lang.RuntimeException: The exception has occurred while printing test pattern file 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
5510 Retrascope Bug Closed High [efsm][generator][test] RandomFateSequenceIterator compilation error Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6293 Retrascope Bug Closed Normal XmlTestParserTestCase: NoSuchMethodException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5414 Retrascope Bug Closed Normal [engine][xml]/[util]: TransducedAccessor.get -> NullPointerException 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
5778 Retrascope Bug Closed Normal ru.ispras.retrascope.engine.testbench.TestVhdlTestbenchPrinterTestCase -> java.util.NoSuchElementException Sergey Smolov Igor Melnichenko 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
6280 Retrascope Bug Closed Normal TestVhdlTestbenchPrinterVhdlTestCase: The exception has occurred while printing test pattern file Sergey Smolov Igor Melnichenko 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
5263 Retrascope Bug Rejected High [efsm][generator][test] EfsmTestGeneratorTestCase -> java.lang.OutOfMemoryError: Java heap space Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5171 Retrascope Bug Closed Normal [efsm][testgen][test] ru.ispras.retrascope.util.XmlUtilTestCase -> NullPointerException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5003 Retrascope Bug Rejected Normal [util] XmlUtilTest.java: java.lang.RuntimeException: An error occured while trying to resolve a constraint. Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5248 Retrascope Bug Closed Normal [efsm][testgen]FateTestCase -> java.lang.NumberFormatException: For input string: "-2975976114" Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5005 Retrascope Bug Closed Normal [util] XmlUtilTest: java.lang.AssertionError Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5103 Retrascope Bug Closed Normal [efsm][simulator][execution] ReferenceEfsmTestGeneratorTest -> NullPointerException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5506 Retrascope Bug Closed Normal [javadoc] warning while EfsmAtomicFateTestGenerator processing 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
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
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
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
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
6375 Retrascope Bug Closed Normal missing javadoc Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5502 Retrascope Bug Closed Normal [engine][testbench] 'engine' subpackages must not contain entities 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
5680 Retrascope Bug Closed Urgent [efsm][generator][test][fate] DirectedFateGenerator.generateSequence -> 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
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
6362 Retrascope Bug Rejected Normal src/test/verilog/adder/adder4_testbench.v: wrong CFG model Sergey Smolov Mikhail Chupilko Retrascope - 0.1 Actions
6365 Retrascope Bug Closed Normal src/test/vhdl/example/example.vhd: IllegalArgumentException Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6730 Retrascope Bug Closed Normal fix javadoc Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5509 Retrascope Bug Closed Normal [cfg][printer][smv] javadoc warnings Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5505 Retrascope Bug Closed Normal [javadoc] warnings while ConflictModel processing 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
5499 Retrascope Bug Closed Normal [efsm][extractor][conflict] move & rename EfsmConflicts class 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
6425 Retrascope Bug Closed Normal b12.vhd: XmvExprPrinter.getConstant(XmvExprPrinter.java:330) -> NullPointerException Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6426 Retrascope Bug Closed Normal example.vhd: HlddXmvVisitor.onProcessEnd(HlddXmvVisitor.java:381) -> NullPointerException Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6504 Retrascope Bug Closed Normal fifo/fifo.v: nuSMV model checker returns ERROR Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6510 Retrascope Bug Closed Normal fix javadoc 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
4926 Retrascope Bug Closed Normal [cfg][model] Путаница с наследниками CfgNode Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
3605 Retrascope Bug Rejected Normal [vhdl][parser][cfg] Zamia не обрабатывает пакеты функций 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
4836 Retrascope Bug Closed Normal [cfg][transformer][cgaa] java heap space error at control.vhd\mlite2sram.vhd Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5256 Retrascope Bug Closed Normal [cfg][printer][graphml] Не отображать вершины типа Case Sergey Smolov Sergey Smolov 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
6281 Retrascope Bug Closed Normal EfsmTestGeneratorVhdlTestCase: Efsm.UNINITIALISED_STATE isn't supported yet Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4928 Retrascope Bug Rejected Normal [cfg] Range может состоять из нескольких участков Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4357 Retrascope Bug Closed Normal [cfg][transformer][cgaa] Внести исправления в методы извлечения clock-like variables Sergey Smolov Sergey Smolov 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
6353 Retrascope Bug Closed Normal Case children of one Switch node can have equal NodeValue Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5547 Retrascope IDE Bug New Normal save Retrascope result not to ECLIPSE_HOME folder Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
9816 Retrascope IDE Bug New Normal Retrascope IDE does not appear in "Installed Software" menu Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 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
6959 Retrascope IDE Bug Closed High java.lang.NullPointerException at startup Sergey Smolov Sergey Smolov Retrascope IDE - 0.1 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
9892 MicroTESK for RISC-V Bug Closed Normal WARNING: An illegal reflective access operation has occurred Sergey Smolov Alexander Protsenko MicroTESK for RISC-V - 0.1 Actions
4221 Fortress Bug Closed Normal performConstant: public -> private Sergey Smolov Sergey Smolov Fortress - 0.2 Actions
7423 Retrascope Bug Rejected High rnd_fsm.vhd: empty tst file Sergey Smolov Igor Melnichenko Retrascope - 0.2 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
5684 Retrascope Bug Rejected Low computeExpression -> LOGIC_BOOLEAN vs (MAP LOGIC_INTEGER LOGIC_BOOLEAN) Sergey Smolov Igor Melnichenko Retrascope - 0.2 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
8285 Retrascope Bug Closed Normal 0% coverage of EFSM transitions for b01 example Sergey Smolov Sergey Smolov Retrascope - 0.2 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
8244 Retrascope Bug Closed Normal CGAA-to-EFSM engine falls on b05 test Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8289 Retrascope Bug Closed Normal ITC99 b02: no resetting transition has been found 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
8237 Retrascope Bug Closed Normal CFG random test generator works too slow on b19 Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7097 Retrascope Bug Closed Normal 32-bit constants should be casted to appropriate values 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
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
7753 Retrascope Bug Closed Normal example.vhd: cannot generate SMV-based test 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
7594 Retrascope Bug Rejected Normal ModelSim shows error when TST file contains multiple comments 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
6430 Retrascope Bug Closed Normal b14.vhd: StackOverflowError Sergey Smolov Sergey Smolov Retrascope - 0.2 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
7145 Retrascope Bug Closed Normal cfg-rnd-testgen: take variable invariants into account 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
7576 Retrascope Bug Closed Normal mips16/hazard_detection_unit.v: java.lang.IllegalArgumentException: Constraint contains errors Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
9288 QEMU4V Bug Closed Immediate /target/mips/translate.c:2617:9: error: ‘else’ without a previous ‘if’ Sergey Smolov Maxim Chudnov QEMU4V - 0.2 Actions
9333 QEMU4V Bug Closed Normal unexpected hex value in MIPS trace Sergey Smolov Sergey Smolov QEMU4V - 0.2 Actions
9365 QEMU4V Bug Closed Normal missing insn binary images in MIPS trace Sergey Smolov Sergey Smolov QEMU4V - 0.2 Actions
9334 QEMU4V Bug Closed Normal timestamp reset at MIPS trace Sergey Smolov Sergey Smolov QEMU4V - 0.2 Actions
5425 Fortress Bug Closed High [expression] java.lang.IllegalArgumentException: Expression is not a condition: (BVEXTRACT D_IN 0 0) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5162 Fortress Bug Closed Normal [solver] ReductionCustomOperationsTestCase -> java.lang.AssertionError Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
4813 Fortress Bug Closed High [solver][constraint] Невозможно создавать тривиальные ограничения Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
(101-200/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF