Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10124 MicroTESK Bug New High Double preparation of the same register Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10122 MicroTESK Task New Normal Template libraries for standard features Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10107 MicroTESK Task New Normal Entry point specification in templates Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10106 MicroTESK Task New Normal Support %b as format's specifier Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10095 MicroTESK for RISC-V Bug Closed Normal print_imm12 seems to be redundant Alexander Kamkin Alexander Protsenko MicroTESK for RISC-V - 0.1 Actions
10061 MicroTESK Bug New Normal Buffers are now shared among all processing elements Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10044 MicroTESK Bug Closed Normal Translator crashes with NPE if no instruction is defined Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
10040 MicroTESK Bug Closed Normal Disable checking redeclaration for arguments Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
9978 MicroTESK for RISC-V Task New Normal Some templates use rand(-2147483648, 2147483647) for randomizing words Alexander Kamkin Alexander Kamkin MicroTESK for RISC-V - 0.1 Actions
9910 MicroTESK Bug Closed Normal Symbolic executor fails to construct CFG Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
9907 Deductive Verification Tool for Machine Code Task New Normal Проверка инструмента на примерах из MicroTESK for RISC-V Alexander Kamkin Pavel Putro Actions
9846 Aspectrace Task Resolved Normal Source code formatting and improvement Alexander Kamkin Ivan Grigorov Actions
9390 MicroTESK Bug Closed Normal Bug in code allocation Alexander Kamkin Alexander Kamkin MicroTESK - 2.4 Actions
9338 MicroTESK Task Closed Normal Instruction decoding hints Alexander Kamkin Alexander Kamkin MicroTESK - 2.4 Actions
9336 MicroTESK Bug Closed Normal MicroTESK is not able to disassemble euclid binary (RISC-V) Alexander Kamkin Alexander Kamkin MicroTESK - 2.4 Actions
9314 MicroTESK Bug Closed Normal Undesired behavior of situation('random', :size => 32, :sign_extend => true) Alexander Kamkin Alexander Kamkin MicroTESK - 2.4 Actions
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 Verilog Translator - 0.1 Actions
9261 Verilog Translator Bug New Normal ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_19_03_01_1: line 1:4 mismatched input ')' expecting LPAREN Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
9260 Verilog Translator Bug Closed Normal ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_10_02_02_1_2: StackOverflowError Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
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 Verilog Translator - 0.1 Actions
9258 Verilog Translator Bug Closed Normal ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_12_04_02_1 STANDARD_OUT Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
9257 Verilog Translator Bug Closed Normal ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_12_04_01_5: IllegalArgumentException Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
9256 Verilog Translator Bug Closed Normal ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_12_02_00_1: NullPointerException Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
9255 Verilog Translator Bug Closed Normal ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_14_06_04_2_3: no viable alternative Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
9254 Verilog Translator Bug Closed Normal ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_07_08_00_1: no viable alternative Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
(1-25/720) Per page: 25, 50, 100

Also available in: Atom CSV PDF