Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6060 Retrascope Task Closed Normal Add plasma to project test suite Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
9607 Retrascope Test Suite Task Closed Normal add QUIP 9.0 benchmark Sergey Smolov Sergey Smolov Actions
9206 Verilog Translator Task Closed Normal add Texas97 benchmark to project test suite Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
9207 Verilog Translator Task Closed Normal add VCEGAR benchmark to project test suite Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
9208 Verilog Translator Task Closed Normal add Verilog2Smv\VIS benchmark to project test suite Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
8293 Retrascope Task Closed Normal add VeriTrans & Fortress info to NOTICE 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
5462 Fortress Task Closed Normal [arrays] arrays initialization is inconvenient Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5461 Fortress Bug Closed High [arrays] Insufficient arrays support Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5453 Fortress Bug Closed High [arrays] Unexpected solver output: " (INSTQUEUE ((as const (Array Int Int)) 0))" Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
9389 Retrascope Task Closed Normal Assertion -> Property Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
7096 Retrascope Task Closed Normal assign process merging backend Sergey Smolov Sergey Smolov Retrascope - 0.2 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
6472 Retrascope Task Closed Normal b13.vhd: too long elaboration time Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
6430 Retrascope Bug Closed Normal b14.vhd: StackOverflowError 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
8429 Retrascope Task Closed Normal backend that transforms "x[i] := y" assignments into constant-ranged Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8161 Trace Matcher Task Closed Normal Basic modules Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
9050 QEMU4V Feature Closed Normal basic support for i386 emulation Sergey Smolov Sergey Smolov Actions
9079 QEMU4V Feature Closed Normal basic support for MIPS32 Sergey Smolov Sergey Smolov QEMU4V - 0.2 Actions
9049 QEMU4V Feature Closed Normal basic support for MIPS64 emulation Sergey Smolov Sergey Smolov QEMU4V - 0.2 Actions
9051 QEMU4V Feature Closed Normal basic support for PowerPC emulation Sergey Smolov Sergey Smolov QEMU4V - 0.3 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
7725 Verilog Translator Task Closed Normal bitvector arrays support Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
5907 Fortress Task Closed Normal boolean areOfType(DataTypeId id, Node ... nodes) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5993 Fortress Task Closed Normal boolean ExprUtils.isKind(Node.Kind kind, Node ... nodes) 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
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
6507 Castle Task Closed Normal build.gradle: get ANTLR jar from server Sergey Smolov Sergey Smolov Actions
8203 Fortress Feature Closed Normal bv2nat\int2bv operations Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
8994 Retrascope Task Closed Normal "BVEXTRACT( ... BVEXTRACT (j i x))" expression transformation rule to the tool ruleset Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8220 Retrascope Feature Closed Normal BV_INC6 VHDL function support Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
9123 Fortress Feature Closed High calculate DataType for 'BVEXTRACT(i, i, x)' NodeOperation objects Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
9251 Verilog Translator Task Closed High calculate type of index for bit-vector arrays Sergey Smolov Alexander Kamkin Verilog Translator - 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
3406 Retrascope Task Closed Normal CFG extraction from guarded atomic actions (GAA) set. Sergey Smolov Sergey Smolov Actions
5143 Retrascope Task Closed Normal [cfg][extractor][iface] CfgIfaceExtractor Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5395 Retrascope Task Closed Normal [cfg] getOnlyChild(), getOnlyParent() Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6456 Retrascope Task Closed High CFG model as hirerarchical list of statements Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
9248 Retrascope Task Closed High CFG model process should not have it's own internal variables Sergey Smolov Sergey Smolov Retrascope - 1.0 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
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
8237 Retrascope Bug Closed Normal CFG random test generator works too slow on b19 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
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
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
8991 Retrascope Bug Closed Normal CfgSwitchSequenceBackend: do not collapse "if" statements with incompatible conditions Sergey Smolov Sergey Smolov Retrascope - 1.0 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
9196 Retrascope Task Closed Normal CfgVarRangeBlockBackend: use array length for assignment elaboration Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
6983 Retrascope IDE Task Closed Normal [cfg][visualizator][zest] visualize CfgAssertStatement & CfgLoopStatement nodes Sergey Smolov Sergey Smolov Retrascope IDE - 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
9335 Retrascope Feature Closed Normal cgaa-assert-extractor engine Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9430 Retrascope Task Closed Normal CGAA -> GADD Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
7806 Retrascope Task Closed Normal [cgaa] process - collection of diagrams 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
5322 Retrascope Task Closed Normal [cgaa][transformer][efsm] Продумать и реализовать эвристику определения reset Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5394 Retrascope Task Closed High [cgaa][transformer][efsm] реализовать построение переходов EFSM Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
8179 Trace Matcher Task Closed Normal ChangeLog Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
9999 Castle Task Closed Normal ChangeLog -> ChangeLog.md Sergey Smolov Sergey Smolov Castle - 0.1 Actions
9242 Retrascope Task Closed High check BVEXTRACT operation's parameter order Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9658 Retrascope Task Closed Normal Check for duplicated data access conflict assertions Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9990 Verilog Translator Feature Closed High check for variable/net redeclarations Sergey Smolov Alexey Danilov Verilog Translator - 0.1 Actions
5711 Retrascope Task Closed Normal Check generated *.smv files with external model checker Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9463 Retrascope Bug Closed Normal check if jUnit test cases for CfgCgaaTransformer return same results on different machines\platforms Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
10141 Verilog Translator Bug Closed Normal check port redeclarations Sergey Smolov Alexey Danilov Verilog Translator - 0.1 Actions
9917 QEMU4V Task Closed Normal check QEMU4V-specific code on compliance with coding style Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
5875 Retrascope Task Closed Normal Check state/transition count for extracted EFSM models Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
9484 Retrascope Task Closed Normal Check variables\switches\basic blocks number at HDL parser test cases Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8181 Trace Matcher Task Closed Normal check whether trace records are ordered by time Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
10494 Fortress Task Closed Normal check Windows build of Boolector on project tests Sergey Smolov Maxim Chudnov Fortress - 0.4 Actions
10370 Fortress Bug Closed Normal class ru.ispras.fortress.solver.constraint.Formulas cannot be cast to class ru.ispras.fortress.solver.constraint.Sat4jFormula Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
9281 Retrascope Feature Closed Normal cmdline option that specifies clock variable for CGAA model Sergey Smolov Sergey Smolov Retrascope - 1.0 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
8184 Trace Matcher Task Closed Normal compare record fields in case insensitive mode Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
7527 Fortress Task Closed Normal constant casting while type conversion Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
7557 Fortress Bug Closed High ConstCastTestCase: java.lang.AssertionError: Calculator failed to substitute result Sergey Smolov Artem Kotsynyak Fortress - 0.4 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
6108 MicroTESK Task Closed Normal create environment variable(s) for SMT solver(s) Sergey Smolov Andrei Tatarnikov MicroTESK - 2.2 Actions
(101-200/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF