2.5 open Features: MIR internal representation, symbolic execution, report generation 35% 126 issues (37 closed — 89 open) Related issues Bug #5783: Problems with multiple concatenation Actions Bug #5813: Support of instance call in left part of assignment Actions Bug #5966: mark shell scripts as executable in the distribution tar.gz archive Actions Bug #5990: Memory state must be taken into account when generating test data Actions Bug #6025: Usage of format with signed values Actions Bug #6329: java.lang.NullPointerException at ru.ispras.microtesk.mmu.translator.MmuTreeWalkerBase.newAttributeRef(MmuTreeWalkerBase.java:940) Actions Bug #6379: Using if-then-else in syntax causes an error Actions Bug #6380: Possibility to specify initial values for registers Actions Bug #6396: Handling TAG_REPLACED dependencies Actions Bug #6911: The "get_address_of" method must work with all label types. Actions Bug #7218: extraneous input 'op' expecting ID Actions Bug #7229: Unsupported assignment to mode Actions Bug #7251: A warning or error is needed when a value is truncated Actions Bug #7313: Analysis for input/output parameters Actions Bug #7401: int_to_float is not supported for constant expressions Actions Bug #7403: The expression cannot be evaluated to a boolean value Actions Bug #7418: Reset the state of the model before starting generating a new test program fle Actions Bug #7603: List of plug-ins must be stored in etc/settings.xml Actions Bug #8060: Attributes image and syntax and static instances Actions Bug #8694: Parsing an empty *.mmu file causes NullPointerException Actions Bug #8695: Parsing an mmu-file with no mmu declaration causes IllegalArgumentException Actions Bug #8696: Parsing an mmu-file with empty read and write definitions causes IllegalArgumentException Actions Bug #9063: microtesk/src/main/java/core/ru/ispras/microtesk/utils/PropertyMap.java uses unchecked or unsafe operations Actions Bug #9170: int_to_float is not supported for constant expressions Actions Bug #9436: ru.ispras.microtesk.mmu.translator.GeneralTestCase: java.lang.IllegalArgumentException Actions Bug #9439: Cannot perform OR with Condition [type=AND ...] and Condition [type=AND ...] Actions Bug #9440: Bit field expressions must be statically calculated constants Actions Bug #9441: Unsupported operator BVADD Actions Bug #9467: Не работает корректно excludes в версии ревизий Actions Bug #9471: ERROR (SEMANTIC): The given bitfield expressions cannot be reduced to constant value Actions Bug #9473: riscv.mmu 181:0 ERROR (SEMANTIC): "IF statements are not allowed in operations." Actions Bug #9479: Некорректная "оптимизация" в *.nml при конкатенации "::" Actions Bug #9854: Error: Failed to allocate VR Actions Bug #9869: Генерация граничных значений для регистров инструкций Actions Bug #9910: Symbolic executor fails to construct CFG Actions Bug #9925: java.lang.IllegalStateException: Boolean data is not convertible to BitVector. Actions Bug #9937: *TestCase для нескольких шаблонов (*.rb) Actions Bug #10004: java.lang.IllegalStateException: Boolean data is not convertible to BitVector (Не ясно где тут BitVector) Actions Bug #10007: Двойные метки Actions Bug #10008: Отрицательные адреса Actions Bug #10010: error: incompatible types Actions Bug #10011: Необходима возможность преобразования конструкции if-then-else в mir представление Actions Bug #10014: mir некорректно интерпретирует побитовое отрицание (~) Actions Bug #10028: MIPS: adds a sll instruction before every instruction in a trace Actions Bug #10029: MIPS: adds presimulated instructions in a trace Actions Bug #10030: line 28:0 no viable alternative at input 'op'" Actions Bug #10032: The 'shift' name is already used to declare another symbol of type MEMORY Actions Bug #10040: Disable checking redeclaration for arguments Actions Bug #10044: Translator crashes with NPE if no instruction is defined Actions Bug #10061: Buffers are now shared among all processing elements Actions Bug #10063: [Mips] Некорректная запись в память MEM Actions Bug #10064: Support FP instructions in MIR Actions Bug #10068: [minimips] boot start -> 0xbfc00000 Actions Bug #10069: cpu.nml Error: Internal error: context [/Isa] 1:8 attribute file isn't defined Actions Bug #10070: [minimips] Нужно больше информации об ошибке "NameError: undefined local ..." Actions Bug #10089: [x86] Некорректные трассы для тестов "bubble_sort" и "euclid" Actions Bug #10091: [x86] ошибка при добавлении модели в src\main\etc\settings.xml Actions Bug #10094: strange common code at LinkerScript.stg Actions Bug #10102: incorrect ld scripts for x86 test programs Actions Bug #10103: [Mips] java.lang.IllegalArgumentException: dinsm Actions Bug #10121: technical output printing at 'compile.sh' script running with '--help' option Actions Bug #10124: Double preparation of the same register Actions Bug #10136: Comment for self checks differs from the others Actions Bug #10164: error: class Policy is public, should be declared in a file named Policy.java Actions Bug #10179: java.lang.AssertionError: lw core=0, address=1c: deadbeef != d3d5e5f9 Actions Bug #10181: CacheUnitTestCase causes StackOverflowError Actions Bug #10187: testWriteThroughAllocationInclusive: lw core=2, address=d058: deadbeef != a8c7e6ae Actions Bug #10188: CacheUnitTestCase fails for exclusive caches Actions Bug #10280: Can't find QEMU trace file Actions Bug #10369: BubbleSortTestCase: first ori instruction doesn't write null in a register Actions Bug #10643: Некорректная диагностика: java.lang.IllegalArgumentException: null Actions Bug #10649: (let) java.lang.NullPointerException: null Actions Bug #10653: MicroTESK mode: IsaPrimitive cannot be converted Actions Bug #10657: Некорректная диагностика: вывод имени файла при указании строк для ошибки Actions Bug #10696: Error: Failed to load custom data generators for plasma. Actions Bug #10697: java.lang.TypeNotPresentException: Type ru.ispras.microtesk.model.plasma.mmu.sim.Model not present Actions Bug #10698: ArgumentError: wrong number of arguments calling `target` (2 for 0) Actions Bug #10747: Переопределение define_section_text (в соответствии с microtesk-2.5-user-guide-ru) Actions Bug #10832: Parser allows bit vector extraction of array types Actions Bug #11671: NmlToSmtTranslator.java: javadoc warnings Actions Bug #12012: Поддержка логирования трасс исполнения программы (стиль ark) Actions Bug #12036: Oracle Tool: некорректное сравнение регистров в новом фрейме Actions Feature #8587: ISA subsets Actions Feature #9455: Запись/Чтение в память в диапазоне <X..Y> (MEM[mem_index]<X..Y>) Actions Feature #9950: Support for different directives in text sections of test templates Actions Feature #10071: Влияние секции section_text на расположение exception_handler Actions Feature #10074: option that stores boot obj at the generated ld script Actions Developer Request #9472: Неочевидные преобразования типов при вычислении выражений Actions Developer Request #9870: Входной параметр в виде инструкции Actions Developer Request #10013: Переопределение секций в шаблонах Actions Task #4061: Support for endianness Actions Task #5192: Assert constructions to check the model state during and after simulation Actions Task #5311: Shortcuts for getting modes from templates Actions Task #6064: Translator support for exporting symbols in marks Actions Task #6065: Handling marks with exported symbols in the coverage extractor Actions Task #6223: User-defined template-oriented extensions (plugins) Actions Task #6345: Support floating-point numbers in trace "". Actions Task #6461: Support for inline comments Actions Task #7564: "How to build MicroTESK" guide for developers in project Wiki Actions Task #7678: Generation of LLVM configuration files from nML specifications Actions Task #7729: On-demand memory access path exploration (coverage extraction) Actions Task #8186: Full support for 'struct' in nml Actions Task #8481: Need a way to specify the termination address for the test program Actions Task #8691: Sign- and zero-extend functions in preparators Actions Task #8693: Construct sizeof(type) Actions Task #9447: Доступ к константам *.nml из модулей *.mmu Actions Task #9448: Вызов метода init() в методе init() другого объекта op в *.mmu Actions Task #9476: Поддержка версии ревизий в настройках модели settings.xml Actions Task #9720: Определение влияния параметров на инструкцию Actions Task #10090: [x86] Добавить в набор TestCase работающий шаблон для "bubble_sort" Actions Task #10106: Support %b as format's specifier Actions Task #10107: Entry point specification in templates Actions Task #10122: Template libraries for standard features Actions Task #10168: Support for Write-Back policy in cache specification Actions Task #10178: Support for basic cache coherence protocols in MMU specifications Actions Task #10193: Cache instances configuration Actions Task #10304: deprecation warnings via compilation Actions Task #10676: Реализовать метод для получения размера операции в nml спецификации Actions Task #10715: Подготовка данных для внутренних регистров Actions Task #10721: Отделение запуска тестов на QEMU в семействе инструментов MicroTESK в специальный класс Actions Task #12013: Simulator Tool: Обновить условия завершения работы симулятора Actions Task #12016: Oracle Tool: добавить возможность работы с классами и их методами Actions Task #12024: Oracle Tool: реализовать сравнение регистров, хранящих ссылки на объекты Actions Task #12026: Installation Guide: обновить раздел Installing CVC4 Actions Task #12027: SMT Solvers: CVC4 -> CVC5 Actions Task #12059: Необходимо проверить возможность ускорить работу Декодера Actions