Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
3996 MicroTESK Bug Closed Normal [translator] Support for long types (64-bit) in expressions Andrei Tatarnikov Andrei Tatarnikov Actions
3995 MicroTESK Bug Closed Normal [translator] Support for bitfields using non-constant expressions Andrei Tatarnikov Andrei Tatarnikov Actions
4015 MicroTESK Bug Closed Normal [translator] Shift and Rotate operations: negative distance Andrei Tatarnikov Andrei Tatarnikov Actions
4104 MicroTESK Task Closed Normal [translator] Reset VAR values after an instruction call Andrei Tatarnikov Andrei Tatarnikov Actions
5654 MicroTESK Task Closed Urgent [template] User-defined seed for random generation Andrei Tatarnikov Andrei Tatarnikov Actions
4109 MicroTESK Bug Closed Urgent [template] Update needed: Test templates do not work after changes in Java. Andrei Tatarnikov Andrei Tatarnikov Actions
5676 MicroTESK Task Closed Urgent [generator] Random generation - weighting / biasing distribution Andrei Tatarnikov Actions
7759 TestBase Bug Closed High Avoid using lambda functions Andrei Tatarnikov Alexander Dyumaev Actions
6194 MicroTESK Bug Rejected Normal Automated extraction of addressable unit size Andrei Tatarnikov Andrei Tatarnikov 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
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 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
6380 MicroTESK Bug New Normal Possibility to specify initial values for registers Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.5 Actions
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
5990 MicroTESK Bug New Normal Memory state must be taken into account when generating test data 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
7678 MicroTESK Task New Low Generation of LLVM configuration files from nML specifications Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
7251 MicroTESK Bug Rejected High A warning or error is needed when a value is truncated 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
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 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
5775 Fortress Bug Closed Normal BitVector.longValue returns incorrect values Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.4 Actions
5177 Fortress Task Closed Normal [solver] Implement function templates Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
5463 Fortress Bug Closed High [S-expr] JavaDoc comments are needed Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
(1-25/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF