Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9595 Retrascope MC Benchmark Bug Closed Normal IllegalArgumentException in vis/Field/Field5.v Mikhail Lebedev Sergey Smolov Actions
9456 Retrascope Task New Normal New phase-free SMV model representation using formulas Mikhail Lebedev Mikhail Lebedev Retrascope - 1.0 Actions
9275 Retrascope MC Benchmark Bug New Normal vcegar/pj_icram: too big arrays Mikhail Lebedev Mikhail Lebedev Actions
9228 Retrascope Bug Verified Normal Index ranges disappear in the new version of a variable Mikhail Lebedev Sergey Smolov Retrascope - 1.0 Actions
9205 Retrascope MC Benchmark Bug Closed Normal Texas97PciNormHlddSmvPrinterTestCase: IllegalStateException Mikhail Lebedev Mikhail Lebedev Actions
9204 Retrascope MC Benchmark Bug Closed Normal Texas97IFetchCfgGraphMlTestCase: IllegalArgumentException Mikhail Lebedev Sergey Smolov Actions
9142 Retrascope Bug Open Normal Case expression type mismatch in opencores/mips16/instruction_mem.v Mikhail Lebedev Sergey Smolov Actions
9060 Retrascope Bug Verified Normal Warnings and IllegalArgumentException in VcegarPjIcramCgaaGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0 Actions
9026 Retrascope Bug Verified Normal IllegalArgumentException in vcegar/cache_coherence designs Mikhail Lebedev Sergey Smolov Retrascope - 1.0 Actions
9025 Retrascope Bug Verified Normal IllegalArgumentException in VcegarPjIcramCfgGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0 Actions
8974 Retrascope Bug Verified Normal IllegalArgumentException in VcegarSdlxCfgGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0 Actions
8973 Retrascope Bug Verified Normal ClassCastException in VcegarPjIcuCfgGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0 Actions
8972 Retrascope Bug Verified Normal Case value RetrascopeException in VcegarPiBusCfgGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0 Actions
8971 Retrascope Bug Verified Normal Wrong type RetrascopeException in VcegarMpegCfgGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0 Actions
8970 Retrascope Bug Verified Normal NullPointerException in VisBpbCfgGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0 Actions
7517 Retrascope Bug Closed Normal [cfg] CfgProcess.deepCopy() works incorrectly Mikhail Lebedev Sergey Smolov Retrascope - 0.2 Actions
7412 Retrascope Bug Closed Normal State consistency constraint violation in ProcessSimulator Mikhail Lebedev Sergey Smolov Retrascope - 0.2 Actions
6465 Retrascope Task Closed Low SMV array element extraction using a variable Mikhail Lebedev Mikhail Lebedev Actions
6368 Retrascope Task Closed Normal Ranged assignment merge Mikhail Lebedev Sergey Smolov Retrascope - 0.1 Actions
6349 Fortress Task Closed Normal [MapBasedPrinter] Добавить возможность задавать формат вывода констант Mikhail Lebedev Alexander Kamkin Actions
5511 Retrascope Task Rejected Normal [model][cfg][walker] Добавить в обходчик поиск в ширину. Mikhail Lebedev Sergey Smolov Actions
5445 Retrascope Task Closed High [cgaa][transformer][efsm] Реализовать Static Single Assignment для Action. Mikhail Lebedev Sergey Smolov Retrascope - 0.1 Actions
5376 Retrascope Task Closed Normal [model][efsm][walking] Убрать проверку expression == null. Mikhail Lebedev Igor Melnichenko Actions
5203 Retrascope Task Closed Normal [model][efsm][walking] Использование методов onAssignmentBegin/End в обходчике Mikhail Lebedev Igor Melnichenko Actions
4981 Retrascope Task Closed Normal [efsm][conflicts] Изменение Efsm для представления конфликтов в XML Mikhail Lebedev Igor Melnichenko Retrascope - 0.1 Actions
(1-25/27) Per page: 25, 50

Also available in: Atom CSV PDF