Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8846 Verilog Translator Bug Closed Normal test_19_04_00_3.v: Module 'real_last' cannot be found Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
9055 Verilog Translator Bug Closed High Texas97IFetchVerilogPrinterTestCase: java.lang.IndexOutOfBoundsException: 4294967283 is out of bounds. Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
5651 Verilog Translator Task Closed Normal Translate logic operation results into Boolean expressions Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
9311 Verilog Translator Task Closed High type casting of expression operands Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
8831 Verilog Translator Bug Closed Normal vcegar-benchmarks/ipbdp/ipbdp_hier.v: java.lang.IllegalArgumentException: Bit vector sizes do not match: 4 != 32. Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8990 Verilog Translator Bug Closed High vcegar-benchmarks/pi_bus/main_1.v: incorrect translation of nested "if" conditions Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
9296 Verilog Translator Bug Closed High vcegar-tests/cache_coherence/two_processor_bin_2.v:46: illegal types of "then" and "else" expressions : unsigned word[1] and boolean Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8849 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_04_10_01_1 [floating point parameters]: java.lang.IllegalArgumentException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8850 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_05_01_14_1: java.lang.NullPointerException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8851 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_05_01_14_3: java.lang.IllegalArgumentException: 0 must be > 0 Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8852 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_05_01_14_4: java.lang.NullPointerException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8853 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_05_02_01_2: java.lang.IllegalArgumentException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8854 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_05_02_02_2: java.lang.NullPointerException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8855 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_10_03_00_5: java.lang.IllegalArgumentException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8856 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_10_04_05_1: java.lang.IllegalArgumentException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8857 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_12_02_02_2_1: java.lang.NullPointerException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8858 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_12_04_01_2: java.lang.IllegalStateException: Parameter is not a value: (BVZEROEXT 2147483646 i) Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8859 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_12_04_02_3: java.lang.NullPointerException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8860 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_12_04_02_4: java.lang.NullPointerException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8861 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_12_04_03_1: java.lang.IllegalStateException: BigInteger data is not convertible to Boolean. Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8862 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_12_08_02_1: java.lang.IllegalArgumentException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8863 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_17_02_04_4_1: java.lang.IllegalArgumentException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8864 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_17_10_02_1_i: java.lang.IllegalArgumentException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8865 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_19_11_00_1: java.lang.IllegalArgumentException: Declaration=DECLARATION(), parent=MODULE(m2) Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8832 Verilog Translator Bug Closed Normal verilog/opencores/mips16/IF_stage.v: java.lang.IllegalStateException: Parameter is not a value: (BVSUB 8 1) Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
9899 Verilog Translator Task Closed Normal VerilogPrinter test cases for QUIP benchmarks Sergey Smolov Maxim Chudnov Verilog Translator - 0.1 Actions
5567 Verilog Translator Bug Closed High VerilogStaticChecker.ExpressionVisitor is not abstract and does not override abstract method getOperandOrder() in ExprTreeVisitor Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8957 Verilog Translator Bug Closed High wrong datatype for arrays Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
5455 Verilog Translator Task Closed Normal устранить зависимость от ANTLRWorks Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
6413 Retrascope Bug Closed Normal b03.vhd: different EFSM extraction stats Sergey Smolov Sergey Smolov 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
5096 Retrascope Bug Closed Normal [basis] FileCreator: "Can't create file" error Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
4946 Retrascope Task Closed Normal [basis][log] Ведение лога для нескольких логгеров Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
4945 Retrascope Task Closed Normal [basis][log] Опция логирования Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
5247 Retrascope Task Closed Normal [basis] Набор идентификаторов Engine как опция командной строки Retrascope Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
5249 Retrascope Task Closed High [basis] Настройка Retrascope для работы с SMT-решателями Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
5258 Retrascope Task Closed High [basis] Обработка циклических зависимостей разных Engine Sergey Smolov Alexander Kamkin 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
6353 Retrascope Bug Closed Normal Case children of one Switch node can have equal NodeValue Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5157 Retrascope Task Closed Normal [cfg] addNewVariable(DataType type) Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5143 Retrascope Task Closed Normal [cfg][extractor][iface] CfgIfaceExtractor Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6456 Retrascope Task Closed High CFG model as hirerarchical list of statements Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4924 Retrascope Task Closed Normal [cfg][model] Представление непрерывных присваиваний Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4926 Retrascope Bug Closed Normal [cfg][model] Путаница с наследниками CfgNode Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4558 Retrascope Task Closed Normal [cfg][model] Реализовать обходчик для внутреннего представления описаний аппаратуры Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4927 Retrascope Task Rejected Normal [cfg][model] Убрать узел типа ASSERT 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
5126 Retrascope Bug Closed Normal [cfg][printer][graphml] Узлы BasicBlock и Merge имеют одинаковый цвет и форму Sergey Smolov Alexander Protsenko Retrascope - 0.1 Actions
5226 Retrascope Task Closed Normal [cfg][printer][graphml] Узлы SOURCE и BASIC_BLOCK имеют одинаковый цвет Sergey Smolov Sergey Smolov 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
4928 Retrascope Bug Rejected Normal [cfg] Range может состоять из нескольких участков Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5579 Retrascope Task Closed Normal [cfg] simplify the Assignment class 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
4829 Retrascope Task Closed Normal [cfg][transformer][cgaa] CFG: Assertion building Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4999 Retrascope Task Closed Normal [cfg][transformer][cgaa] CFG-to-GADD transformer 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
4357 Retrascope Bug Closed Normal [cfg][transformer][cgaa] Внести исправления в методы извлечения clock-like variables Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5090 Retrascope Task Closed Normal [cfg] Оптимизация представления ветвлений Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5107 Retrascope Task Closed Normal [cfg] Реализовать VhdlExpressionPrinter Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4359 Retrascope Task Rejected Normal [cfg] Реализовать метод toConstraint() Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5394 Retrascope Task Closed High [cgaa][transformer][efsm] реализовать построение переходов EFSM Sergey Smolov Sergey Smolov 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
6354 Retrascope Task Closed Normal Collapsing group node for Module Sergey Smolov Alexander Protsenko Retrascope - 0.1 Actions
5694 Retrascope Task Closed Normal collect the *.smt2 files and analyse constraints Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6445 Retrascope Task Closed Normal compare nuXmv and NuSMV Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6431 Retrascope Task Closed Normal descriptor for (VHDL) variables & signals Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6537 Retrascope Developer Request Closed Normal Efsm: collection of resetting guarded actions Sergey Smolov Igor Melnichenko Retrascope - 0.1 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
6350 Retrascope Task Closed Normal EfsmConflictExtractor wiki documentation Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5446 Retrascope Task Closed Normal [efsm][examples] Добавить мета-информацию в B04/B13 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
5497 Retrascope Task Closed Normal [efsm][extractor][conflict][jaxb] rename jaxb-classes 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
5501 Retrascope Task Closed Normal [efsm][generator][test] Class 'EfsmAtomicTestGenerator' is never used 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
5263 Retrascope Bug Rejected High [efsm][generator][test] EfsmTestGeneratorTestCase -> java.lang.OutOfMemoryError: Java heap space 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
5680 Retrascope Bug Closed Urgent [efsm][generator][test][fate] DirectedFateGenerator.generateSequence -> NullPointerException 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
5537 Retrascope Task Closed Normal [efsm][generator][test] make log shorter 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
5756 Retrascope Task Closed Normal EFSM pre-initial state + initialization action Sergey Smolov Sergey Smolov 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
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
5103 Retrascope Bug Closed Normal [efsm][simulator][execution] ReferenceEfsmTestGeneratorTest -> NullPointerException 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
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
6281 Retrascope Bug Closed Normal EfsmTestGeneratorVhdlTestCase: Efsm.UNINITIALISED_STATE isn't supported yet Sergey Smolov Sergey Smolov 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
5171 Retrascope Bug Closed Normal [efsm][testgen][test] ru.ispras.retrascope.util.XmlUtilTestCase -> NullPointerException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5507 Retrascope Task Rejected Normal [engine][basis] implement PrinterEngine 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
5541 Retrascope Task Closed High [engine][printer][smv] move engine.printer.smv package to sandbox Sergey Smolov Mikhail Lebedev 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
5528 Retrascope Bug Closed High [engine][testbench] java.nio.file.FileAlreadyExistsException: decider_parser.vhd Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
(101-200/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF