Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
5460 Fortress Bug Closed High [project] Get rid of warnings 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
4693 Fortress Task Closed High [data] Реализации операций над битовыми векторами (BitVector) 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
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
5775 Fortress Bug Closed Normal BitVector.longValue returns incorrect values Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.4 Actions
5708 MicroTESK Bug Closed Immediate MicroTESK build fails: SsaAssembler - symbol Changes is not defined Andrei Tatarnikov Artem Kotsynyak 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
6910 MicroTESK Bug Closed Immediate The is_global flag for data sections Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7628 MicroTESK Bug Closed Immediate Methods 'dist' and 'range' are not supported in data sections Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7385 MicroTESK Bug Closed Immediate The 'prepare' function does not work with randomly selected registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7461 MicroTESK Bug Closed Immediate Block-level prologue and epilogue must stay prologue and epilogue when sequences are mixed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5676 MicroTESK Task Closed Urgent [generator] Random generation - weighting / biasing distribution Andrei Tatarnikov Actions
5672 MicroTESK Task Closed Urgent Support for UNPREDICTED and UNDEFINED Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.2 Actions
6455 MicroTESK Bug Closed Urgent Implement block-level prologue and epilogue Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 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
7298 MicroTESK Task Closed Urgent Command-line option to disable simulation on the reference model 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
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
4109 MicroTESK Bug Closed Urgent [template] Update needed: Test templates do not work after changes in Java. Andrei Tatarnikov Andrei Tatarnikov Actions
5667 MicroTESK Task Closed Urgent Support splitting generated test programs into several source files Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5678 MicroTESK Task Closed Urgent Support for named branches in ISA specifications Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
(1-25/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF