Project

General

Profile

Feature #1935

Analysis: Check assumptions for non-contradiction

Added by Anonymous over 6 years ago. Updated almost 3 years ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
02/13/2014
Due date:
% Done:

0%

Estimated time:

Description

Contradictory assumptions (in A/G contracts) completely screw any analysis.

Therefore would be nice to provide some check for that.


Related issues

Has duplicate Feature #1968: Detection of contradictory assumptionsRejected03/03/2014

History

#1 Updated by Anonymous over 6 years ago

  • Subject changed from Check assumptions for non-contradiction to Analysis: Check assumptions for non-contradiction

#2 Updated by Anonymous over 6 years ago

  • Target version changed from Phoenix 2.6 Release to AF3 2.6 RC1 Feature Freeze

#3 Updated by Anonymous over 6 years ago

  • Target version changed from AF3 2.6 RC1 Feature Freeze to Phoenix 2.7 Release

#4 Updated by Anonymous almost 6 years ago

  • Target version changed from Phoenix 2.7 Release to AF3 2.7 RC1 (features frozen)

#5 Updated by Anonymous almost 6 years ago

  • Target version changed from AF3 2.7 RC1 (features frozen) to AF3 2.8 RC1 (Feature Freeze)

#6 Updated by Anonymous over 5 years ago

  • Target version changed from AF3 2.8 RC1 (Feature Freeze) to AF3 2.9 RC1 (Features frozen)

#7 Updated by Anonymous almost 5 years ago

  • Target version changed from AF3 2.9 RC1 (Features frozen) to AF3 2.10 Feature Freeze

#8 Updated by Anonymous over 4 years ago

  • Target version changed from AF3 2.10 Feature Freeze to AF3 2.11 RC1 (Feature Freeze)

#9 Updated by Anonymous over 3 years ago

  • Target version changed from AF3 2.11 RC1 (Feature Freeze) to AF3 2.11 Post-release

#10 Updated by Anonymous almost 3 years ago

  • Assignee changed from Anonymous to Anonymous

@Sudeep: opinion? Tackle or reject? Do you even think it would be really useful in practice?

IMO, if we get back to the remark we said once: "don't do all analyses, but pick a couple and make them perfect", I'd say we can reject.

#11 Updated by Anonymous almost 3 years ago

  • Status changed from New to Rejected
  • Assignee deleted (Anonymous)
  • Target version changed from AF3 2.11 Post-release to AF3 2.12 Post-release

We have rebuilt the analyses plugin completely, and do not support this at present. This will be tackled when this feature is developed for the new analyses. refer to #3232

Also available in: Atom PDF