Project

General

Profile

Support #3260

update simple traffic light AF3 tour for OCRA contract

Added by Anonymous over 2 years ago. Updated over 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
01/31/2018
Due date:
% Done:

0%

Estimated time:

Description

Context: OCRA contracts

Issue: The project and tutorial both contain the formula "!A OR B" for "A implies B". It is so because implication was not supported as an operator. Now it is available and the tutorial and project should be updated accordingly.

Scope: It affects only OCRA contracts. Nothing else.

History

#1 Updated by Anonymous over 2 years ago

  • Target version changed from AF3 2.13 RC3 (Documented, Code Reviewed) to AF3 2.14 RC1 (Feature Freeze)

#2 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to Backlog

Also available in: Atom PDF