Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10507 Veritool Task New Normal Introduce versions and close the resolved issues Alexander Kamkin Mikhail Chupilko Actions
10193 MicroTESK Task New Normal Cache instances configuration Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
10178 MicroTESK Task Resolved Normal Support for basic cache coherence protocols in MMU specifications Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10168 MicroTESK Task Resolved Normal Support for Write-Back policy in cache specification Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10122 MicroTESK Task New Normal Template libraries for standard features Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10107 MicroTESK Task New Normal Entry point specification in templates Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
10106 MicroTESK Task New Normal Support %b as format's specifier Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
9978 MicroTESK for RISC-V Task New Normal Some templates use rand(-2147483648, 2147483647) for randomizing words Alexander Kamkin Alexander Kamkin MicroTESK for RISC-V - 0.1 Actions
9907 Deductive Verification Tool for Machine Code Task New Normal Проверка инструмента на примерах из MicroTESK for RISC-V Alexander Kamkin Pavel Putro Actions
9846 Aspectrace Task Resolved Normal Source code formatting and improvement Alexander Kamkin Ivan Grigorov Actions
8691 MicroTESK Task New Normal Sign- and zero-extend functions in preparators Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
7729 MicroTESK Task New Normal On-demand memory access path exploration (coverage extraction) Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
6506 Castle Task Feedback Normal Вопросы по представлению массивов Alexander Kamkin Alexander Kamkin Castle - 0.1 Actions
6505 Castle Task Feedback Normal Вопросы по MetaInfo Alexander Kamkin Alexander Kamkin Castle - 0.1 Actions
6461 MicroTESK Task New Normal Support for inline comments Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
6223 MicroTESK Task New Low User-defined template-oriented extensions (plugins) Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
6065 MicroTESK Task New Low Handling marks with exported symbols in the coverage extractor Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
6064 MicroTESK Task New Low Translator support for exporting symbols in marks Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
5811 TestBase Task New Normal Test data generators for basic arithmetic SIMD instructions Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5725 TestBase Task New Normal Meta-information provider required Alexander Kamkin Artem Kotsynyak TestBase - 0.0 Actions
5352 TestBase Task New Normal Implementation of FpMulHardToNRound Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5351 TestBase Task New Normal Implementation of ResultAdapter for FP.MUL Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5348 TestBase Task New Normal Корректная реализация генератора IntSubExceptionGenerator Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5325 TestBase Task New Normal Sqrt hard-to-round iterator for the nearest rounding needs to be reviewed Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5311 MicroTESK Task New Normal Shortcuts for getting modes from templates Alexander Kamkin Alexander Kamkin MicroTESK - 2.5 Actions
(26-50/1542) Per page: 25, 50, 100

Also available in: Atom CSV PDF