Commit 0c9db482 authored by Point Gerald's avatar Point Gerald
Browse files

update changes

parent 86a4703e
......@@ -16,12 +16,31 @@ arc 1.4:
. add support of Mec 5 commands. Commands are not (yet!) interpreted.
. #16: clash between identifiers of global enums and subnode.
. add new test suite for syntax and static semantics.
. add a command/response mode (-x) that disable readline interactions and
remove decoration of outputs
. add node-info commands that return infos about a node (childs, max-card,
variables, ...)
. add a option that permit to log all outputs of the program to a given file
. add Altarica Studio GUI for ARC
. replaces fixed size buffer of readline-no-rl by a dynamically cc-buffer
. extend CA API with iterators to CA fields
. add 'stepper' command used as a textual step-by-step simulator
. add 'assert' operator to Acheck specifications that restricts a set of
states to valid configurations
. add 'events' command to Acheck specifications that displays events
labelling a set of transitions
. lazy evaluation of the conjunction of assertions
Bug fixed:
. #15: clash between identifiers of events and global enums. An enumeration
type has been added to each node. This enumeration defines the type of
events of that node.
. check that array indexes are computable constants.
. fix several wrong or missing error codes in arc commands
. fix a bug related to ARC_SHELL_CURRENT_CONTEXT that can be NULL in
non-interactive mode
. change shell parser to return asap in order to prevent stack-overflow in
yyparse
arc 1.3.4 :
Bug fixes:
......
......@@ -6,6 +6,20 @@ What's new in 1.4:
* add 'attribute id' formula in Acheck specifications
* the 'info' command now displays dimension of nodes and their hierachy
* Mec 5 commands in specs files don't yield syntax error.
* new options:
. -x : enable command/response mode that disables readline interactions
and remove decoration of outputs. This mode is suitable with interaction
with another process.
. -l logfile: permit to log all outputs of the program to a given file
* new commands:
. node-info: returns infos about a node (childs, max-card, variables, ...)
. stepper command used as a textual step-by-step simulator
* acheck changes:
. add 'assert' operator to specifications that restricts a set of states to
valid configurations
. add 'events' command to Acheck specifications that displays events
labelling a set of transitions
* add Altarica Studio GUI for ARC
What's new in 1.3:
* add ARC handbook.
......
Supports Markdown
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