Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5503 Retrascope Task Closed Normal [parser][basis][backend] implement "atomic hammock" backend Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5502 Retrascope Bug Closed Normal [engine][testbench] 'engine' subpackages must not contain entities Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5501 Retrascope Task Closed Normal [efsm][generator][test] Class 'EfsmAtomicTestGenerator' is never used Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5500 Retrascope Bug Closed Normal [engine][testbench] possible bug in TestVhdlTestbenchPrinter engine id Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5499 Retrascope Bug Closed Normal [efsm][extractor][conflict] move & rename EfsmConflicts class Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5498 Retrascope Task Closed Normal [model][basis][memory] rename IMemory interface Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5497 Retrascope Task Closed Normal [efsm][extractor][conflict][jaxb] rename jaxb-classes Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5495 Retrascope Task Closed Normal [structure] move ru.ispras.retrascope.testbench.media package to ru.ispras.retrascope.result.testbench Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5494 Retrascope Task Closed Normal [structure] remove ru.ispras.retrascope.engine.efsm.testgen.heuristic empty package Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5492 Verilog Translator Bug Closed Normal retrascope + sapic.v = java.lang.IllegalStateException: Operand is not a constant integer value: 00000000000000000000000000000011 Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
5482 Retrascope Task Closed Normal [wiki] documentation for 0.1-alpha Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5481 Retrascope Task Closed Normal [structure] remove raw packages from main build folder Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5478 Fortress Task Closed Normal Implement Transformer.reduce(Node expression) Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
5471 Retrascope Task Closed Normal [structure] Rename *ing packages Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5466 Fortress Task Closed High [solver] print the input constraint when solver returns ERROR/UNKNOWN verdict Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5465 Fortress Task Closed Normal [z3][solver] solver errors elaboration scheme Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5464 Fortress Task Closed High [solver] boolean expressions casting into bit vectors Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5462 Fortress Task Closed Normal [arrays] arrays initialization is inconvenient Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5461 Fortress Bug Closed High [arrays] Insufficient arrays support Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5459 Retrascope Task Closed Normal implement EngineFrontend/EngineBackend Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5457 Retrascope Bug Closed Normal [javadoc] Поправить комментарий в классе engine.efsm.testgen.ulisse.PercolationCoefficient Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5456 Retrascope Task Closed Normal [structure] Замечания по структуре каталогов Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5455 Verilog Translator Task Closed Normal устранить зависимость от ANTLRWorks Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
5453 Fortress Bug Closed High [arrays] Unexpected solver output: " (INSTQUEUE ((as const (Array Int Int)) 0))" Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5447 Fortress Task Closed High [transformer][ruleset] стандартизация константных выражений вида "x EQ y" Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
(501-525/660) Per page: 25, 50, 100

Also available in: Atom CSV PDF