Commit 6ed01d3d authored by Point Gerald's avatar Point Gerald
Browse files

update changes

parent 18e97f84
......@@ -17,12 +17,49 @@ arc 1.4:
. #16: clash between identifiers of global enums and subnode.
. add new test suite for syntax and static semantics.
. add functional dependencies analysis to CAs.
. add computation of a dependency graph for components (vars, asserts,
transitions) of a CA
. add a function to reindex variables of CA
. add functional analysis at the end of the constuction of a CA.
. partitions assertions into constraints and functional dependencies
. add reduction of a CA wrt to a dependency graph
. add 'arch' command that generate a DOT file with the architecture of
a hierarchical node
. add 'target-reduction' command that project a node on the sub-part that
influence the value of a given formula.
. factorize code between explicit/symbolic sequence generators
. make DD variables ordering less dependant of the syntax
. propagate attributes of variables into the CA.
. in variable ordering for DDs gather variables assigned by a transition
. change the display of a CA using one variable per line
. in DD module add a projection function. Use a DD to encode list of
variables
. compute dependencies between transitions and use it for sequences
generation
. add generation of cuts encoded by a Boolean formula.
. add the possibility to indicate a tag that marks visible events used by
the cut generator. by default all are visible
. in 'list nodes', add a star to root nodes
. add 'depgraph' command that gives info related to dependencies in a CA
. adds a new preference that permits to set the prompt displayed by the
"eval" command
. 'eval' command now support Readline. The end of the input
stream is indicated either by an end-of-file character (e.g ^D) or by an
explicit keyword given as parameter (default=EOF).
. allows two modes for the 'eval' command (batch or interactive).
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 error in indexation of quantified variables.
. fix memory leak in computation of reachables. global assertion wasn't
unreferenced.
arc 1.3.4 :
Bug fixes:
. issue #30: in ar_ts_display_trans, the same state was used for the source
......
......@@ -6,6 +6,25 @@ 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.
* make DD variables ordering less dependant of the syntax
* add generation of cuts. Result is a Boolean formula that can be treated with
Aralia. Visible events can be distinguished from others.
* 'list nodes' now adds a star to root nodes
* changes to 'eval' command:
. adds a new preference that permits to set the prompt displayed by the
command
. readline is now supported.The end of the input stream is indicated either
by an end-of-file character (e.g ^D) or by an explicit keyword given as
parameter (default = EOF).
. allows two modes for the 'eval' command (batch or interactive). When ARC is
interactive use readline input. In batch mode, 'eval' interprets its
arguments as specs.
* new commands:
. arch: generates a DOT file with the architecture of a hierarchical node
. target-reduction: project a node on the sub-part that influences the value
of a given formula.
. depgraph: gives info related to dependencies in a CA
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