Project

General

Profile

Feature #8119

Develop preset tags

Added by Evgeny Novikov almost 4 years ago. Updated about 1 month 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

Feature #10549: Develop preset tags for CPAchecker SMGClosedAnton Vasilyev

Actions
Feature #10550: Develop preset tags for CPAchecker BAMClosedPavel Andrianov

Actions
Feature #10551: Develop preset tags for CPALockatorClosedPavel Andrianov

Actions
Feature #10622: Develop preset tags for EMGClosedIlja Zakharov

Actions

Related issues

Blocks Klever - Feature #10465: Update Klever tutorialClosed08/17/2020

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

Actions

History

#1

Updated by Evgeny Novikov over 3 years ago

  • Priority changed from Urgent to High

I suppose to postpone this issue because of there are many other important issues.

#2

Updated by Evgeny Novikov over 2 years ago

  • Description updated (diff)
  • Subject changed from Develop preset unsafe tags to Develop preset tags
#3

Updated by Evgeny Novikov 3 months ago

  • Target version set to 3.0
  • Priority changed from High to Urgent

Let's do this for 3.0 to simplify usage of Klever.

#4

Updated by Evgeny Novikov 3 months ago

#5

Updated by Evgeny Novikov 2 months ago

#6

Updated by Evgeny Novikov 2 months ago

#7

Updated by Evgeny Novikov about 2 months ago

Starting from 188643ef2 to master there is no tags at all. They will be filled step by step, so that everybody will have at least the same ground.

#8

Updated by Evgeny Novikov about 2 months ago

  • Blocked by Feature #9396: Allow creating tags with the same names at different branches added
#9

Updated by Evgeny Novikov about 2 months ago

Before #9396 we cannot add concise and valuable preset tags. Moreover, it can break all existing tags.

#10

Updated by Evgeny Novikov about 1 month ago

  • Status changed from New to Resolved

Everything is implemented in branch bridge_9396.

#11

Updated by Evgeny Novikov about 1 month ago

  • Status changed from Resolved to Closed

I merged this branch to master in 2625e7311 after CI passed test cases. This change is not backward compatible. Moreover, you should migrate your marks manually using preset tags as most as possible.

Also available in: Atom PDF