Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5676 MicroTESK Task Closed Urgent [generator] Random generation - weighting / biasing distribution Andrei Tatarnikov Actions
5708 MicroTESK Bug Closed Immediate MicroTESK build fails: SsaAssembler - symbol Changes is not defined Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.1 Actions
5672 MicroTESK Task Closed Urgent Support for UNPREDICTED and UNDEFINED Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.2 Actions
5312 TestBase Task Closed High TestBase.executeQuery should return some status description Andrei Tatarnikov Artem Kotsynyak TestBase - 0.0 Actions
5460 Fortress Bug Closed High [project] Get rid of warnings Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
5217 Fortress Bug Closed Normal [expression] NodeBinding: hashCode and equals must be implemented Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
5463 Fortress Bug Closed High [S-expr] JavaDoc comments are needed Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
5665 Fortress Task Closed Urgent Support for CVC4 Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4 Actions
5819 Fortress Task Closed High Calculator for bit vectors Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4 Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
6380 MicroTESK Bug New Normal Possibility to specify initial values for registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
8061 MicroTESK Bug New Normal Position of all blocks, calls, data etc. in test templates must be tracked to provide better debugging Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
6194 MicroTESK Bug New Normal Automated extraction of addressable unit size Andrei Tatarnikov Andrei Tatarnikov Actions
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Andrei Tatarnikov Actions
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Andrei Tatarnikov Actions
5678 MicroTESK Task Closed Urgent Support for named branches in ISA specifications Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
4283 MicroTESK Task Closed Normal [translator] Support for custom attributes in operations and addressing modes. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
4281 MicroTESK Bug Closed High [translator] Support for aliases in memory (aka mem) definitions. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
4116 MicroTESK Task Closed Normal [model] Lazy memory allocation in memory models Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
4996 MicroTESK Bug Closed Normal [translator] It should be possible to define the "instruction" operation (root) as an OR rule Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
5673 MicroTESK Task Closed Urgent Memory scalability for large memory ranges (address space for 48 and 64 bit addresses) Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5987 MicroTESK Bug Closed High Handling situations when TestBase fails to generate test data (e.g. constraint is UNSAT) Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5542 MicroTESK Bug Closed High Creating instances of modes and ops: validity checks for arguments are needed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5514 MicroTESK Bug Closed High The implementation of 'coerce' needs a review Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4014 MicroTESK Bug Closed Normal Concatenation in left hand side expressions Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
(1-25/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF