Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8481 MicroTESK Task New Normal Need a way to specify the termination address for the test program Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
6380 MicroTESK Bug New Normal Possibility to specify initial values for registers Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.5 Actions
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.5 Actions
5990 MicroTESK Bug New Normal Memory state must be taken into account when generating test data Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
7678 MicroTESK Task New Low Generation of LLVM configuration files from nML specifications Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
6911 MicroTESK Bug New Normal The "get_address_of" method must work with all label types. Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
7603 MicroTESK Bug New Normal List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
5460 Fortress Bug Closed High [project] Get rid of warnings 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
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
5177 Fortress Task Closed Normal [solver] Implement function templates Andrei Tatarnikov Andrei Tatarnikov 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
5775 Fortress Bug Closed Normal BitVector.longValue returns incorrect values Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.4 Actions
5463 Fortress Bug Closed High [S-expr] JavaDoc comments are needed Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
5666 MicroTESK Task Closed Urgent Estimate generation speed Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.1 Actions
5654 MicroTESK Task Closed Urgent [template] User-defined seed for random generation Andrei Tatarnikov Andrei Tatarnikov 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
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
5670 MicroTESK Task Closed Normal Examples of test templates using memory-related test situations (hit, miss) Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.3 Actions
5672 MicroTESK Task Closed Urgent Support for UNPREDICTED and UNDEFINED Andrei Tatarnikov Artem Kotsynyak 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
5676 MicroTESK Task Closed Urgent [generator] Random generation - weighting / biasing distribution Andrei Tatarnikov Actions
5678 MicroTESK Task Closed Urgent Support for named branches in ISA specifications Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
5708 MicroTESK Bug Closed Immediate MicroTESK build fails: SsaAssembler - symbol Changes is not defined Andrei Tatarnikov Artem Kotsynyak 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
4104 MicroTESK Task Closed Normal [translator] Reset VAR values after an instruction call Andrei Tatarnikov Andrei Tatarnikov Actions
7418 MicroTESK Bug Closed High Reset the state of the model before starting generating a new test program fle Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 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
8939 MicroTESK Feature Closed High [autogen] New option 'base-template-path' must be supported. Andrei Tatarnikov Alexander Protsenko MicroTESK - 2.4 Actions
5350 MicroTESK Task Closed High Labels in the text of instruction calls Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4015 MicroTESK Bug Closed Normal [translator] Shift and Rotate operations: negative distance Andrei Tatarnikov Andrei Tatarnikov Actions
3995 MicroTESK Bug Closed Normal [translator] Support for bitfields using non-constant expressions Andrei Tatarnikov Andrei Tatarnikov Actions
3996 MicroTESK Bug Closed Normal [translator] Support for long types (64-bit) in expressions Andrei Tatarnikov Andrei Tatarnikov Actions
4014 MicroTESK Bug Closed Normal Concatenation in left hand side expressions Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4109 MicroTESK Bug Closed Urgent [template] Update needed: Test templates do not work after changes in Java. Andrei Tatarnikov Andrei Tatarnikov Actions
4116 MicroTESK Task Closed Normal [model] Lazy memory allocation in memory models 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
4283 MicroTESK Task Closed Normal [translator] Support for custom attributes in operations and addressing modes. 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
5403 MicroTESK Task Closed Normal Test sequence generation logic (blocks, combinators, compositors) needs a review Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.2 Actions
5514 MicroTESK Bug Closed High The implementation of 'coerce' needs a review 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
5639 MicroTESK Task Closed High Code review notes (package ru.ispras.unitesk.processor.test.mmu) Andrei Tatarnikov Alexander Protsenko 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
(1-50/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF