Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5678 MicroTESK Task Closed Urgent Support for named branches in ISA specifications Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
5677 MicroTESK Task New Urgent Examples of templates demonstrating how to create combinatorial tests Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5676 MicroTESK Task Closed Urgent [generator] Random generation - weighting / biasing distribution Andrei Tatarnikov Actions
5674 MicroTESK Task New Urgent Description of test data generation mechanisms (test situation processing, constraint solving) 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
5672 MicroTESK Task Closed Urgent Support for UNPREDICTED and UNDEFINED Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.2 Actions
5670 MicroTESK Task Closed Normal Examples of test templates using memory-related test situations (hit, miss) Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.3 Actions
5667 MicroTESK Task Closed Urgent Support splitting generated test programs into several source files Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5666 MicroTESK Task Closed Urgent Estimate generation speed Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.1 Actions
5665 Fortress Task Closed Urgent Support for CVC4 Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4 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
5657 MicroTESK Task Closed High A command line option for random seed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5654 MicroTESK Task Closed Urgent [template] User-defined seed for random generation Andrei Tatarnikov Andrei Tatarnikov Actions
5652 MicroTESK Task New High Better examples of test templates using test situations Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5639 MicroTESK Task Closed High Code review notes (package ru.ispras.unitesk.processor.test.mmu) Andrei Tatarnikov Alexander Protsenko MicroTESK - 2.2 Actions
5403 MicroTESK Task Closed Normal Test sequence generation logic (blocks, combinators, compositors) needs a review Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.2 Actions
5350 MicroTESK Task Closed High Labels in the text of instruction calls 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
5312 TestBase Task Closed High TestBase.executeQuery should return some status description Andrei Tatarnikov Artem Kotsynyak TestBase - 0.0 Actions
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Andrei Tatarnikov Actions
5177 Fortress Task Closed Normal [solver] Implement function templates 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
4900 MicroTESK Task New High Printing information on the model should be possible Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4693 Fortress Task Closed High [data] Реализации операций над битовыми векторами (BitVector) Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.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
(51-75/79) Per page: 25, 50, 100

Also available in: Atom CSV PDF