Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9415 QEMU4V Task New Normal migrate to QEMU 3.1.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3
9389 Retrascope Task Verified Normal Assertion -> Property Sergey Smolov Sergey Smolov Retrascope - 1.0
9377 MicroTESK for MIPS64 Bug New Normal 'Failed to construct decoder' warnings in project's build log Sergey Smolov Alexander Kamkin
9376 MicroTESK for MIPS64 Bug New Normal Warning: Group MIPS64FpuOp contains two items add_fmt and mfc1 with the same opcode 01000100000000000000000000000000 Sergey Smolov Alexander Kamkin
9373 QEMU4V Task Resolved Normal write a PowerPC-related chapter to "Getting Started" Sergey Smolov Maxim Chudnov QEMU4V - 0.3
9365 QEMU4V Bug Closed Normal missing insn binary images in MIPS trace Sergey Smolov Sergey Smolov QEMU4V - 0.2
9363 QEMU4V Task Closed Normal remove 'set_q4v_tstamp' function calls from RISC-V/MIPS/Aarch64 'cpu_loop.c' modules Sergey Smolov Sergey Smolov QEMU4V - 0.2
9335 Retrascope Feature New Normal cgaa-assert-extractor engine Sergey Smolov Mikhail Lebedev Retrascope - 1.0
9334 QEMU4V Bug Closed Normal timestamp reset at MIPS trace Sergey Smolov Sergey Smolov QEMU4V - 0.2
9333 QEMU4V Bug Closed Normal unexpected hex value in MIPS trace Sergey Smolov Sergey Smolov QEMU4V - 0.2
9310 Retrascope Task Verified Normal substitute SMT-LIB variables those names are equal to builtin commands Sergey Smolov Sergey Smolov Retrascope - 1.0
9309 Retrascope MC Benchmark Bug Closed Normal ru.ispras.retrascope.engine.smv.testbench.sample.vcegar.VcegarPiBusAssertSmvTestbenchTestCase:line 2 column 34: invalid declaration, builtin symbol select Sergey Smolov Sergey Smolov
9291 Retrascope Task Verified Normal use nuXmv 1.1.1 Sergey Smolov Sergey Smolov Retrascope - 1.0
9288 QEMU4V Bug Closed Immediate /target/mips/translate.c:2617:9: error: ‘else’ without a previous ‘if’ Sergey Smolov Maxim Chudnov QEMU4V - 0.2
9281 Retrascope Feature Verified Normal cmdline option that specifies clock variable for CGAA model Sergey Smolov Sergey Smolov Retrascope - 1.0
9280 Retrascope Task Verified Normal prepare the code to 1.1.1 release Sergey Smolov Mikhail Lebedev Retrascope - 1.0
9278 Retrascope Task Verified Normal use CGAA model instead of EFSM-based assertions to get clocks Sergey Smolov Mikhail Lebedev Retrascope - 1.0
9277 Retrascope Task Verified High mv clock-like variable detection to CFG-to-CGAA transformer Sergey Smolov Sergey Smolov Retrascope - 1.0
9269 QEMU4V Task Closed Normal migrate to QEMU 3.0.0 Sergey Smolov Sergey Smolov QEMU4V - 0.2
9264 Retrascope Feature Verified Normal '--disable-backends' cmdline option for HDL parser engine Sergey Smolov Sergey Smolov Retrascope - 1.0
9249 Retrascope Task Verified Normal separate jUnit test cases for EfsmGraphMlPrinter engine Sergey Smolov Sergey Smolov Retrascope - 1.0
9248 Retrascope Task Verified High CFG model process should not have it's own internal variables Sergey Smolov Sergey Smolov Retrascope - 1.0
9247 Retrascope Feature Open High CFG-to-C printer Sergey Smolov Sergey Smolov Retrascope - 1.0
9242 Retrascope Task Verified High check BVEXTRACT operation's parameter order Sergey Smolov Sergey Smolov Retrascope - 1.0
9235 Retrascope MC Benchmark Task Closed Normal adapt JUnit components to new interface of ToolTest class Sergey Smolov Mikhail Lebedev
(1-25/484) Per page: 25, 50, 100

Also available in: Atom CSV PDF