Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5650 MicroTESK Bug Rejected High Exception when no test situation is specified. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5176 Fortress Task Closed Normal [expression] Possibility to calculate the expression type Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
5659 MicroTESK Bug Rejected High Function 'trace' should accept addressing modes as arguments 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
6455 MicroTESK Bug Closed Urgent Implement block-level prologue and epilogue Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7012 MicroTESK Task Closed High Implement means of managing the use of registers in a test program Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5716 MicroTESK Task Closed High Implement the possibility to process template code multiple times (e.g. atomic (:repeat => N) {}) Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5668 MicroTESK Bug Closed Immediate Issues with large memory addresses (48 and 64 bits) must be fixed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5350 MicroTESK Task Closed High Labels in the text of instruction calls Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 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
5344 MicroTESK Task Closed Urgent Metamodel should provide information on argument types and whether they are in or out arguments Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
7628 MicroTESK Bug Closed Immediate Methods 'dist' and 'range' are not supported in data sections Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
4116 MicroTESK Task Closed Normal [model] Lazy memory allocation in memory models Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
7300 MicroTESK Task Closed Urgent More timing metrics in generation statistics Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5658 MicroTESK Task Closed Normal Need a single entry point for the translator and test generator subsystem Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4161 MicroTESK Bug Rejected Normal Observing the design state via addressing modes Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
8061 MicroTESK Bug Rejected 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
4900 MicroTESK Task Rejected High Printing information on the model should be possible Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 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
5671 MicroTESK Bug Rejected Urgent Robustness of test template processing logic must be improved Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5177 Fortress Task Closed Normal [solver] Implement function templates Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
6973 MicroTESK Task Closed High Support for atomic sequences that will never be interrupted/reordered by a compositor/permutator Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
3988 MicroTESK Task Rejected Normal Support for forward definitions in the nML translator Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5678 MicroTESK Task Closed Urgent Support for named branches in ISA specifications Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
(26-50/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF