Project

General

Profile

2.5

closed

12/19/2019

Features: MIR internal representation, symbolic execution, report generation

100%

61 issues   (61 closed — 0 open)

Time tracking
Estimated time 0.00 hour
Spent time 0.00 hour
Issues by
Bug

47/47
Feature

1/1
Developer Request

1/1
Task

12/12
Related issues
Bug #5783: Problems with multiple concatenation Actions
Bug #5966: mark shell scripts as executable in the distribution tar.gz archive Actions
Bug #6025: Usage of format with signed values Actions
Bug #7218: extraneous input 'op' expecting ID Actions
Bug #7251: A warning or error is needed when a value is truncated 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 #8694: Parsing an empty *.mmu file causes NullPointerException Actions
Bug #8695: Parsing an mmu-file with no mmu declaration 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 #9467: Не работает корректно excludes в версии ревизий Actions
Bug #9479: Некорректная "оптимизация" в *.nml при конкатенации "::" Actions
Bug #9854: Error: Failed to allocate VR 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 #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 #10063: [Mips] Некорректная запись в память MEM Actions
Bug #10068: [minimips] boot start -> 0xbfc00000 Actions
Bug #10089: [x86] Некорректные трассы для тестов "bubble_sort" и "euclid" 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 #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 #10643: Некорректная диагностика: java.lang.IllegalArgumentException: null Actions
Bug #10649: (let) java.lang.NullPointerException: null Actions
Bug #10697: java.lang.TypeNotPresentException: Type ru.ispras.microtesk.model.plasma.mmu.sim.Model not present Actions
Bug #11671: NmlToSmtTranslator.java: javadoc warnings Actions
Bug #12012: Поддержка логирования трасс исполнения программы (стиль ark) Actions
Bug #12036: Oracle Tool: некорректное сравнение регистров в новом фрейме Actions
Feature #9950: Support for different directives in text sections of test templates Actions
Developer Request #10013: Переопределение секций в шаблонах Actions
Task #7564: "How to build MicroTESK" guide for developers in project Wiki Actions
Task #8693: Construct sizeof(type) Actions
Task #10090: [x86] Добавить в набор TestCase работающий шаблон для "bubble_sort" 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 #12013: Simulator Tool: Обновить условия завершения работы симулятора Actions
Task #12016: Oracle Tool: добавить возможность работы с классами и их методами Actions
Task #12024: Oracle Tool: реализовать сравнение регистров, хранящих ссылки на объекты Actions
Task #12026: Installation Guide: обновить раздел Installing CVC4 Actions
Task #12059: Необходимо проверить возможность ускорить работу Декодера Actions
Task #12230: Oracle, Simulator Tool. Параметры для симулятора Actions
Task #12231: Oracle Tool. Возвращаемое значение Actions