Project

General

Profile

Actions

Feature #8119

closed

Develop preset tags

Added by Evgeny Novikov about 7 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
Normal
Category:
Preset jobs, marks and tags
Target version:
Start date:
10/21/2020
Due date:
% Done:

100%

Estimated time:
(Total: 0.00 h)
Published in build:

Description

Although preset tags were supported a long ago they weren't filled thus far. Now we know a bit better what we need, so now it's time to do that. In addition we need to clarify generic conceptions and the terminology so that everything will be at the right place.


Subtasks 4 (0 open4 closed)

Feature #10549: Develop preset tags for CPAchecker SMGClosedAnton Vasilyev10/21/2020

Actions
Feature #10550: Develop preset tags for CPAchecker BAMClosedPavel Andrianov10/21/2020

Actions
Feature #10551: Develop preset tags for CPALockatorClosedPavel Andrianov10/21/2020

Actions
Feature #10622: Develop preset tags for EMGClosedIlja Zakharov12/15/2020

Actions

Related issues 2 (0 open2 closed)

Blocks Klever - Feature #10465: Update Klever tutorialClosedEvgeny Novikov08/17/2020

Actions
Blocked by Klever - Feature #9396: Allow creating tags with the same names at different branchesClosedVladimir Gratinskiy11/22/2018

Actions
Actions

Also available in: Atom PDF