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
5819 Fortress Task Closed High Calculator for bit vectors Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4 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
5665 Fortress Task Closed Urgent Support for CVC4 Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4 Actions
5463 Fortress Bug Closed High [S-expr] JavaDoc comments are needed Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
5460 Fortress Bug Closed High [project] Get rid of warnings Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
5312 TestBase Task Closed High TestBase.executeQuery should return some status description Andrei Tatarnikov Artem Kotsynyak TestBase - 0.0 Actions
5217 Fortress Bug Closed Normal [expression] NodeBinding: hashCode and equals must be implemented Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
8481 MicroTESK Task New Urgent Need a way to specify the termination addresss for the test program. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
8455 MicroTESK Bug Rejected Normal Test Document Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 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
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Andrei Tatarnikov Actions
7690 MicroTESK Bug Closed Urgent Exception handler is not handled if it is not the first element in the list of exception describe in test templates Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
7628 MicroTESK Bug Closed Immediate Methods 'dist' and 'range' are not supported in data sections Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7603 MicroTESK Bug New High List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7534 MicroTESK Task Closed High Configuration option to manage reservation of explicitly specified registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7463 MicroTESK Bug Closed Urgent Correct processing of block structures and code in the root of pre, post and run methods Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7461 MicroTESK Bug Closed Immediate Block-level prologue and epilogue must stay prologue and epilogue when sequences are mixed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7418 MicroTESK Bug New Urgent Reset the state of the model before starting generating a new test program fle Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7385 MicroTESK Bug Closed Immediate The 'prepare' function does not work with randomly selected registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7300 MicroTESK Task Closed Urgent More timing metrics in generation statistics Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7298 MicroTESK Task Closed Urgent Command-line option to disable simulation on the reference model Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7269 MicroTESK Bug Rejected High Returning from an exception in the last instruction in a test case Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7251 MicroTESK Bug New High A warning or error is needed when a value is truncated Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
(1-25/79) Per page: 25, 50, 100

Also available in: Atom CSV PDF