#,Project,Tracker,Status,Priority,Subject,Author,Assignee,Target version
8670,MicroTESK,Bug,Rejected,Normal,Address 0xffffffffa0002380 is unallocated. Simulation is paused until it is allocated.,Alexander Kamkin,Andrei Tatarnikov,2.4
6150,MicroTESK,Bug,Closed,Normal,Address translation specification,Alexander Kamkin,Artem Kotsynyak,2.3
3541,Verilog Translator,Bug,Closed,Normal,AST_ASSIGNMENT_STATEMENT -> AST_ASSIGN_STATEMENT,Alexander Kamkin,Alexander Kamkin,""
4110,Verilog Translator,Bug,New,Normal,AST_DECLARATION: adding delay for net declarations,Alexander Kamkin,Alexander Kamkin,0.1
3538,Verilog Translator,Bug,Closed,Normal,AST_VARIABLE -> AST_ELEMENT,Alexander Kamkin,"",""
6086,MicroTESK,Bug,Closed,Immediate,Basic comments in newly created sources,Alexander Kamkin,Artem Kotsynyak,2.2
4985,Retrascope,Bug,Closed,Normal,[basis] the 'test' target is unreachable,Alexander Kamkin,Alexander Kamkin,0.1
4995,Retrascope,Bug,Closed,Normal,[basis] ????????? ??????? ?????????? ????????????,Alexander Kamkin,Alexander Kamkin,0.1
8676,Fortress,Bug,Closed,Normal,BitVector's comparison operations return BitVector,Alexander Kamkin,Andrei Tatarnikov,0.4
4066,Fortress,Bug,Closed,Normal,Bitwise XOR operaton is not supported,Alexander Kamkin,Alexander Kamkin,0.1
4335,Verilog Translator,Bug,Closed,Normal,bootstrap class path not set in conjunction with source 1.6,Alexander Kamkin,Alexander Kamkin,""
6533,MicroTESK,Bug,Closed,Normal,Branch Engine: java.lang.IllegalStateException: Value is not set.,Alexander Kamkin,Andrei Tatarnikov,2.3
10061,MicroTESK,Bug,New,Normal,Buffers are now shared among all processing elements,Alexander Kamkin,Artem Kotsynyak,2.6
9390,MicroTESK,Bug,Closed,Normal,Bug in code allocation,Alexander Kamkin,Alexander Kamkin,2.4
5679,MicroTESK,Bug,Closed,High,Bug in test data generation,Alexander Kamkin,Andrei Tatarnikov,2.2
6289,MicroTESK,Bug,Closed,Normal,Bug in the MMU solver,Alexander Kamkin,Alexander Kamkin,2.3
4862,MicroTESK,Bug,Closed,Immediate,[build] ChangeLog has not be updated,Alexander Kamkin,Andrei Tatarnikov,2.0
4130,MicroTESK,Bug,Closed,Urgent,[build] Compilation error,Alexander Kamkin,Taya Sergeeva,""
4099,MicroTESK,Bug,Closed,High,[build] Compilation error,Alexander Kamkin,Andrei Tatarnikov,""
5018,Retrascope,Bug,Closed,Normal,[build] Compilation warnings: unchecked call,Alexander Kamkin,????? ????????,0.1
4774,MicroTESK,Bug,Closed,Urgent,[build] compile.sh (being executed in any directory except bin) fails,Alexander Kamkin,Andrei Tatarnikov,2.0
6524,MicroTESK,Bug,Closed,Normal,Build failed: cannot download CVC4,Alexander Kamkin,Andrei Tatarnikov,2.3
5346,MicroTESK,Bug,Closed,Normal,[build] Files LICENSE and NOTICE should be added,Alexander Kamkin,Alexander Kamkin,2.1
4803,MicroTESK,Bug,Closed,Normal,[build] run 'ant -f setup.xml' to get latest BuildBase build script,Alexander Kamkin,Alexander Kamkin,2.0
4136,MicroTESK,Bug,Closed,Normal,[build] Test ru.ispras.microtesk.model.api.mmu.tests.LruTestCase FAILED,Alexander Kamkin,Taya Sergeeva,""
5067,Retrascope,Bug,Closed,Immediate,[build] ?? ????? ???????? ???????????????!,Alexander Kamkin,Alexander Protsenko,0.1
3909,MicroTESK,Bug,Closed,Normal,[build] ?????? ?? ????????????? java 1.6,Alexander Kamkin,Andrei Tatarnikov,""
10181,MicroTESK,Bug,Closed,High,CacheUnitTestCase causes StackOverflowError,Alexander Kamkin,Alexander Kamkin,2.5
10188,MicroTESK,Bug,Closed,Normal,CacheUnitTestCase fails for exclusive caches,Alexander Kamkin,Alexander Kamkin,2.5
4992,Fortress,Bug,Closed,Normal,[calculator] ? StandardOperationsInt ???????? MOD ? REM ??????????? ?????????,Alexander Kamkin,Andrei Tatarnikov,0.3
4993,Fortress,Bug,Closed,Normal,[calculator] ??? ??????????????? ???????? ??????????? ????????? BINARY_UNBOUND,Alexander Kamkin,Andrei Tatarnikov,0.3
8726,Verilog Translator,Bug,Closed,Normal,Cannot find the module declaration inside the module,Alexander Kamkin,Alexander Kamkin,0.1
2520,Aspectrace,Bug,Rejected,Normal,"Caused by: java.lang.NumberFormatException: For input string: ""?""",Alexander Kamkin,Anastasia Tugaenko,""
5101,Retrascope,Bug,Closed,High,[cfg] The exception has been encountered: java.lang.IllegalStateException: Incorrect variable data type,Alexander Kamkin,Sergey Smolov,0.1
5082,Retrascope IDE,Bug,Closed,Normal,[cfg][visualizator][zest] ? ????? ?? ???????? ???????,Alexander Kamkin,Alexander Protsenko,""
5084,Retrascope IDE,Bug,Closed,Normal,[cfg][visualizator][zest] ???????????? ???????????? ?????? ??? ????? ?????,Alexander Kamkin,Alexander Protsenko,""
5085,Retrascope IDE,Bug,Closed,Normal,[cfg][visualizator][zest] ?? ???????????? ??? ? ????? ?????,Alexander Kamkin,Alexander Kamkin,""
5261,Retrascope IDE,Bug,Closed,Normal,[cfg][visualizator][zest] ?????? ? ????? ?????????,Alexander Kamkin,Alexander Protsenko,""
6159,MicroTESK,Bug,Closed,High,Checker produces the incorrect constraint for a memory access structure,Alexander Kamkin,Alexander Kamkin,2.2
10136,MicroTESK,Bug,New,Normal,Comment for self checks differs from the others,Alexander Kamkin,Alexander Kamkin,2.6
5068,Retrascope,Bug,Closed,Urgent,[comments] ??????????? ? ????,Alexander Kamkin,Alexander Protsenko,0.1
5448,MicroTESK,Bug,Closed,Normal,[commit] ?? ???? ??????? ?????? ???? ???????????,Alexander Kamkin,Andrei Tatarnikov,""
6125,MicroTESK,Bug,Closed,Urgent,Concrete calls should be supplied with correct addresses,Alexander Kamkin,Andrei Tatarnikov,2.2
3488,Verilog Translator,Bug,Closed,Normal,CONDITIONAL_STATEMENT -> IF_STATEMENT,Alexander Kamkin,Alexander Kamkin,""
5641,MicroTESK,Bug,Closed,Normal,[cpu][template] A typo in example.rb comments,Alexander Kamkin,Andrei Tatarnikov,2.1
169,CTESK,Bug,Closed,Normal,CTESK ?? ????? ??????? ?????? ??????? > 2Gb,Alexander Kamkin,Alexey Demakov,2.8
8747,Verilog Translator,Bug,Closed,Normal,"defparam uses paths, not identifiers as it is implied in the grammar",Alexander Kamkin,Alexander Kamkin,0.1
10040,MicroTESK,Bug,Closed,Normal,Disable checking redeclaration for arguments,Alexander Kamkin,Artem Kotsynyak,2.5
2669,C++TESK Testing ToolKit,Bug,New,Normal,[docs] Add figures to the project description & whitepaper,Alexander Kamkin,Alexander Kamkin,1.0
10124,MicroTESK,Bug,New,High,Double preparation of the same register,Alexander Kamkin,Alexander Kamkin,2.6
4958,Retrascope,Bug,Closed,Normal,[efsm][simulator] ?????????? ????????????? ?????? isLoggable,Alexander Kamkin,Igor Melnichenko,0.1
4957,Retrascope,Bug,Closed,Normal,[efsm][simulator] ?????????? ??? ??? ???????????,Alexander Kamkin,Igor Melnichenko,0.1
5019,Retrascope,Bug,Closed,Normal,[efsm][testgen][test] runSolver -> NullPointerException,Alexander Kamkin,Igor Melnichenko,0.1
8755,Verilog Translator,Bug,Closed,Normal,Elaborator does not apply port connections,Alexander Kamkin,Alexander Kamkin,0.1
6451,MicroTESK,Bug,Closed,Urgent,Error: Address 0x0 does not match any memory region,Alexander Kamkin,Andrei Tatarnikov,2.3
7680,MicroTESK,Bug,Closed,Urgent,Error: Failed to load the ru.ispras.microtesk.model.minimips.mmu.sim.Model,Alexander Kamkin,Andrei Tatarnikov,2.4
8803,Verilog Translator,Bug,Closed,Normal,Error in parsing the specify construct,Alexander Kamkin,Alexander Kamkin,0.1
6170,MicroTESK,Bug,Closed,Normal,"ERROR (SEMANTIC): ""sets (=35184372088832) is beyond the allowed integer value range.""",Alexander Kamkin,Artem Kotsynyak,2.2
6169,MicroTESK,Bug,Closed,Normal,"ERROR (SEMANTIC): ""sets is not a constant integer expression.""",Alexander Kamkin,Artem Kotsynyak,2.2
6351,MicroTESK,Bug,Closed,Normal,"ERROR (SEMANTIC): ""The image attribute is not defined for the Op primitive.""",Alexander Kamkin,Andrei Tatarnikov,2.3
8833,Verilog Translator,Bug,Closed,Normal,Error when building AST for if-generate constructs without else branches,Alexander Kamkin,Alexander Kamkin,0.1
8796,Verilog Translator,Bug,Closed,Normal,Error when handling incorrect tokens under ifdef,Alexander Kamkin,Alexander Kamkin,0.1
8793,Verilog Translator,Bug,Closed,Normal,Error when using attributes,Alexander Kamkin,Alexander Kamkin,0.1
8791,Verilog Translator,Bug,Closed,Normal,Error when using escaped identifiers,Alexander Kamkin,Alexander Kamkin,0.1
8797,Verilog Translator,Bug,New,Normal,Error when using multiple includes,Alexander Kamkin,Alexander Kamkin,0.1
8789,Verilog Translator,Bug,Closed,Normal,Error when using special symbols in strings,Alexander Kamkin,Alexander Kamkin,0.1
5691,MicroTESK,Bug,Closed,Urgent,Error: Your application used more memory than the safety cap of 1024M.,Alexander Kamkin,Andrei Tatarnikov,2.1
8678,MicroTESK for MIPS,Bug,Resolved,Normal,Exception in exception handler,Alexander Kamkin,Alexander Kamkin,0.0
8804,Verilog Translator,Bug,Closed,Normal,Exception when dividing 4-bit vector by 32-bit one,Alexander Kamkin,Alexander Kamkin,0.1
8675,MicroTESK for MIPS,Bug,Resolved,Normal,Executing tlbwi causes CU0,Alexander Kamkin,Alexander Kamkin,0.0
4681,Fortress,Bug,Closed,Normal,"[expression] ? ????????? ?? ??????????? ?? ??????????????, ??? ????????? ????? ???? ????????? ??? ??????????",Alexander Kamkin,Andrei Tatarnikov,0.3
4672,Fortress,Bug,Closed,High,[expression] ??????? ????????? ????????? ????????,Alexander Kamkin,Andrei Tatarnikov,0.3
4806,MicroTESK,Bug,Closed,Normal,[generator] Manual specification of initialization code,Alexander Kamkin,Andrei Tatarnikov,2.1
6396,MicroTESK,Bug,New,Normal,Handling TAG_REPLACED dependencies,Alexander Kamkin,Alexander Kamkin,2.6
6862,MicroTESK,Bug,Closed,Urgent,"If a block contains several sequences, only one is returned by the iterator",Alexander Kamkin,Andrei Tatarnikov,2.3
6326,MicroTESK,Bug,Closed,High,"If an nml file contains no operations, translation fails with NPE",Alexander Kamkin,Andrei Tatarnikov,2.3
6788,MicroTESK,Bug,Closed,Urgent,Illegal compositor name -> java.lang.IllegalArgumentException,Alexander Kamkin,Andrei Tatarnikov,2.3
8674,MicroTESK,Bug,Closed,Normal,Incorrect memory preparator in miniMIPS demo,Alexander Kamkin,Andrei Tatarnikov,2.4
6452,MicroTESK,Bug,Closed,Urgent,Incorrect result of MMU translation,Alexander Kamkin,Andrei Tatarnikov,2.3
4171,Veritool,Bug,Resolved,Normal,Int128-512: ???????? ??????,Alexander Kamkin,Alexander Kamkin,""
4170,Veritool,Bug,Resolved,Normal,Int128-512: ????????? ? ????,Alexander Kamkin,Alexander Kamkin,""
10179,MicroTESK,Bug,Closed,High,"java.lang.AssertionError: lw core=0, address=1c: deadbeef != d3d5e5f9",Alexander Kamkin,Alexander Kamkin,2.5
6376,MicroTESK,Bug,Closed,High,java.lang.AssertionError: Operation.image - default implementation. Should never be called!,Alexander Kamkin,Andrei Tatarnikov,2.3
6478,MicroTESK,Bug,Closed,Normal,java.lang.IllegalStateException: Multiple hits in a cache set,Alexander Kamkin,Andrei Tatarnikov,2.3
6329,MicroTESK,Bug,New,Normal,java.lang.NullPointerException at ru.ispras.microtesk.mmu.translator.MmuTreeWalkerBase.newAttributeRef(MmuTreeWalkerBase.java:940),Alexander Kamkin,Alexander Kamkin,2.6
6462,MicroTESK,Bug,Closed,Urgent,java.lang.UnsupportedOperationException: isHit is unsupported for mapped buffers.,Alexander Kamkin,Andrei Tatarnikov,2.3
6330,MicroTESK,Bug,Closed,Normal,java.util.NoSuchElementException: can't look backwards more than one token in this stream,Alexander Kamkin,Andrei Tatarnikov,2.3
6111,MicroTESK,Bug,Closed,Normal,Labels are not printed,Alexander Kamkin,Andrei Tatarnikov,2.2
6112,MicroTESK,Bug,Closed,Urgent,Labels are not unique,Alexander Kamkin,Andrei Tatarnikov,2.2
4956,C++TESK Testing ToolKit,Bug,New,Normal,[log] ????????? ??? ???????? ??????? ?? ????-????,Alexander Kamkin,Mikhail Chupilko,1.0
297,CTESK,Bug,Closed,Normal,Memory leak in tracer,Alexander Kamkin,Alexey Demakov,2.8
6085,MicroTESK,Bug,Closed,Immediate,MicroTESK 2.2.6 news + closed bugs,Alexander Kamkin,Andrei Tatarnikov,2.2
6234,MicroTESK,Bug,Closed,Normal,MicroTESK does not simulate checking code,Alexander Kamkin,Andrei Tatarnikov,2.2
9336,MicroTESK,Bug,Closed,Normal,MicroTESK is not able to disassemble euclid binary (RISC-V),Alexander Kamkin,Alexander Kamkin,2.4
4822,MicroTESK,Bug,Closed,Normal,[mips][model] tmp_signed_word & tmp_signed_word1,Alexander Kamkin,Andrei Tatarnikov,2.0
6332,MicroTESK,Bug,Closed,Normal,"mismatched input '-' expecting SEMI""",Alexander Kamkin,Andrei Tatarnikov,2.3
4249,MicroTESK,Bug,Closed,Normal,[mmu] TAB -> spaces,Alexander Kamkin,Taya Sergeeva,""
6277,MicroTESK,Bug,Closed,Normal,MMU translator does not support X<...>::Y,Alexander Kamkin,Andrei Tatarnikov,2.3
7679,MicroTESK,Bug,Closed,Normal,New section in ChangeLog required,Alexander Kamkin,Andrei Tatarnikov,2.4
6333,MicroTESK,Bug,Rejected,Normal,NmlTreeWalker.g: node from line 0:0 no viable alternative at input ,Alexander Kamkin,Andrei Tatarnikov,2.3
8683,MicroTESK for MIPS,Bug,Resolved,Normal,Nonoptimal preparator generation,Alexander Kamkin,Alexander Kamkin,0.0
6378,MicroTESK,Bug,Rejected,Normal,No way to jump from epilogue to a label defined in prologue,Alexander Kamkin,Andrei Tatarnikov,""
6113,MicroTESK,Bug,Rejected,Normal,org.jruby.exceptions.RaiseException: (ArgumentError) wrong number of arguments,Alexander Kamkin,Andrei Tatarnikov,2.2
3487,Verilog Translator,Bug,Closed,Normal,par_block | seq_block -> block_statement,Alexander Kamkin,Alexander Kamkin,""
8694,MicroTESK,Bug,Closed,Normal,Parsing an empty *.mmu file causes NullPointerException,Alexander Kamkin,Artem Kotsynyak,2.5
8696,MicroTESK,Bug,New,Normal,Parsing an mmu-file with empty read and write definitions causes IllegalArgumentException,Alexander Kamkin,Artem Kotsynyak,2.6
8695,MicroTESK,Bug,Closed,Normal,Parsing an mmu-file with no mmu declaration causes IllegalArgumentException,Alexander Kamkin,Artem Kotsynyak,2.5
10095,MicroTESK for RISC-V,Bug,Closed,Normal,print_imm12 seems to be redundant,Alexander Kamkin,Alexander Protsenko,0.1
10299,Fortress,Bug,Closed,Normal,"Probably, a bug in BitVector.isAll{Set,Reset}",Alexander Kamkin,Sergey Smolov,0.4
4070,Fortress,Bug,Closed,Normal,Question on the ternary conditional operation (cond ? lhs : rhs),Alexander Kamkin,Alexander Kamkin,0.1
4067,Fortress,Bug,Closed,Normal,Questions on ADD and MINUS,Alexander Kamkin,Alexander Kamkin,0.1
7681,MicroTESK,Bug,Closed,Urgent,README file is incorrect,Alexander Kamkin,Andrei Tatarnikov,2.4
4409,Fortress,Bug,Closed,Normal,ru/ispras/solver/core/syntax/EStandardOperation.java:212: inconvertible types,Alexander Kamkin,Alexander Kamkin,0.2
9252,Verilog Translator,Bug,Closed,Normal,ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_05_01_05_2: Cannot convert a real to a bitvector,Alexander Kamkin,Alexander Kamkin,0.1
9253,Verilog Translator,Bug,Closed,Normal,ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_07_01_02_1: no viable alternative,Alexander Kamkin,Alexander Kamkin,0.1
9254,Verilog Translator,Bug,Closed,Normal,ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_07_08_00_1: no viable alternative,Alexander Kamkin,Alexander Kamkin,0.1
9262,Verilog Translator,Bug,Closed,Normal,ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_09_06_00_1: Descriptor has not been found,Alexander Kamkin,Alexander Kamkin,0.1
9260,Verilog Translator,Bug,Closed,Normal,ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_10_02_02_1_2: StackOverflowError,Alexander Kamkin,Alexander Kamkin,0.1
9256,Verilog Translator,Bug,Closed,Normal,ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_12_02_00_1: NullPointerException,Alexander Kamkin,Alexander Kamkin,0.1
9257,Verilog Translator,Bug,Closed,Normal,ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_12_04_01_5: IllegalArgumentException,Alexander Kamkin,Alexander Kamkin,0.1
9258,Verilog Translator,Bug,Closed,Normal,ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_12_04_02_1 STANDARD_OUT,Alexander Kamkin,Alexander Kamkin,0.1
9259,Verilog Translator,Bug,Closed,Normal,ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_12_04_02_4: Task declaration has not been found,Alexander Kamkin,Alexander Kamkin,0.1
9255,Verilog Translator,Bug,Closed,Normal,ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_14_06_04_2_3: no viable alternative,Alexander Kamkin,Alexander Kamkin,0.1
9261,Verilog Translator,Bug,Closed,Normal,ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_19_03_01_1: line 1:4 mismatched input ')' expecting LPAREN,Alexander Kamkin,Alexander Kamkin,0.1
4076,Fortress,Bug,Closed,Normal,Strange hashCode methods,Alexander Kamkin,Alexander Kamkin,0.1
6035,MicroTESK,Bug,Closed,Normal,Superfluous initialization code,Alexander Kamkin,Andrei Tatarnikov,2.2
4124,Verilog Translator,Bug,Closed,Normal,Support for port attributes in a module's signature,Alexander Kamkin,Alexander Kamkin,0.1
4107,Verilog Translator,Bug,Closed,Normal,Support for pulse control in specparam assignment,Alexander Kamkin,Alexander Kamkin,0.1
3594,Verilog Translator,Bug,Closed,Low,Support of drive strength,Alexander Kamkin,Alexander Kamkin,""
9910,MicroTESK,Bug,Closed,Normal,Symbolic executor fails to construct CFG,Alexander Kamkin,Artem Kotsynyak,2.5
3489,Verilog Translator,Bug,Closed,Normal,(SYSTEM_)TASK_ENABLE -> (SYSTEM_)TASK_ENABLE_STATEMENT,Alexander Kamkin,Alexander Kamkin,""
4815,MicroTESK,Bug,Closed,Normal,[template] Directory $MICROTESK_HOME/tools should be used instead of `pwd`/tools,Alexander Kamkin,Andrei Tatarnikov,2.0
4791,MicroTESK,Bug,Closed,Normal,[template] Exception if Z3 is not installed,Alexander Kamkin,Andrei Tatarnikov,2.0
4775,MicroTESK,Bug,Closed,Urgent,[template] generate.sh fails,Alexander Kamkin,Andrei Tatarnikov,2.0
6789,MicroTESK,Bug,Closed,Urgent,Template processor ignores empty blocks,Alexander Kamkin,Andrei Tatarnikov,2.3
5386,MicroTESK,Bug,Closed,High,[template] Templates are not launched in Windows!,Alexander Kamkin,Andrei Tatarnikov,2.1
4820,MicroTESK,Bug,Closed,Normal,[template] Test program header,Alexander Kamkin,Andrei Tatarnikov,2.0
10187,MicroTESK,Bug,Closed,Normal,"testWriteThroughAllocationInclusive: lw core=2, address=d058: deadbeef != a8c7e6ae",Alexander Kamkin,Alexander Kamkin,2.5
6328,MicroTESK,Bug,Closed,Normal,"""The image arrtibute is not defined for the Op primitive.""",Alexander Kamkin,Andrei Tatarnikov,2.3
6088,MicroTESK,Bug,Closed,High,The use of depricated methods,Alexander Kamkin,Artem Kotsynyak,2.2
5043,Retrascope IDE,Bug,Closed,Normal,[tool][configurator] ??????????? ???????? ??????????? ?????? ? FilesConfigurator,Alexander Kamkin,Alexander Kamkin,""
5057,Retrascope IDE,Bug,New,Normal,[tool][configurator] ??? ????????????? ????????????? Arguments ?? ????? ???????? --arguments,Alexander Kamkin,Alexander Kamkin,0.1
10044,MicroTESK,Bug,Closed,Normal,Translator crashes with NPE if no instruction is defined,Alexander Kamkin,Artem Kotsynyak,2.5
4827,MicroTESK,Bug,Closed,Normal,[translator] Error if a mode's name starts with a lower-case letter,Alexander Kamkin,Andrei Tatarnikov,2.0
4779,MicroTESK,Bug,Rejected,Normal,"[translator, model] Support for aliases",Alexander Kamkin,Andrei Tatarnikov,2.0
4651,MicroTESK,Bug,Closed,Normal,[translator] NullPointerException ?? ?????? ?????,Alexander Kamkin,Alexander Kamkin,""
4655,MicroTESK,Bug,Closed,Normal,[translator] org.antlr.runtime.tree.RewriteEmptyStreamException: rule typeExpr,Alexander Kamkin,Andrei Tatarnikov,""
4652,MicroTESK,Bug,Closed,Normal,[translator] ru.ispras.microtesk.model.elbrus.mode does not exist,Alexander Kamkin,Andrei Tatarnikov,""
4653,MicroTESK,Bug,Closed,Normal,[translator] Shared.java:30: error: cannot find symbol,Alexander Kamkin,Andrei Tatarnikov,""
4649,MicroTESK,Bug,Closed,Normal,[translator] ??????? ???????????,Alexander Kamkin,Andrei Tatarnikov,""
4647,MicroTESK,Bug,Closed,Normal,[translator] ????????? ?? ?????? SYNTESIZE,Alexander Kamkin,Andrei Tatarnikov,""
4657,MicroTESK,Bug,Closed,Normal,[translator] ??? ? ???????? ??????? -> java.lang.NullPointerException,Alexander Kamkin,Andrei Tatarnikov,""
4658,MicroTESK,Bug,Closed,Normal,[translator] ???????? ???????? -> org.antlr.runtime.tree.RewriteEmptyStreamException:,Alexander Kamkin,Andrei Tatarnikov,""
4648,MicroTESK,Bug,Closed,Normal,[translator] ??????? ????????? ?????? (syntax ? image) ??????? ???????????? ???????? ????? ????????? ??????,Alexander Kamkin,Andrei Tatarnikov,""
10177,Fortress,Bug,Feedback,Normal,TreeVisitor's SKIP status does not work as expected,Alexander Kamkin,Artem Kotsynyak,0.4
8697,MicroTESK,Bug,Closed,Normal,Type mismatch in an mmu file causes NullPointerException,Alexander Kamkin,Andrei Tatarnikov,2.4
9314,MicroTESK,Bug,Closed,Normal,"Undesired behavior of situation('random', :size => 32, :sign_extend => true)",Alexander Kamkin,Alexander Kamkin,2.4
4072,Fortress,Bug,Closed,Normal,Unsupported major.minor version 51.0,Alexander Kamkin,Alexander Kamkin,0.1
8740,Verilog Translator,Bug,Closed,Normal,Use VerilogGenerateProcessor in VerilogElaborator,Alexander Kamkin,Alexander Kamkin,0.1
6379,MicroTESK,Bug,New,Normal,Using if-then-else in syntax causes an error,Alexander Kamkin,Alexander Kamkin,2.6
6160,MicroTESK,Bug,Closed,High,VAAddrNotEqualPAAddrNotEqualDTLBTagNotReplacedJTLBTagNotEqualL1TagReplacedMEMIndexNotEqual is UNSAT,Alexander Kamkin,Alexander Kamkin,2.2
9229,Verilog Translator,Bug,Closed,Normal,VerilogIeeeTestCase.runTest_03_05_01_3: incorrect token under disabled if-def,Alexander Kamkin,Alexander Kamkin,0.1
5073,Retrascope,Bug,Closed,Normal,[verilog][parser][cfg] ?????? ??????? ???????? IllegalStateException,Alexander Kamkin,Alexander Kamkin,0.1
5112,Retrascope,Bug,Closed,Normal,[verilog][parser][cfg] ?????????? ??? ????????? ???????? ? ??????????? ????????,Alexander Kamkin,Mikhail Chupilko,0.1
8739,Verilog Translator,Bug,Closed,Normal,VerilogStaticChecker causes an exception when handling variables with parameter-defined length,Alexander Kamkin,Alexander Kamkin,0.1
5165,Verilog Translator,Bug,Closed,Normal,Verilog static checker raises NullPointerException on test 005,Alexander Kamkin,Alexander Kamkin,0.1
10506,Veritool,Bug,Resolved,High,Veritool does not support escaped identifiers,Alexander Kamkin,Mikhail Chupilko,""
5075,Retrascope,Bug,Closed,Normal,"[vhdl][parser][cfg] System variable PYTHONPATH is not specified, python will not work",Alexander Kamkin,Sergey Smolov,0.1
4979,Retrascope,Bug,Closed,Normal,[vhdl][parser] ?????????? ??? ??????? VhdlParser,Alexander Kamkin,Alexander Kamkin,0.1
7685,MicroTESK,Bug,Rejected,Urgent,warning(24): template error: context [/outputFile /parser /genericParser /region__/genericParser__members /region__/genericParser__members] 32:3 no such property or can't access:,Alexander Kamkin,Andrei Tatarnikov,2.4
6325,MicroTESK,Bug,Closed,High,"xxx.mmu 19:11 ERROR (SEMANTIC): ""Unkown type name 'N'."" java.lang.NullPointerException",Alexander Kamkin,Andrei Tatarnikov,2.3
3813,Veritool,Bug,Resolved,Normal,? ????????? inputs_t ??? reset,Alexander Kamkin,Alexander Kamkin,""
168,CTESK,Bug,Closed,Normal,????? ?? ??????? ????? ? ??????? find_nonfinished_state(),Alexander Kamkin,"",""
5253,Retrascope,Bug,Closed,Normal,???-?? ? ???????????? ????? ???? ??????,Alexander Kamkin,Alexander Kamkin,""
4685,C++TESK Testing ToolKit,Bug,Closed,Urgent,????????? ????????? ????? ?? ????? ?????????,Alexander Kamkin,Alexander Kamkin,1.0
4561,Verilog Translator,Bug,Closed,Normal,???????? ???? LValue,Alexander Kamkin,Alexander Kamkin,""
4098,Verilog Translator,Bug,Closed,Normal,???? ??????? ??? ????? ??? ??????? ??????? -> NullPointerException,Alexander Kamkin,Alexander Kamkin,""
2050,?++TESK Development Environment,Bug,Closed,Normal,"????????? ""MCC server configuration"" ?? ?????????? ? ????",Alexander Kamkin,Alexander Kamkin,""
5086,Verilog Translator,Bug,Closed,Normal,?????????? ??? ?????????? ??????????? ?????????,Alexander Kamkin,Alexander Kamkin,0.1
5163,Verilog Translator,Bug,Closed,Normal,????? ????? ????? ????????? ?????????????,Alexander Kamkin,Alexander Kamkin,0.1
491,CTESK,Bug,Closed,Normal,?????????? ??????????? ?????,Alexander Kamkin,Alexey Demakov,2.8
1177,CTESK,Bug,Rejected,Normal,?? ??????????? ?????????? ?? 64-?????? Linux,Alexander Kamkin,Alexander Kamkin,""
3490,Verilog Translator,Bug,Closed,Normal,???????????? ????????? ?????????? ?????? ? ???????????? ????? ???????????????,Alexander Kamkin,Alexander Kamkin,""
5028,Verilog Translator,Bug,Closed,Normal,?? ?????????????? ??????????? repeat,Alexander Kamkin,Alexander Kamkin,0.1
2047,?++TESK Development Environment,Bug,Closed,Normal,?? ???????????? ???????? ??? ?????? start MCC with parameters,Alexander Kamkin,Alexander Kamkin,""
204,CTESK,Bug,Closed,High,?? ?????????????? ?????????? ?????? ??????? next() ? call(),Alexander Kamkin,Alexey Demakov,2.8
383,Veritool,Bug,Closed,Normal,"?? ??????? #include ""vpi_media.h""",Alexander Kamkin,Alexander Kamkin,""
384,Veritool,Bug,Closed,Normal,?? ??????? #include . ?????? ??? ???????? ? ??????? ??????????.,Alexander Kamkin,Alexander Kamkin,""
1700,C++TESK Testing ToolKit,Bug,Closed,Normal,????????? ?????? ? ?????????? ???????,Alexander Kamkin,Alexander Kamkin,""
3482,Verilog Translator,Bug,Closed,Normal,?????????? ? ?????????? model_item ? module_or_generate_item,Alexander Kamkin,Alexander Kamkin,""
206,CTESK,Bug,Closed,High,?????? ? ???????????? ??????? call,Alexander Kamkin,Alexey Demakov,2.8
3830,MicroTESK,Bug,Closed,Normal,?????? ??????????,Alexander Kamkin,Andrei Tatarnikov,""
3822,MicroTESK,Bug,Closed,Normal,?????? ??????????,Alexander Kamkin,Taya Sergeeva,""
298,Aspectrace,Bug,Closed,Normal,??????? ??? ????????????? ??????? ???? ??????,Alexander Kamkin,Alexander Kamkin,""
155,CTESK,Bug,Rejected,Normal,?????????????? ??????? clone(),Alexander Kamkin,Alexey Demakov,""
3591,Verilog Translator,Bug,Closed,Normal,????????????? AST_ITEM_GENERATE,Alexander Kamkin,Alexander Kamkin,""
4050,Fortress,Bug,Closed,Normal,????????? ??????? ???????,Alexander Kamkin,Alexander Kamkin,0.1
5164,Verilog Translator,Bug,Closed,Normal,????? ????????? `endif ? ??? ?? ??????? ????? ???? ???????,Alexander Kamkin,Alexander Kamkin,0.1
5121,Verilog Translator,Bug,Closed,Normal,"??????, ??? x- ? z-????? ?????? ??????? ",Alexander Kamkin,Alexander Kamkin,0.1
4965,Verilog Translator,Bug,Closed,Normal,???????????? ?????????? ? ?? ???????????,Alexander Kamkin,Alexander Kamkin,0.1
2049,?++TESK Development Environment,Bug,Closed,Normal,??? ???????? ???? MCC server configuration ??????????? ???? ????????,Alexander Kamkin,Alexander Kamkin,""
1222,C++TESK Testing ToolKit,Bug,Closed,Normal,??? ?????? ???????? ??????? hw/veritool,Alexander Kamkin,Mikhail Chupilko,""
1413,Aspectrace,Bug,Closed,Normal,?????? ?????? ? ??????? printNode,Alexander Kamkin,??????? ???????,""
2053,?++TESK Development Environment,Bug,Closed,Normal,????? ??? ??????? mcc ?? ??????????????? ????? ? ????????,Alexander Kamkin,Alexander Kamkin,""
8818,Verilog Translator,Feature,Closed,Normal,Extending grammar to allow else if,Alexander Kamkin,Alexander Kamkin,0.1
208,CTESK,Feature,Closed,High,??????????? ?????????? ???????? ??????????? ???????,Alexander Kamkin,Alexey Demakov,2.8
209,CTESK,Feature,Closed,High,????????? ??????????? ??????? ? ????????? ??????? ??? ??????????,Alexander Kamkin,Alexey Demakov,2.8
1813,CTESK,Feature,New,High,???????? ???? ATL ? ?????????????????,Alexander Kamkin,Alexey Demakov,""
5377,Fortress,Feature,Closed,Normal,?? ?????????????? ?????? ? ??????????? CalculatorEngine,Alexander Kamkin,Andrei Tatarnikov,0.4
4219,Fortress,Feature,Closed,Normal,??????????? ??????????? ?????????,Alexander Kamkin,Sergey Smolov,0.2
1210,Veritool,Task,Closed,Normal,$applyAction() + $checkAction = too much,Alexander Kamkin,Alexander Kamkin,""
3095,C++TESK Testing ToolKit,Task,Closed,Normal,20-?? ???? ????? ????????,Alexander Kamkin,Alexander Kamkin,""
6218,MicroTESK,Task,Closed,Normal,Add a reference to DataManager to EngineContext,Alexander Kamkin,Andrei Tatarnikov,2.2
8698,MicroTESK,Task,Closed,Normal,Adding makefiles to MicroTESK demos,Alexander Kamkin,Andrei Tatarnikov,2.4
5986,MicroTESK,Task,Closed,High,Addresses in ConcreteCall and TestSequence,Alexander Kamkin,Andrei Tatarnikov,2.2
4392,Verilog Translator,Task,Closed,Normal,Add return value for on(Begin|End) methods,Alexander Kamkin,Alexander Kamkin,0.1
4670,C++TESK Testing ToolKit,Task,Closed,Normal,All resolved issues shoud be closed,Alexander Kamkin,Alexander Kamkin,""
5435,MicroTESK,Task,Closed,Normal,An architecture validator engine is required,Alexander Kamkin,Andrei Tatarnikov,2.2
2765,Retrascope,Task,Closed,Normal,Annotating variables with clocks,Alexander Kamkin,Sergey Smolov,""
5955,MicroTESK,Task,Closed,Normal,Architecture-dependent configuration,Alexander Kamkin,Alexander Kamkin,2.2
5345,MicroTESK,Task,Closed,Normal,[arch] Notes to the existing architecture models and templates,Alexander Kamkin,Andrei Tatarnikov,2.1
3474,Verilog Translator,Task,Closed,Normal,AST_ASSIGNMENT ??? ??????????,Alexander Kamkin,Alexander Kamkin,""
3483,Verilog Translator,Task,Closed,Normal,AST_BODY_GENERATE -> AST_GENERATE_BLOCK,Alexander Kamkin,Alexander Kamkin,""
3485,Verilog Translator,Task,Closed,Normal,AST_DISCRETE_ASSIGNMENT -> AST_ASSIGNMENT_STATEMENT,Alexander Kamkin,Alexander Kamkin,""
3486,Verilog Translator,Task,Closed,Normal,AST_EVENT_TRIGGER -> AST_EVENT_TRIGGER_STATEMENT,Alexander Kamkin,Alexander Kamkin,""
4111,Verilog Translator,Task,Closed,Normal,AST_INSTANTIATION: += AST_STRENGTH,Alexander Kamkin,Alexander Kamkin,""
3542,Verilog Translator,Task,Closed,Normal,"AST_MODULE -> AST_MODULE_TYPE, AST_*_DECLARATION -> AST_*",Alexander Kamkin,Alexander Kamkin,""
3480,Verilog Translator,Task,Closed,Normal,AST_PORT_CONNECTION += AST_ATTRIBUTES,Alexander Kamkin,Alexander Kamkin,""
3537,Verilog Translator,Task,Closed,Normal,AST_PROCESS -> AST_ACTIVITY,Alexander Kamkin,Alexander Kamkin,""
3459,Verilog Translator,Task,Closed,Normal,AST_TYPE structure refactoring,Alexander Kamkin,Alexander Kamkin,""
1777,C++TESK Testing ToolKit,Task,Closed,Normal,Attach the user documents to 'Documents',Alexander Kamkin,Alexander Kamkin,""
4808,MicroTESK,Task,Rejected,Normal,Automated extraction of initialization code,Alexander Kamkin,Alexander Kamkin,""
5924,MicroTESK,Task,Closed,Normal,Automatic marks insertion for exceptions,Alexander Kamkin,Andrei Tatarnikov,2.2
7641,MicroTESK,Task,Closed,Normal,Basic support for multiple-PE testing,Alexander Kamkin,Andrei Tatarnikov,2.4
4947,Retrascope,Task,Closed,Normal,[basis][engine] ????????? ?????????? ????????? ??????,Alexander Kamkin,Alexander Kamkin,0.1
4923,Retrascope,Task,Closed,Normal,[basis][log] ?????????? ???????????,Alexander Kamkin,Alexander Kamkin,0.1
5022,Retrascope,Task,Closed,Normal,[basis][testgen] ?????????? ?????????? ???????? ?????????????????? ? ?????? DECIDER,Alexander Kamkin,Igor Melnichenko,0.1
4878,Retrascope,Task,Closed,Normal,[basis][testgen] ?????????? ??????? ???????? ????????????? ???????? ??????????????????,Alexander Kamkin,Igor Melnichenko,0.1
4876,Retrascope,Task,Closed,Normal,[basis][testgen] ?????????? ????????????? ???????? ??????????????????,Alexander Kamkin,Alexander Kamkin,0.1
4906,Retrascope,Task,Closed,High,[basis] ?????????? ??????? ????????? Retrascope,Alexander Kamkin,Alexander Kamkin,0.1
5088,Retrascope,Task,Closed,Normal,[basis] ????????? ?????????? ????????? ?????? ? ???????????????? ??????? ????????,Alexander Kamkin,Alexander Kamkin,0.1
5952,MicroTESK,Task,Closed,Normal,Biased distribution over test situations,Alexander Kamkin,Andrei Tatarnikov,2.3
6439,MicroTESK,Task,Closed,Immediate,"Buffer preparator: entry(lo, hi)",Alexander Kamkin,Andrei Tatarnikov,2.3
4333,Fortress,Task,Closed,Normal,Build 0.2.2 with support of calculators,Alexander Kamkin,Alexander Kamkin,0.2
2580,C++TESK Testing ToolKit,Task,Closed,Normal,Build 1.0.19,Alexander Kamkin,Alexander Kamkin,1.0
1822,C++TESK Testing ToolKit,Task,Closed,Normal,Build 13,Alexander Kamkin,Alexander Kamkin,""
4131,MicroTESK,Task,Closed,Normal,[build] A target for generating javadoc documentation,Alexander Kamkin,Andrei Tatarnikov,""
4132,MicroTESK,Task,Closed,Normal,[build] A target for launching junit tests,Alexander Kamkin,Alexander Kamkin,""
5035,Fortress,Task,Closed,High,[build] New build required,Alexander Kamkin,Andrei Tatarnikov,0.3
4777,MicroTESK,Task,Closed,Urgent,[build] README file is missing,Alexander Kamkin,Andrei Tatarnikov,2.0
4776,MicroTESK,Task,Closed,Urgent,[build] Strange structure of the MicroTESK home directory,Alexander Kamkin,Andrei Tatarnikov,2.0
5275,Retrascope,Task,Closed,Normal,[build] ???????? ?????? ? Hudson,Alexander Kamkin,Sergey Smolov,0.1
3961,MicroTESK,Task,Closed,Normal,[build] ?????? ???? ???????,Alexander Kamkin,Andrei Tatarnikov,""
3823,MicroTESK,Task,Closed,High,[build] ?????? ??????? ???????????,Alexander Kamkin,Andrei Tatarnikov,""
4893,Retrascope,Task,Closed,Normal,[build] ?????? ?????? ???????,Alexander Kamkin,Sergey Smolov,0.1
4121,C++TESK Testing ToolKit,Task,New,Normal,[build] ???????????? ?????? 1.0,Alexander Kamkin,Mikhail Chupilko,1.0
10193,MicroTESK,Task,New,Normal,Cache instances configuration,Alexander Kamkin,Artem Kotsynyak,2.6
4987,Fortress,Task,Closed,Normal,[calculator] ?????????????? ?????? Range,Alexander Kamkin,Andrei Tatarnikov,0.3
4989,Fortress,Task,Closed,High,[calculator] ????????? ???????? ???????????? ???????,Alexander Kamkin,Andrei Tatarnikov,0.3
6103,MicroTESK,Task,Closed,Urgent,Call.getTargetLabel method wanted,Alexander Kamkin,Andrei Tatarnikov,2.2
6142,MicroTESK,Task,Closed,Normal,Call's method getBlockSize(),Alexander Kamkin,Andrei Tatarnikov,2.2
6140,MicroTESK,Task,Closed,Normal,Call's methods isLoad() and isStore(),Alexander Kamkin,Andrei Tatarnikov,2.2
4393,Verilog Translator,Task,Closed,Normal,CaseGenerateItem and Case,Alexander Kamkin,Alexander Kamkin,""
5268,Retrascope,Task,Closed,Normal,[cfg][backend][cfg] ??????????? ?????????? ?????????,Alexander Kamkin,Sergey Smolov,0.1
5115,Retrascope,Task,Rejected,Normal,[cfg] CfgProcessNode.getDescription: posedge/negedge,Alexander Kamkin,????? ????????,0.1
4919,Retrascope,Task,Closed,Normal,[cfg][engine] ??????? ?????????? ??? CfgModel,Alexander Kamkin,Alexander Kamkin,0.1
4916,Retrascope,Task,Closed,Normal,[cfg][model] ???????? ????? ???????? ?????? CfgModel,Alexander Kamkin,Sergey Smolov,0.1
5274,Retrascope,Task,Closed,Normal,[cfg][printer][graphml] ????????? ???????? ????????? ?? ????????????,Alexander Kamkin,Alexander Protsenko,0.1
4959,Retrascope,Task,Closed,Normal,[cfg][transformer][efsm] ?????????? fake-?????? CfgEfsmTransformer,Alexander Kamkin,Igor Melnichenko,0.1
5026,Retrascope,Task,Closed,Normal,[cfg][transformer][efsm] ???????? ???????? EFSM-???????,Alexander Kamkin,Mikhail Lebedev,0.1
5083,Retrascope IDE,Task,Closed,Normal,[cfg][visualizator][zest] ???????????? ????????? ????? ??????????,Alexander Kamkin,Alexander Protsenko,""
5276,Retrascope IDE,Task,New,Normal,[cfg][visualizator][zest] ???????? ?????????? ????? ? ???????,Alexander Kamkin,Alexander Kamkin,0.1
5273,Retrascope IDE,Task,New,Normal,[cfg][visualizator][zest] ????????? ???????? ????????? ?? ????????????,Alexander Kamkin,Alexander Kamkin,0.1
5093,Retrascope IDE,Task,New,High,[cfg][visualizator][zest] ??????? ????????? ???? ? ??????? ?????????,Alexander Kamkin,Alexander Kamkin,0.1
5113,Retrascope IDE,Task,Closed,Immediate,"[cfg][visualizator][zest] ??????? ??????, ? ??????? ?? ???????? 21.07.2014",Alexander Kamkin,Alexander Protsenko,""
5272,Retrascope IDE,Task,New,Normal,[cfg][visualizator][zest] ????????? ????????? ??? ?????????? ?????,Alexander Kamkin,Alexander Kamkin,0.1
5091,Retrascope,Task,Closed,Normal,[cfg] ???? ?? ASSERT ? SINK,Alexander Kamkin,Sergey Smolov,0.1
5072,Retrascope,Task,Closed,Normal,[cfg] ????????? initial-?????????,Alexander Kamkin,Sergey Smolov,0.1
5173,Retrascope,Task,Closed,Normal,[cfg] ????????? WaitStatement ? CFG,Alexander Kamkin,Sergey Smolov,0.2
4565,Retrascope,Task,Closed,Normal,[cgaa][transformer][efsm] Derive models for ICT-99 and analyze results,Alexander Kamkin,Sergey Smolov,0.1
4661,Retrascope,Task,Closed,Normal,[cgaa][transformer][efsm] ???????? ???????? ?????????? ?????????,Alexander Kamkin,Sergey Smolov,0.1
5958,MicroTESK,Task,Closed,Normal,Checking addresses using memory region specs,Alexander Kamkin,Andrei Tatarnikov,2.2
6136,MicroTESK,Task,Closed,Normal,Checking UNPREDICATED behavior during simulation,Alexander Kamkin,Andrei Tatarnikov,2.2
5769,MicroTESK,Task,Rejected,Normal,Code review,Alexander Kamkin,Alexander Protsenko,2.2
3982,Retrascope,Task,Closed,High,[code] ???????????? ?? ????,Alexander Kamkin,Alexander Kamkin,0.1
4810,MicroTESK,Task,Closed,Normal,Combinatorial test program generation based on test templates with branch instructions,Alexander Kamkin,Alexander Kamkin,2.2
5915,MicroTESK,Task,Closed,Normal,Configuration file and command line options,Alexander Kamkin,Andrei Tatarnikov,2.2
4081,Fortress,Task,Closed,Normal,constraint-solver-api-0.1.jar -> constraint-solver-api-0.1.1-beta.jar,Alexander Kamkin,Alexander Kamkin,0.1
8693,MicroTESK,Task,Closed,Normal,Construct sizeof(type),Alexander Kamkin,Alexander Kamkin,2.5
5697,MicroTESK,Task,Closed,High,Controlling register dependencies in test templates,Alexander Kamkin,Andrei Tatarnikov,2.2
3582,C++TESK Testing ToolKit,Task,New,Normal,[core] C++TESK as Explicit-State Model Checker,Alexander Kamkin,Alexander Kamkin,1.1
4969,C++TESK Testing ToolKit,Task,New,Normal,[core] ?????? ??????????? ? timeout=0,Alexander Kamkin,Mikhail Chupilko,1.0
5034,Verilog Translator,Task,Closed,Normal,Create a test suite based on the examples of the IEEE 1364-2005 standard,Alexander Kamkin,Sergey Smolov,0.1
1180,C++TESK Testing ToolKit,Task,Closed,Normal,C++TESK Testing ToolKit's System Requirements,Alexander Kamkin,Mikhail Chupilko,""
1778,C++TESK Testing ToolKit,Task,Closed,Normal,C++TESK whitepaper in English,Alexander Kamkin,Alexander Kamkin,""
4083,Fortress,Task,Closed,Normal,DataFactory.createObject required,Alexander Kamkin,Alexander Kamkin,0.1
5698,MicroTESK,Task,Closed,High,Data file generation,Alexander Kamkin,Andrei Tatarnikov,2.2
5489,Fortress,Task,Closed,High,"[data] The BitVector.valueOf(BigInteger value, int bitSize) method required",Alexander Kamkin,Andrei Tatarnikov,0.3
4069,Fortress,Task,Closed,Normal,Decomposition of the BVSHL into BVLSHL and BVASHL,Alexander Kamkin,Alexander Kamkin,0.1
1776,C++TESK Testing ToolKit,Task,Closed,Normal,Describe the system requirements in wiki,Alexander Kamkin,Alexander Kamkin,""
6068,MicroTESK,Task,Rejected,Normal,Description of complex situations,Alexander Kamkin,Andrei Tatarnikov,2.2
2743,Retrascope,Task,Closed,Normal,Description of the AIF and AIF+ formats,Alexander Kamkin,Alexander Kamkin,""
5301,MicroTESK,Task,Rejected,Normal,Description of the Java template interface,Alexander Kamkin,Andrei Tatarnikov,2.2
3993,MicroTESK,Task,Rejected,Normal,Description of the nML translator,Alexander Kamkin,Andrei Tatarnikov,""
4714,MicroTESK,Task,Closed,Normal,[docs] Installation Instruction,Alexander Kamkin,Andrei Tatarnikov,2.0
4228,MicroTESK,Task,Closed,High,[docs] Presentation for the Course,Alexander Kamkin,Andrei Tatarnikov,""
2668,C++TESK Testing ToolKit,Task,New,Normal,[docs] Real-life example(s) of C++TESK model(s) & testbench(es),Alexander Kamkin,Mikhail Chupilko,1.0
4780,MicroTESK,Task,Closed,Urgent,[docs] The MicroTESK datasheet should be updated,Alexander Kamkin,Andrei Tatarnikov,2.0
2213,C++TESK Testing ToolKit,Task,New,Normal,[docs] ?????????? ???????????? ?????? ? wiki,Alexander Kamkin,Alexander Kamkin,1.0
2212,C++TESK Testing ToolKit,Task,New,Normal,[docs] ????????????????? ???????? ?? ?????????,Alexander Kamkin,Alexander Kamkin,1.0
1838,C++TESK Testing ToolKit,Task,New,Normal,[docs] ????????????????? ?????????? ? ????? C++TESK,Alexander Kamkin,Alexander Kamkin,1.1
4773,MicroTESK,Task,Closed,Normal,"[docs] ???????? ?????? ????????????, ?????????? ? ????",Alexander Kamkin,Andrei Tatarnikov,2.0
2146,MicroTESK,Task,Closed,Low,[docs] ??????????? javadoc ?? ???? public ???????,Alexander Kamkin,Andrei Tatarnikov,""
3959,MicroTESK,Task,Closed,Normal,[docs] ???????? ????????? ? ????????? ???????,Alexander Kamkin,Taya Sergeeva,""
4968,C++TESK Testing ToolKit,Task,New,Normal,[docs] ???????? ?????????? ???????????? ?????????,Alexander Kamkin,Mikhail Chupilko,1.0
3910,MicroTESK,Task,Rejected,Normal,[docs] ???????? ?????????? ???????????? MMU,Alexander Kamkin,Taya Sergeeva,2.3
3476,Fortress,Task,Closed,Normal,[docs] ????????? ?? ??????? MicroTESK ????????,Alexander Kamkin,Andrei Tatarnikov,0.1
7655,MicroTESK,Task,Closed,Normal,Documentation describing the overall generation flow,Alexander Kamkin,Andrei Tatarnikov,2.4
4885,Retrascope,Task,Closed,Normal,[eclipse][verilog] ???????? ???????? ?? ????? Verilog,Alexander Kamkin,Alexander Protsenko,0.1
5089,Retrascope,Task,Closed,Normal,[efsm][detector][cfg] ???????? ???????? ??? ??????? ??????? ????????,Alexander Kamkin,Mikhail Lebedev,0.1
3983,Retrascope,Task,Closed,High,[efsm][docs] ???????? ????????? ?????????? ?????????,Alexander Kamkin,Sergey Smolov,0.1
4920,Retrascope,Task,Closed,Normal,[efsm][engine] ??????? ?????????? ??? ?????? ? EfsmModel,Alexander Kamkin,Igor Melnichenko,0.1
3985,Retrascope,Task,Closed,Normal,[efsm][model] EFSM walker and visitor,Alexander Kamkin,Alexander Kamkin,0.1
4879,Retrascope,Task,Closed,Normal,[efsm][printer] ?????????? ????????? EFSM-??????? ? ??????????? ???????,Alexander Kamkin,Alexander Protsenko,0.1
5050,Retrascope,Task,Closed,Normal,[efsm][testgen][test] ??????????? ??????????? ???????? ?????????????????? ?? ?????? EFSM,Alexander Kamkin,Igor Melnichenko,0.1
4986,Retrascope,Task,Closed,Normal,[efsm][testgen] ????????? ?????????? ??????,Alexander Kamkin,Igor Melnichenko,0.1
4883,Retrascope IDE,Task,Closed,Normal,[efsm][visualizator][zest] ???????????? EFSM-???????,Alexander Kamkin,Alexander Protsenko,0.1
5204,Retrascope,Task,Closed,Normal,[efsm] ?????????? ???????????? ??????????,Alexander Kamkin,Mikhail Lebedev,0.1
4129,MicroTESK,Task,Closed,Normal,[engines] Interfaces of test generation engine + implementation of basic engines,Alexander Kamkin,Alexander Kamkin,2.0
10107,MicroTESK,Task,New,Normal,Entry point specification in templates,Alexander Kamkin,Alexander Kamkin,2.6
4146,Verilog Translator,Task,Closed,Normal,EVerilogOperation -> ECustomOperation,Alexander Kamkin,Alexander Kamkin,""
4812,MicroTESK,Task,Closed,Normal,Exception handler definition,Alexander Kamkin,Alexander Kamkin,2.4
4908,Retrascope,Task,Closed,High,[exec] ??????? ??????? ????????????,Alexander Kamkin,Alexander Kamkin,0.1
4394,Verilog Translator,Task,Closed,Normal,EXPRESSION and EXTENDED_EXPRESSION,Alexander Kamkin,Alexander Kamkin,""
3475,Verilog Translator,Task,Closed,Normal,expression (COMA expression)* -> parameter_list,Alexander Kamkin,Alexander Kamkin,""
5221,Fortress,Task,Closed,Normal,[expression] More auxiliary methods dealing with expressions,Alexander Kamkin,Andrei Tatarnikov,0.3
5565,Fortress,Task,Closed,Normal,[expression] Setting traversal order in visitor,Alexander Kamkin,Andrei Tatarnikov,0.3
4982,Fortress,Task,Closed,Normal,[expression] ??????????? ?????????? ?????????? ??????,Alexander Kamkin,Andrei Tatarnikov,0.3
5212,Fortress,Task,Closed,Normal,[expression] ??????????? ??????????? ? NodeBinding,Alexander Kamkin,Artem Kotsynyak,0.3
4983,Fortress,Task,Closed,Normal,[expression] ?????????????? Visitor ? Walker,Alexander Kamkin,Andrei Tatarnikov,0.3
5210,Fortress,Task,Closed,Normal,[expression] ?????????????? ????????? ?????????,Alexander Kamkin,Andrei Tatarnikov,0.3
4692,Fortress,Task,Closed,Normal,[expression] ??????? ??????????????? ??????????? ???????? (FunctionOperation) ? ????? expression,Alexander Kamkin,Andrei Tatarnikov,0.3
4522,Fortress,Task,Closed,High,[expression] ???????????????? ???????? ?????????/???????????,Alexander Kamkin,Andrei Tatarnikov,0.3
6092,MicroTESK,Task,Closed,High,Extension of the Solver interface,Alexander Kamkin,Artem Kotsynyak,2.2
2764,Retrascope,Task,Closed,Normal,Extracting clocks from HDL description,Alexander Kamkin,Alexander Kamkin,""
5326,TestBase,Task,Closed,Normal,[floating] The FpResult class can be generalized to Result,Alexander Kamkin,Alexander Kamkin,""
4884,Retrascope IDE,Task,New,Normal,[flowchart][visualizator][zest] ???????????? ????-????,Alexander Kamkin,Alexander Kamkin,0.1
6226,MicroTESK,Task,Closed,High,Generating abstract representation of MMU,Alexander Kamkin,Andrei Tatarnikov,2.3
6104,MicroTESK,Task,Closed,Normal,getDelaySlotSize method wanted,Alexander Kamkin,Alexander Kamkin,2.2
6165,MicroTESK,Task,Rejected,Urgent,Guard specification for view devices,Alexander Kamkin,Andrei Tatarnikov,2.2
4646,MicroTESK,Task,Closed,Normal,Handling Java keywords,Alexander Kamkin,Andrei Tatarnikov,2.2
6065,MicroTESK,Task,New,Low,Handling marks with exported symbols in the coverage extractor,Alexander Kamkin,Artem Kotsynyak,2.6
1829,C++TESK Testing ToolKit,Task,Rejected,Normal,HDL-based coverage,Alexander Kamkin,Sergey Smolov,1.1
6440,MicroTESK,Task,Closed,Normal,How to reuse a preparator?,Alexander Kamkin,Alexander Kamkin,2.3
5352,TestBase,Task,New,Normal,Implementation of FpMulHardToNRound,Alexander Kamkin,Alexander Kamkin,0.0
4127,Verilog Translator,Task,Closed,Normal,Implementation of replication operation,Alexander Kamkin,Alexander Kamkin,""
5351,TestBase,Task,New,Normal,Implementation of ResultAdapter for FP.MUL,Alexander Kamkin,Alexander Kamkin,0.0
4523,Fortress,Task,New,Immediate,Implementing a solver for simple constraints,Alexander Kamkin,Artem Kotsynyak,0.4
6073,MicroTESK,Task,Rejected,Normal,Implicitly inserted marks,Alexander Kamkin,Artem Kotsynyak,2.2
1826,C++TESK Testing ToolKit,Task,Closed,Normal,Installation instruction in English,Alexander Kamkin,Alexander Kamkin,""
7645,MicroTESK,Task,Closed,Normal,Instruction decoder implementation,Alexander Kamkin,Andrei Tatarnikov,2.4
9338,MicroTESK,Task,Closed,Normal,Instruction decoding hints,Alexander Kamkin,Alexander Kamkin,2.4
4866,MicroTESK,Task,Closed,High,Instruction interface methods for checking whether an instruction is branch,Alexander Kamkin,Andrei Tatarnikov,2.2
6306,MicroTESK,Task,Closed,High,Integration with JSoftFloat,Alexander Kamkin,Andrei Tatarnikov,2.3
6054,MicroTESK,Task,Closed,High,Interface method for checking whether an instruction is capable of throwing an exception,Alexander Kamkin,Andrei Tatarnikov,2.2
6171,MicroTESK,Task,Closed,Normal,Introduce address attributes,Alexander Kamkin,Artem Kotsynyak,2.2
10507,Veritool,Task,New,Normal,Introduce versions and close the resolved issues,Alexander Kamkin,Mikhail Chupilko,""
5877,Fortress,Task,Closed,Normal,InvariantChecks: checkTrue and checkFalse methods,Alexander Kamkin,Andrei Tatarnikov,0.4
5732,MicroTESK,Task,Rejected,Normal,ISA reference manual generation,Alexander Kamkin,Alexander Kamkin,2.2
7649,MicroTESK,Task,Closed,Urgent,Iterator-based implementation of MMU path enumeration,Alexander Kamkin,Artem Kotsynyak,2.4
1828,C++TESK Testing ToolKit,Task,New,Normal,[lang][core] Implementation of temporal sequences,Alexander Kamkin,Alexander Kamkin,1.1
4955,C++TESK Testing ToolKit,Task,New,Normal,"[lang][core] ??????? ?????? ? ?????? ?????? uint128_t, uint256_t ? ?.?.",Alexander Kamkin,Alexander Kamkin,1.0
4932,C++TESK Testing ToolKit,Task,Resolved,Normal,[lang][log] ??????????????? ?????? ????? ?????????,Alexander Kamkin,Alexander Kamkin,1.0
5036,MicroTESK,Task,Closed,Normal,Lazy construction of test situation constraints,Alexander Kamkin,Artem Kotsynyak,2.3
6308,MicroTESK,Task,Closed,High,Link between ISA specs and MMU specs,Alexander Kamkin,Andrei Tatarnikov,2.3
4778,TestBase,Task,Open,Urgent,Low-level interface for adding test situations (named constraints),Alexander Kamkin,Andrei Tatarnikov,0.0
4804,TestBase,Task,New,Normal,Manual description of test situations in Java and XML,Alexander Kamkin,Andrei Tatarnikov,0.0
6028,MicroTESK,Task,Closed,Normal,Mark explicitly specified registers (addressing modes) as 'used',Alexander Kamkin,Andrei Tatarnikov,2.2
4096,MicroTESK,Task,Closed,Normal,Memory access handler,Alexander Kamkin,Andrei Tatarnikov,2.3
5092,Verilog Translator,Task,Closed,Normal,Merging declaration parts for the same variable,Alexander Kamkin,Alexander Kamkin,0.1
4385,Verilog Translator,Task,Closed,Normal,Merging FUNCTION and TASK tags,Alexander Kamkin,Alexander Kamkin,""
5725,TestBase,Task,New,Normal,Meta-information provider required,Alexander Kamkin,Artem Kotsynyak,0.0
6001,MicroTESK,Task,Closed,Normal,MicroTESK should report an error if no preparator is specified,Alexander Kamkin,Andrei Tatarnikov,2.2
5383,MicroTESK,Task,Closed,Normal,[minimips][model] Specification of the miniMIPS ISA,Alexander Kamkin,Platon Bibik,2.1
4031,MicroTESK,Task,Rejected,Normal,[mips] Specification of miniMIPS's instruction set,Alexander Kamkin,Taya Sergeeva,""
4255,MicroTESK,Task,Closed,Normal,[mips] ???????? ? ?????? ?????? MIPS,Alexander Kamkin,Andrei Tatarnikov,""
6294,MicroTESK,Task,Closed,Normal,MmuSubsystem.Builder.setSettings(GeneratorSettings),Alexander Kamkin,Andrei Tatarnikov,2.3
4254,MicroTESK,Task,Closed,High,[mmu] ????????? ?? ???? ?????? MMU,Alexander Kamkin,Taya Sergeeva,""
4054,MicroTESK,Task,Rejected,Normal,[mmu] ????????????? ???????? ??????????,Alexander Kamkin,Taya Sergeeva,2.3
4055,MicroTESK,Task,Closed,Normal,[mmu] ??????????? ???????? ?????????? PLRU,Alexander Kamkin,Taya Sergeeva,""
4093,MicroTESK,Task,Rejected,High,[mmu] ??????? ??????? ? ??????,Alexander Kamkin,Taya Sergeeva,2.3
4824,MicroTESK,Task,Closed,Normal,[model] Floating-point arithmetic support,Alexander Kamkin,Andrei Tatarnikov,2.1
4825,MicroTESK,Task,Rejected,Normal,[model] Modeling a branch delay slot,Alexander Kamkin,Alexander Kamkin,2.0
6372,MicroTESK,Task,Closed,Normal,Mode's attribute number,Alexander Kamkin,Andrei Tatarnikov,2.3
6052,MicroTESK,Task,Closed,Normal,"Multiple preparators per mode (index range, value mask, etc.)",Alexander Kamkin,Andrei Tatarnikov,2.2
4212,Fortress,Task,Closed,Normal,New build,Alexander Kamkin,Alexander Kamkin,0.1
3742,C++TESK Testing ToolKit,Task,Closed,Normal,New build,Alexander Kamkin,Alexander Kamkin,""
7729,MicroTESK,Task,New,Normal,On-demand memory access path exploration (coverage extraction),Alexander Kamkin,Alexander Kamkin,2.6
6024,MicroTESK,Task,Closed,Urgent,Option for specifying arch directories,Alexander Kamkin,Andrei Tatarnikov,2.2
5996,MicroTESK,Task,Closed,Normal,Options for turning on/off comments,Alexander Kamkin,Andrei Tatarnikov,2.2
5978,MicroTESK,Task,Closed,Normal,Options related to splitting instruction stream into parts,Alexander Kamkin,Andrei Tatarnikov,2.2
5409,Fortress,Task,Closed,Normal,Orthogonalizer refactoring etc.,Alexander Kamkin,Alexander Kamkin,0.3
6214,MicroTESK,Task,Closed,High,Overriding configuration options from templates,Alexander Kamkin,Andrei Tatarnikov,2.2
5149,Retrascope,Task,Closed,Normal,[parser][cfg] ??????? ????????? ???????????? ????????????,Alexander Kamkin,Sergey Smolov,0.1
5300,Java SoftFloat,Task,Closed,Normal,Porting SoftFloat to Java,Alexander Kamkin,Alexander Protsenko,""
5933,MicroTESK,Task,Closed,Normal,Printing test generation statistics,Alexander Kamkin,Andrei Tatarnikov,2.2
6072,MicroTESK,Task,Rejected,Low,Processing inline situations,Alexander Kamkin,Artem Kotsynyak,2.3
6070,MicroTESK,Task,Rejected,Normal,Processing of complex situations,Alexander Kamkin,Artem Kotsynyak,2.2
4644,MicroTESK,Task,Rejected,Normal,[project] ????? ????? ????? microtesk ? trunk,Alexander Kamkin,Andrei Tatarnikov,""
4682,Fortress,Task,Closed,Normal,[project] ???????? ????? ?? ??????????,Alexander Kamkin,Andrei Tatarnikov,0.3
5999,MicroTESK,Task,Closed,High,Randomization of operands of instructions with unspecified situations,Alexander Kamkin,Andrei Tatarnikov,2.2
4814,MicroTESK,Task,Rejected,Normal,Refactoring of L-expressions and memory model,Alexander Kamkin,Andrei Tatarnikov,2.2
5980,MicroTESK,Task,Closed,High,"Referring to normal branches (paths with no exceptions, unpredicted, etc.)",Alexander Kamkin,Artem Kotsynyak,2.2
4391,Verilog Translator,Task,Closed,Normal,Rename FOR_GENERATE to LOOP_GENERATE,Alexander Kamkin,Alexander Kamkin,""
4068,Verilog Translator,Task,Closed,Normal,"Rename LT_, LE, GT and GE",Alexander Kamkin,Alexander Kamkin,""
4073,Verilog Translator,Task,Closed,Normal,"Rename SL, SR, SL3 and SR3",Alexander Kamkin,Alexander Kamkin,""
4074,Verilog Translator,Task,Closed,Normal,Rename STAR2,Alexander Kamkin,Alexander Kamkin,""
8672,MicroTESK,Task,Closed,Normal,Renaming nontaken to nonexecuted in test templates,Alexander Kamkin,Andrei Tatarnikov,2.4
6438,MicroTESK,Task,Closed,Normal,Reusing blocks in test templates,Alexander Kamkin,Andrei Tatarnikov,2.3
4408,Verilog Translator,Task,Closed,Normal,Scope.YES & Scope.NO,Alexander Kamkin,Alexander Kamkin,0.1
291,Aspectrace,Task,Closed,High,Shell-?????? ??? ??????? ??????????,Alexander Kamkin,Alexander Kamkin,""
5311,MicroTESK,Task,New,Normal,Shortcuts for getting modes from templates,Alexander Kamkin,Alexander Kamkin,2.6
8691,MicroTESK,Task,New,Normal,Sign- and zero-extend functions in preparators,Alexander Kamkin,Alexander Kamkin,2.6
5747,MicroTESK,Task,Closed,Normal,Simple infinite loop detection,Alexander Kamkin,Andrei Tatarnikov,2.2
4086,Retrascope,Task,Rejected,Normal,[smv][example] ??????????? ? ???????????? SMV,Alexander Kamkin,Mikhail Lebedev,1.0
3661,C++TESK Testing ToolKit,Task,Closed,Normal,Soft correctness criteria,Alexander Kamkin,Alexander Kamkin,1.0
5155,Fortress,Task,Closed,Urgent,[solver][constraint] ????????? ??????????? ?????????? ??????????,Alexander Kamkin,Artem Kotsynyak,0.3
5216,Fortress,Task,Closed,Normal,[solver] ??????????????? ?????? ?????? ? ??????????? ?????????,Alexander Kamkin,Andrei Tatarnikov,0.3
5220,Fortress,Task,Closed,Normal,[solver] ???????????? SolverUtils,Alexander Kamkin,Andrei Tatarnikov,0.3
9978,MicroTESK for RISC-V,Task,New,Normal,"Some templates use rand(-2147483648, 2147483647) for randomizing words",Alexander Kamkin,Alexander Kamkin,0.1
9846,Aspectrace,Task,Resolved,Normal,Source code formatting and improvement,Alexander Kamkin,Ivan Grigorov,""
6148,MicroTESK,Task,Closed,Normal,Specification of 'no-touch' and 'share' zones of memory,Alexander Kamkin,Alexander Kamkin,2.2
4032,MicroTESK,Task,Rejected,Normal,Specification of the miniMIPS pipelining,Alexander Kamkin,Artem Kotsynyak,""
7706,TestBase,Task,Closed,Normal,SQLite-based storage backend,Alexander Kamkin,Alexander Dyumaev,""
5325,TestBase,Task,New,Normal,Sqrt hard-to-round iterator for the nearest rounding needs to be reviewed,Alexander Kamkin,Alexander Kamkin,0.0
6161,MicroTESK,Task,Rejected,Normal,Standard (abstract sequence-based) MMU template representation ,Alexander Kamkin,Alexander Kamkin,2.2
1665,Veritool,Task,Feedback,Normal,start_scen ?????? ???? ? ?????????? ??????????? ??????,Alexander Kamkin,Alexander Kamkin,""
412,Veritool,Task,Closed,Normal,start_testbench() ? stop_testbench(),Alexander Kamkin,Alexander Kamkin,""
4084,Fortress,Task,Rejected,Normal,String data type required,Alexander Kamkin,Alexander Kamkin,0.1
7646,MicroTESK,Task,Closed,Normal,Structures in nML,Alexander Kamkin,Andrei Tatarnikov,2.4
6087,MicroTESK,Task,Closed,High,Suggestion for the Solver interface,Alexander Kamkin,Artem Kotsynyak,2.2
6124,Fortress,Task,Closed,Normal,Suggestion on InvariantChecks.check* methods,Alexander Kamkin,Andrei Tatarnikov,0.4
10106,MicroTESK,Task,New,Normal,Support %b as format's specifier,Alexander Kamkin,Alexander Kamkin,2.6
6066,MicroTESK,Task,Closed,Urgent,Support for adding user-defined Java code,Alexander Kamkin,Andrei Tatarnikov,2.2
6187,MicroTESK,Task,Closed,Normal,Support for address object declaration,Alexander Kamkin,Alexander Kamkin,2.2
10178,MicroTESK,Task,Closed,Normal,Support for basic cache coherence protocols in MMU specifications,Alexander Kamkin,Alexander Kamkin,2.5
6121,MicroTESK,Task,Closed,Normal,Support for basic preprocessor constructs,Alexander Kamkin,Alexander Kamkin,2.2
7726,MicroTESK,Task,Closed,High,Support for binary masks in preparators,Alexander Kamkin,Andrei Tatarnikov,2.4
6115,MicroTESK,Task,Closed,Normal,Support for buffer preparators,Alexander Kamkin,Andrei Tatarnikov,2.3
6089,MicroTESK,Task,Closed,Normal,Support for data streams in test templates,Alexander Kamkin,Andrei Tatarnikov,2.2
6152,MicroTESK,Task,Closed,Normal,Support for disjunctive constraints in MMU specifications,Alexander Kamkin,Alexander Kamkin,2.3
7395,MicroTESK,Task,Closed,Urgent,Support for external code and global labels,Alexander Kamkin,Andrei Tatarnikov,2.3
6318,MicroTESK,Task,Closed,Normal,Support for functions in MMU language,Alexander Kamkin,Artem Kotsynyak,2.3
4105,Verilog Translator,Task,Closed,Normal,Support for gate (primitive) instantiation,Alexander Kamkin,Alexander Kamkin,""
6461,MicroTESK,Task,New,Normal,Support for inline comments,Alexander Kamkin,Alexander Kamkin,2.6
6203,MicroTESK,Task,Closed,Normal,Support for LET in MMU specification language,Alexander Kamkin,Artem Kotsynyak,2.2
4106,Verilog Translator,Task,New,Low,Support for library and config declaration,Alexander Kamkin,Alexander Kamkin,0.3
5752,MicroTESK,Task,Rejected,Normal,Support for macro,Alexander Kamkin,Andrei Tatarnikov,2.2
6207,MicroTESK,Task,Closed,Normal,Support for MARK in MMU specification language,Alexander Kamkin,Artem Kotsynyak,2.2
5942,MicroTESK,Task,Closed,Normal,Support for memory segments specification,Alexander Kamkin,Alexander Kamkin,2.3
6189,MicroTESK,Task,Closed,Normal,Support for page table declaration,Alexander Kamkin,Andrei Tatarnikov,2.2
6313,MicroTESK,Task,Closed,Normal,Support for shifts and bitwise operations in MMU specs,Alexander Kamkin,Andrei Tatarnikov,2.3
4108,Verilog Translator,Task,Closed,Normal,Support for specify constructs,Alexander Kamkin,Alexander Kamkin,""
6030,MicroTESK,Task,Rejected,Normal,Support for specifying implementation-defined behavior,Alexander Kamkin,Andrei Tatarnikov,2.2
6205,MicroTESK,Task,Closed,Normal,Support for STRUCT in MMU specification language,Alexander Kamkin,Artem Kotsynyak,2.2
4123,Verilog Translator,Task,Closed,Low,Support for system timing check,Alexander Kamkin,Alexander Kamkin,0.3
4075,Fortress,Task,Closed,Normal,Support for the case equality/inequality (=== and !==) operators,Alexander Kamkin,Alexander Kamkin,0.1
5753,MicroTESK,Task,Closed,Urgent,Support for the repeatition operation,Alexander Kamkin,Andrei Tatarnikov,2.2
6167,MicroTESK,Task,Closed,Normal,Support for the 'width' attribute of addresses,Alexander Kamkin,Artem Kotsynyak,2.2
6377,MicroTESK,Task,Rejected,High,Support for user-defined attributes,Alexander Kamkin,Alexander Kamkin,2.3
6539,MicroTESK,Task,Closed,Normal,Support for variants in preparators and comparators,Alexander Kamkin,Andrei Tatarnikov,2.3
10168,MicroTESK,Task,Closed,Normal,Support for Write-Back policy in cache specification,Alexander Kamkin,Alexander Kamkin,2.5
4117,Fortress,Task,Closed,High,Support of replication operation,Alexander Kamkin,Alexander Kamkin,0.1
3593,Verilog Translator,Task,Closed,Low,Support of UDP declaration and instantiation,Alexander Kamkin,Alexander Kamkin,""
4065,Fortress,Task,Closed,Normal,TABs should be replaced to 4 spaces,Alexander Kamkin,Alexander Kamkin,0.1
4383,Verilog Translator,Task,Closed,Normal,"Tag DECLARATION + enum { INPUT, OUTPUT, etc.}",Alexander Kamkin,Alexander Kamkin,""
5038,Verilog Translator,Task,Closed,Normal,Taking into account X- and Z-don't cares in CaseStatementItem.getExpression().,Alexander Kamkin,Alexander Kamkin,0.1
5252,Retrascope IDE,Task,Closed,Normal,[target][configurator] ??????????? ????? ?? ????????,Alexander Kamkin,Alexander Kamkin,""
5271,Retrascope IDE,Task,New,Normal,[task][configurator] ??????????? ?????? OK,Alexander Kamkin,Alexander Kamkin,0.1
4819,MicroTESK,Task,Closed,Normal,[template] Auxiliary test template functions,Alexander Kamkin,Andrei Tatarnikov,2.1
4818,MicroTESK,Task,Closed,Normal,[template] Configuration files,Alexander Kamkin,Andrei Tatarnikov,2.1
4809,MicroTESK,Task,Closed,Normal,[template] Facilities for defining/using labels in test templates,Alexander Kamkin,Andrei Tatarnikov,2.1
6037,MicroTESK,Task,Closed,Normal,Template functions for setting up indentToken and separatorToken,Alexander Kamkin,Andrei Tatarnikov,2.2
10122,MicroTESK,Task,New,Normal,Template libraries for standard features,Alexander Kamkin,Alexander Kamkin,2.6
4792,MicroTESK,Task,Closed,Normal,[template] Newline doesn't work,Alexander Kamkin,Andrei Tatarnikov,2.1
4816,MicroTESK,Task,Closed,Normal,[template] Rename lib/ruby/mtruby,Alexander Kamkin,Andrei Tatarnikov,2.0
5411,MicroTESK,Task,Closed,High,[template] Template constructs for data declaration,Alexander Kamkin,Andrei Tatarnikov,2.1
2522,MicroTESK,Task,Closed,High,[template] ?????????? Ruby-???????? ? ?????????,Alexander Kamkin,Andrei Tatarnikov,2.0
4094,MicroTESK,Task,Closed,High,[template] ??????? ??????? Euclide,Alexander Kamkin,Andrei Tatarnikov,2.0
3987,MicroTESK,Task,Closed,Normal,[template] ??????? ???????? ??? ARM,Alexander Kamkin,Andrei Tatarnikov,2.0
2523,MicroTESK,Task,Closed,Immediate,[template] ?????????? Ruby-?????????? ??? ???????? ???????? ???????? ????????,Alexander Kamkin,Andrei Tatarnikov,""
6117,MicroTESK,Task,Closed,Normal,Test case-level prologue and epilogue,Alexander Kamkin,Andrei Tatarnikov,2.2
4252,MicroTESK,Task,Closed,Urgent,Test coverage extraction,Alexander Kamkin,Artem Kotsynyak,2.2
5811,TestBase,Task,New,Normal,Test data generators for basic arithmetic SIMD instructions,Alexander Kamkin,Alexander Kamkin,0.0
5384,MicroTESK,Task,Closed,Urgent,Test templates examples for the miniMIPS ISA,Alexander Kamkin,Andrei Tatarnikov,2.1
4016,MicroTESK,Task,Rejected,Normal,The nML Language Reference,Alexander Kamkin,Andrei Tatarnikov,""
4071,Fortress,Task,Closed,Normal,Thoughts/questions on EVerilogOperation,Alexander Kamkin,Alexander Kamkin,0.1
2057,?++TESK Development Environment,Task,Closed,Normal,Toogle C++TESK Highlighting -> Enable C++TESK Highlighting | Disable C++TESK Highlighting,Alexander Kamkin,Alexander Kamkin,""
5056,Retrascope IDE,Task,Closed,Normal,[tool][configurator] ??????????? ?????? ?????? ????? ?????????? ???? ? TextConfigurator,Alexander Kamkin,Alexander Kamkin,""
4961,Retrascope IDE,Task,New,Normal,[tool][configurator] ??????????? ???????????????? ???????,Alexander Kamkin,Alexander Kamkin,0.1