Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10507 Veritool Task New Normal Introduce versions and close the resolved issues Alexander Kamkin Mikhail Chupilko Actions
10506 Veritool Bug Resolved High Veritool does not support escaped identifiers Alexander Kamkin Mikhail Chupilko Actions
10299 Fortress Bug Closed Normal Probably, a bug in BitVector.isAll{Set,Reset} Alexander Kamkin Sergey Smolov Fortress - 0.4 Actions
10193 MicroTESK Task New Normal Cache instances configuration Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
10188 MicroTESK Bug Resolved Normal CacheUnitTestCase fails for exclusive caches Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10187 MicroTESK Bug Resolved Normal testWriteThroughAllocationInclusive: lw core=2, address=d058: deadbeef != a8c7e6ae Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10181 MicroTESK Bug Resolved High CacheUnitTestCase causes StackOverflowError Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10179 MicroTESK Bug Resolved High java.lang.AssertionError: lw core=0, address=1c: deadbeef != d3d5e5f9 Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10178 MicroTESK Task Resolved Normal Support for basic cache coherence protocols in MMU specifications Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10177 Fortress Bug Feedback Normal TreeVisitor's SKIP status does not work as expected Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
10168 MicroTESK Task Resolved Normal Support for Write-Back policy in cache specification Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10136 MicroTESK Bug New Normal Comment for self checks differs from the others Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
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 Artem Kotsynyak 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 Closed 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
9253 Verilog Translator Bug Closed Normal ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_07_01_02_1: no viable alternative Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
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 Verilog Translator - 0.1 Actions
9229 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_03_05_01_3: incorrect token under disabled if-def Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8833 Verilog Translator Bug Closed Normal Error when building AST for if-generate constructs without else branches Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8818 Verilog Translator Feature Closed Normal Extending grammar to allow else if Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8804 Verilog Translator Bug Closed Normal Exception when dividing 4-bit vector by 32-bit one Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8803 Verilog Translator Bug Closed Normal Error in parsing the specify construct Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8797 Verilog Translator Bug New Normal Error when using multiple includes Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8796 Verilog Translator Bug Closed Normal Error when handling incorrect tokens under ifdef Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8793 Verilog Translator Bug Closed Normal Error when using attributes Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8791 Verilog Translator Bug Closed Normal Error when using escaped identifiers Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8789 Verilog Translator Bug Closed Normal Error when using special symbols in strings Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8755 Verilog Translator Bug Closed Normal Elaborator does not apply port connections Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8747 Verilog Translator Bug Closed Normal defparam uses paths, not identifiers as it is implied in the grammar Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8740 Verilog Translator Bug Closed Normal Use VerilogGenerateProcessor in VerilogElaborator Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8739 Verilog Translator Bug Closed Normal VerilogStaticChecker causes an exception when handling variables with parameter-defined length Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8726 Verilog Translator Bug Closed Normal Cannot find the module declaration inside the module Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8725 Verilog Translator Task Closed Normal Using Fortress's BitVector in VerilogLiteral Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
8698 MicroTESK Task Closed Normal Adding makefiles to MicroTESK demos Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
8697 MicroTESK Bug Closed Normal Type mismatch in an mmu file causes NullPointerException Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
8696 MicroTESK Bug New Normal Parsing an mmu-file with empty read and write definitions causes IllegalArgumentException Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
8695 MicroTESK Bug Closed Normal Parsing an mmu-file with no mmu declaration causes IllegalArgumentException Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
8694 MicroTESK Bug Closed Normal Parsing an empty *.mmu file causes NullPointerException Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
8693 MicroTESK Task Closed Normal Construct sizeof(type) Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
8691 MicroTESK Task New Normal Sign- and zero-extend functions in preparators Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
8683 MicroTESK for MIPS Bug Resolved Normal Nonoptimal preparator generation Alexander Kamkin Alexander Kamkin MicroTESK for MIPS - 0.0 Actions
8678 MicroTESK for MIPS Bug Resolved Normal Exception in exception handler Alexander Kamkin Alexander Kamkin MicroTESK for MIPS - 0.0 Actions
8676 Fortress Bug Closed Normal BitVector's comparison operations return BitVector Alexander Kamkin Andrei Tatarnikov Fortress - 0.4 Actions
8675 MicroTESK for MIPS Bug Resolved Normal Executing tlbwi causes CU0 Alexander Kamkin Alexander Kamkin MicroTESK for MIPS - 0.0 Actions
8674 MicroTESK Bug Closed Normal Incorrect memory preparator in miniMIPS demo Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
8672 MicroTESK Task Closed Normal Renaming nontaken to nonexecuted in test templates Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
8670 MicroTESK Bug Rejected Normal Address 0xffffffffa0002380 is unallocated. Simulation is paused until it is allocated. Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
7729 MicroTESK Task New Normal On-demand memory access path exploration (coverage extraction) Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
7726 MicroTESK Task Closed High Support for binary masks in preparators Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
7706 TestBase Task Closed Normal SQLite-based storage backend Alexander Kamkin Alexander Dyumaev Actions
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 MicroTESK - 2.4 Actions
7681 MicroTESK Bug Closed Urgent README file is incorrect Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
7680 MicroTESK Bug Closed Urgent Error: Failed to load the ru.ispras.microtesk.model.minimips.mmu.sim.Model Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
7679 MicroTESK Bug Closed Normal New section in ChangeLog required Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
7655 MicroTESK Task Closed Normal Documentation describing the overall generation flow Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
7649 MicroTESK Task Closed Urgent Iterator-based implementation of MMU path enumeration Alexander Kamkin Artem Kotsynyak MicroTESK - 2.4 Actions
7646 MicroTESK Task Closed Normal Structures in nML Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
7645 MicroTESK Task Closed Normal Instruction decoder implementation Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
7644 MicroTESK Task Closed Normal Utility for Tarmac trace comparison Alexander Kamkin Sergey Smolov MicroTESK - 2.4 Actions
7641 MicroTESK Task Closed Normal Basic support for multiple-PE testing Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
7395 MicroTESK Task Closed Urgent Support for external code and global labels Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6862 MicroTESK Bug Closed Urgent If a block contains several sequences, only one is returned by the iterator Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6789 MicroTESK Bug Closed Urgent Template processor ignores empty blocks Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6788 MicroTESK Bug Closed Urgent Illegal compositor name -> java.lang.IllegalArgumentException Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6539 MicroTESK Task Closed Normal Support for variants in preparators and comparators Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6533 MicroTESK Bug Closed Normal Branch Engine: java.lang.IllegalStateException: Value is not set. Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6524 MicroTESK Bug Closed Normal Build failed: cannot download CVC4 Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6506 Castle Task Feedback Normal Вопросы по представлению массивов Alexander Kamkin Alexander Kamkin Castle - 0.1 Actions
6505 Castle Task Feedback Normal Вопросы по MetaInfo Alexander Kamkin Alexander Kamkin Castle - 0.1 Actions
6478 MicroTESK Bug Closed Normal java.lang.IllegalStateException: Multiple hits in a cache set Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6462 MicroTESK Bug Closed Urgent java.lang.UnsupportedOperationException: isHit is unsupported for mapped buffers. Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6461 MicroTESK Task New Normal Support for inline comments Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
6452 MicroTESK Bug Closed Urgent Incorrect result of MMU translation Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6451 MicroTESK Bug Closed Urgent Error: Address 0x0 does not match any memory region Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6440 MicroTESK Task Closed Normal How to reuse a preparator? Alexander Kamkin Alexander Kamkin MicroTESK - 2.3 Actions
6439 MicroTESK Task Closed Immediate Buffer preparator: entry(lo, hi) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6438 MicroTESK Task Closed Normal Reusing blocks in test templates Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6396 MicroTESK Bug New Normal Handling TAG_REPLACED dependencies Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
(1-100/732) Per page: 25, 50, 100

Also available in: Atom CSV PDF