Project

General

Profile

Actions

Feature #8119

closed

Develop preset tags

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

Updated by Evgeny Novikov over 7 years ago

  • Priority changed from Urgent to High

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

Actions #2

Updated by Evgeny Novikov over 6 years ago

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

Updated by Evgeny Novikov about 4 years ago

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

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

Actions #4

Updated by Evgeny Novikov about 4 years ago

Actions #5

Updated by Evgeny Novikov about 4 years ago

Actions #6

Updated by Evgeny Novikov about 4 years ago

Actions #7

Updated by Evgeny Novikov about 4 years 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.

Actions #8

Updated by Evgeny Novikov about 4 years ago

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

Updated by Evgeny Novikov about 4 years ago

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

Actions #10

Updated by Evgeny Novikov about 4 years ago

  • Status changed from New to Resolved

Everything is implemented in branch bridge_9396.

Actions #11

Updated by Evgeny Novikov about 4 years 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.

Actions

Also available in: Atom PDF