Commit abdaae54 authored by Point Gerald's avatar Point Gerald
Browse files

update changes

parent 968a58db
......@@ -3,8 +3,10 @@ Details can be found in the ChangeLog file.
arc 1.4:
New features:
. add 'attribute id' formula in Acheck specifications that is the set of
transitions whose event contains a component with the attribute 'id'.
. add 'attribute id' formula in Acheck specifications that is the set of
transitions whose event contains a component with the attribute 'id'.
. add CTL* logic into acheck specifications. Formulas are introduced using
ctlspec keyword.
arc 1.3.3 :
Bug fixes:
......
ARC NEWS - History of user visible changes.
What's new in 1.4:
* add CTL* specifications into Acheck specs
* add 'attribute id' formula in Acheck specifications
What's new in 1.3:
* add ARC handbook.
* add experimental 'sequences' command that should produces sequences leading
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment