Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5775 Fortress Bug Closed Normal BitVector.longValue returns incorrect values Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.4 Actions
5460 Fortress Bug Closed High [project] Get rid of warnings Andrei Tatarnikov Artem Kotsynyak 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
5463 Fortress Bug Closed High [S-expr] JavaDoc comments are needed Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 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
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
5990 MicroTESK Bug New Normal Memory state must be taken into account when generating test data Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
7385 MicroTESK Bug Closed Immediate The 'prepare' function does not work with randomly selected registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 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
6910 MicroTESK Bug Closed Immediate The is_global flag for data sections Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
6455 MicroTESK Bug Closed Urgent Implement block-level prologue and epilogue Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
4109 MicroTESK Bug Closed Urgent [template] Update needed: Test templates do not work after changes in Java. Andrei Tatarnikov Andrei Tatarnikov 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
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
5514 MicroTESK Bug Closed High The implementation of 'coerce' needs a review Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4014 MicroTESK Bug Closed Normal Concatenation in left hand side expressions Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4281 MicroTESK Bug Closed High [translator] Support for aliases in memory (aka mem) definitions. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 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
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
5659 MicroTESK Bug Rejected High Function 'trace' should accept addressing modes as arguments Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5650 MicroTESK Bug Rejected High Exception when no test situation is specified. 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
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
(1-25/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF