Project

General

Profile

Feature #9458

Feature #8494: Process extended format of violation witnesses

Visualize a new format of error traces

Added by Evgeny Novikov almost 2 years ago. Updated about 2 months ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
01/25/2019
Due date:
07/02/2019
% Done:

100%

Estimated time:
Published in build:

Description

The error trace format that is used at the moment was not designed well enough. Thus, we have numerous issues with it (both when generating it and when processing it). The new format will be better. Besides, it will come with some improvements from the extended format of violation witnesses.


Related issues

Related to Klever - Feature #9459: Generate error traces in a new formatClosed01/25/2019

Actions
Has duplicate Klever - Feature #10554: Visualize declarations and advanced notesRejected10/22/2020

Actions

History

#1

Updated by Vladimir Gratinskiy over 1 year ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved
  • Due date set to 07/02/2019

Implemented in bridge-3.0.

#2

Updated by Evgeny Novikov about 1 year ago

  • Status changed from Resolved to Closed

In master.

#3

Updated by Evgeny Novikov 2 months ago

  • Related to Feature #9459: Generate error traces in a new format added
#4

Updated by Evgeny Novikov 2 months ago

  • Status changed from Closed to Resolved

We updated format to support extended violation witnesses, so, some changes in visualization and assessment are necessary. These changes shouldn't be backward compatible with master.

#5

Updated by Evgeny Novikov 2 months ago

  • Has duplicate Feature #10554: Visualize declarations and advanced notes added
#6

Updated by Evgeny Novikov 2 months ago

  • Status changed from Resolved to Open

New features are not implemented yet.

#7

Updated by Evgeny Novikov about 2 months ago

  • Status changed from Open to Resolved

It was done in branch extended-witnesses around 10 days ago.

#8

Updated by Evgeny Novikov about 2 months ago

  • Status changed from Resolved to Open

Thanks to Pavel we understood that we do not support several notes per one edge though it is useful and it is mentioned in specification of extended violation witnesses.

#9

Updated by Evgeny Novikov about 2 months ago

  • Status changed from Open to Resolved

Multiple notes per one violation witness edge (error trace node) were supported in branch extended-witnesses.

#10

Updated by Evgeny Novikov about 2 months ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in d74545524.

Also available in: Atom PDF