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
4283 MicroTESK Task Closed Normal [translator] Support for custom attributes in operations and addressing modes. 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
4281 MicroTESK Bug Closed High [translator] Support for aliases in memory (aka mem) definitions. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 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
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
7385 MicroTESK Bug Closed Immediate The 'prepare' function does not work with randomly selected registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
6910 MicroTESK Bug Closed Immediate The is_global flag for data sections Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5514 MicroTESK Bug Closed High The implementation of 'coerce' needs a review Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
6911 MicroTESK Bug New Urgent The "get_address_of" method must work with all label types. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5193 MicroTESK Feature New Low Test templates in Python Andrei Tatarnikov Andrei Tatarnikov Actions
5403 MicroTESK Task Closed Normal Test sequence generation logic (blocks, combinators, compositors) needs a review Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.2 Actions
8455 MicroTESK Bug Rejected Normal Test Document Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
5312 TestBase Task Closed High TestBase.executeQuery should return some status description Andrei Tatarnikov Artem Kotsynyak TestBase - 0.0 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
5667 MicroTESK Task Closed Urgent Support splitting generated test programs into several source files Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5672 MicroTESK Task Closed Urgent Support for UNPREDICTED and UNDEFINED Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.2 Actions
5678 MicroTESK Task Closed Urgent Support for named branches in ISA specifications Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
3988 MicroTESK Task Rejected Normal Support for forward definitions in the nML translator Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5665 Fortress Task Closed Urgent Support for CVC4 Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4 Actions
6973 MicroTESK Task Closed High Support for atomic sequences that will never be interrupted/reordered by a compositor/permutator Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 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
5671 MicroTESK Bug New Urgent Robustness of test template processing logic must be improved Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 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
7418 MicroTESK Bug New Urgent Reset the state of the model before starting generating a new test program fle Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5460 Fortress Bug Closed High [project] Get rid of warnings Andrei Tatarnikov Artem Kotsynyak 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
6380 MicroTESK Bug New Normal Possibility to specify initial values for registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
8061 MicroTESK Bug New Normal Position of all blocks, calls, data etc. in test templates must be tracked to provide better debugging Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
4161 MicroTESK Bug New Normal Observing the design state via addressing modes Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
8481 MicroTESK Task New Urgent Need a way to specify the termination addresss for the test program. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.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
7300 MicroTESK Task Closed Urgent More timing metrics in generation statistics Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
4116 MicroTESK Task Closed Normal [model] Lazy memory allocation in memory models 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
7628 MicroTESK Bug Closed Immediate Methods 'dist' and 'range' are not supported in data sections Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 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
5990 MicroTESK Bug New High Memory state must be taken into account when generating test data 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
7603 MicroTESK Bug New High List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5350 MicroTESK Task Closed High Labels in the text of instruction calls Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 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
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
7012 MicroTESK Task Closed High Implement means of managing the use of registers in a test program 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
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/79) Per page: 25, 50, 100

Also available in: Atom CSV PDF