Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8161 Trace Matcher Task Closed Normal Basic modules Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
8113 Trace Matcher Task Closed Normal Gradle build environment Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
7972 Retrascope Task Closed Normal empty event-free cases merging backend Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7906 Retrascope Task Closed Normal Backend that merges "neighbour ranged" sequential 'if' statements Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7846 Fortress Task Rejected Normal 'Transformer.reduce(Transformer.substitute(expression, name, term))' convenience method Sergey Smolov Fortress - 0.4 Actions
7806 Retrascope Task Closed Normal [cgaa] process - collection of diagrams Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7772 Fortress Task Closed High TypeConversion.coerce: transform from MAP to BIT_VECTOR Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
7770 Retrascope Task Closed Normal 'others' attribute upon array/bitvector initialization Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
7742 Retrascope Task Closed Normal enum support Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7733 Trace Matcher Task Closed Normal run.bat script for Windows Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
7732 Trace Matcher Task Closed Normal oracle: record queue based comparison approach Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
7727 Retrascope Task Closed Normal Flatten module instances Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7725 Verilog Translator Task Closed Normal bitvector arrays support Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
7723 Retrascope Task Rejected Normal Support for module instances in Verilog descriptions Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
7715 Retrascope Task Closed Normal [refactoring] duplicate code in AssertionVariableContainer Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7663 Trace Matcher Task Closed Normal "main" function Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
7626 Retrascope Task Closed Normal HDL Retrascope 0.2.2-beta release Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7623 Retrascope Task Closed Normal HLDD-to-SMV printer with no assertions Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7597 Retrascope Task Closed Normal EfsmTransition.getGuardedAction().getGuard() -> EfsmTransition.getGuard() Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7595 Retrascope Task Closed Normal GuardedAction.getGuard().getNode() -> GuardedAction.getGuardNode() Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7574 Retrascope Task Closed Normal Efsm: deepCopy() Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7564 MicroTESK Task Closed Normal "How to build MicroTESK" guide for developers in project Wiki Sergey Smolov Alexander Kamkin MicroTESK - 2.5 Actions
7561 Fortress Task New Normal ISampleConstraint: 'getExpectedVariables' returns value that is ignored in jUnit tests Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7546 Retrascope Task Closed Normal Print tool execution time in milliseconds Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7527 Fortress Task Closed Normal constant casting while type conversion Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
7524 Verilog Translator Task Closed Normal support for non-zero-starting bit vector variables & signals Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
7409 Retrascope Task Closed Normal EFSM state abstraction (stabilization) Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7402 Fortress Task Closed Normal ExprUtils: ignore repeated Node objects upon conjunction/disjunction construction Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7397 Fortress Task Closed Normal NodeVariable.new<type-of-variable>(final String name) Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7383 Fortress Task Closed Normal boolean isOperation(final Node expr, final T... opId) Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7378 Fortress Task Closed Low NodeTransformer: multiple transform rules for a single enum id Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
7271 Retrascope Task Closed Normal add javadoc for new methods when efsm.state.abstraction branch will be merged into master Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7104 Retrascope Task Closed High smv-test-parser: filter tests Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7096 Retrascope Task Closed Normal assign process merging backend Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7081 Retrascope Task Rejected Normal xor-composition-printer Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6990 Retrascope IDE Task Rejected Normal use veditor 1.2.1c Sergey Smolov Sergey Smolov Retrascope IDE - 0.1 Actions
6989 Retrascope IDE Task Rejected Normal migrate to Eclipse Mars (4.5) Sergey Smolov Sergey Smolov Retrascope IDE - 0.1 Actions
6988 Retrascope IDE Task New Normal [efsm][visualizator][zest] "organic" layout for EFSM models Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
6983 Retrascope IDE Task Closed Normal [cfg][visualizator][zest] visualize CfgAssertStatement & CfgLoopStatement nodes Sergey Smolov Sergey Smolov Retrascope IDE - 0.1 Actions
6976 Retrascope Task Closed Normal Wiki update Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6956 Retrascope Task Closed Normal HDL Retrascope 0.2.1 release Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6864 Retrascope Task Closed Normal Remove crypto-cores from test suite Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6831 Fortress Task Closed Normal ESExprParser: improve error messages Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
6808 Retrascope Task Rejected High Split CFG processes into independent parts Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6758 Retrascope Task Closed Normal return state/transition coverage for the specified EFSM & test entities Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6534 Retrascope Task Closed Normal pass reset-like signals to EFSM-based assertions Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6528 Retrascope Task Closed Normal random test generator Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6511 Retrascope Task Rejected Normal keep expressions at case statements Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6509 Retrascope Task Rejected Normal merge embedded switch nodes with conditions depending exactly from the same variable(s) Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6507 Castle Task Closed Normal build.gradle: get ANTLR jar from server Sergey Smolov Sergey Smolov Actions
6490 Retrascope Task Closed High Gradle task & cmdline scripts for running the tool from terminal Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6483 Retrascope Task Closed High keep related clock-like variables for top-level containers of EFSM assertions Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6472 Retrascope Task Closed Normal b13.vhd: too long elaboration time Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
6456 Retrascope Task Closed High CFG model as hirerarchical list of statements Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6454 Retrascope Task Closed Normal group sequential switches with boolean conditions of "x == a" form Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6453 Retrascope Task Closed Normal Statement class for grouping CFG nodes Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6449 Retrascope Task New Low testbench generator taking test sequences and mappings as inputs Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
6448 Retrascope Task New Low mapping description language + IR + parser Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
6447 Retrascope Task Closed Normal SMV-based counterexamples parser Sergey Smolov Mikhail Lebedev Retrascope - 0.2 Actions
6446 Retrascope Task New Normal Promela translator to CFG representation (no buffers) Sergey Smolov Mikhail Lebedev Retrascope - 2.0 Actions
6445 Retrascope Task Closed Normal compare nuXmv and NuSMV Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6431 Retrascope Task Closed Normal descriptor for (VHDL) variables & signals Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6423 Fortress Task Rejected Low to_real, to_int, is_int operations Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
6412 Retrascope Task Rejected Normal engine combining HLDD & assertion model Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6410 Retrascope Task Closed Normal no-loop/no-recursion functions elaboration Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6393 Retrascope Task Rejected Normal migrate to EFSM model containing only concurrent assignments Sergey Smolov Igor Melnichenko Retrascope - 0.2 Actions
6389 Retrascope Task Closed Normal Wiki documentation about testbench simulation Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6367 Retrascope Task Closed Urgent Fortress expressions printing in an SMV format Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6364 Fortress Task Rejected Low SolverResult: implement equals\hashcode methods Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
6354 Retrascope Task Closed Normal Collapsing group node for Module Sergey Smolov Alexander Protsenko Retrascope - 0.1 Actions
6350 Retrascope Task Closed Normal EfsmConflictExtractor wiki documentation Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6336 Retrascope Task Closed Normal jUnit tests for EfsmConflictExtractor Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6331 Retrascope Task Closed Normal look into unused classes Sergey Smolov Sergey Smolov Actions
6327 Retrascope Task Closed Normal log messages class Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6301 Retrascope Task Closed Normal unused code Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
6282 Retrascope Task Closed High finish AstSmvVisitor & CfgAstVisitor merge Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
6108 MicroTESK Task Closed Normal create environment variable(s) for SMT solver(s) Sergey Smolov Andrei Tatarnikov MicroTESK - 2.2 Actions
6061 Retrascope Task Closed Normal EFSM-based transition assertion generator Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
6060 Retrascope Task Closed Normal Add plasma to project test suite Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6059 Retrascope Task Closed Normal Simple solver for "x && !x" constraints Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6051 Retrascope Task Closed Normal state-like variable names option Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6050 Retrascope Task Closed High Path to testbench directory as command-line parameter Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6049 Retrascope Task Closed Normal VHDL test printer: write documentation to project wiki Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
6041 Retrascope Task Closed Normal move to gradle based build system Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5993 Fortress Task Closed Normal boolean ExprUtils.isKind(Node.Kind kind, Node ... nodes) Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
5985 Fortress Task Closed High Node ExprUtils.getEquation(Node target, Node value) Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
5967 MicroTESK Task Closed Low one directory for all components of distribution Sergey Smolov Andrei Tatarnikov MicroTESK - 2.2 Actions
5907 Fortress Task Closed Normal boolean areOfType(DataTypeId id, Node ... nodes) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5904 Retrascope Task Closed Normal save jUnit test results in build/test-results Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5897 Retrascope Task Closed Normal fix javadoc for methods using InvariantChecks.checkNotNull Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5896 Retrascope Task Closed Normal remove parameterized collections from public method interfaces Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5887 Retrascope Task Closed Normal rename 'decider_parser.vhd' Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5881 Verilog Translator Task Closed Normal keep file names in the AST top nodes Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
5875 Retrascope Task Closed Normal Check state/transition count for extracted EFSM models Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5872 Retrascope Task Closed Normal HDL file meta info Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5870 Retrascope Task Closed Normal Retrascope exceptions Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5868 Retrascope Task Closed Normal Migrate to Fortress 0.4 Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5861 Fortress Task Closed Low static boolean containsSingleObject(Collection<?> collection) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5832 Retrascope Task Closed Normal print some info about failed tests Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5802 Fortress Task Closed High NodeValue newZero(DataType dataType) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
(101-200/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF