Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
4693 Fortress Task Closed High [data] Реализации операций над битовыми векторами (BitVector) Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
5176 Fortress Task Closed Normal [expression] Possibility to calculate the expression type Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
5654 MicroTESK Task Closed Urgent [template] User-defined seed for random generation Andrei Tatarnikov Andrei Tatarnikov 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
5678 MicroTESK Task Closed Urgent Support for named branches in ISA specifications Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 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
5350 MicroTESK Task Closed High Labels in the text of instruction calls Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 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
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
7298 MicroTESK Task Closed Urgent Command-line option to disable simulation on the reference model 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
7534 MicroTESK Task Closed High Configuration option to manage reservation of explicitly specified registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
4283 MicroTESK Task Closed Normal [translator] Support for custom attributes in operations and addressing modes. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 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
4900 MicroTESK Task Rejected High Printing information on the model should be possible Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4116 MicroTESK Task Closed Normal [model] Lazy memory allocation in memory models Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
4104 MicroTESK Task Closed Normal [translator] Reset VAR values after an instruction call Andrei Tatarnikov Andrei Tatarnikov Actions
3988 MicroTESK Task Rejected Normal Support for forward definitions in the nML translator Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5657 MicroTESK Task Closed High A command line option for random seed 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
5667 MicroTESK Task Closed Urgent Support splitting generated test programs into several source files Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.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
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
(51-75/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF