NEWS 2.97 KB
Newer Older
point's avatar
point committed
1
ARC NEWS - History of user visible changes.
point's avatar
point committed
2

Point Gerald's avatar
Point Gerald committed
3
What's new in 1.4:
4
* add a by-extension preprocessing mechanism
Point Gerald's avatar
Point Gerald committed
5
6
* add CTL* specifications into Acheck specs
* add 'attribute id' formula in Acheck specifications
7
* the 'info' command now displays dimension of nodes and their hierachy
8
* Mec 5 commands in specs files don't yield syntax error.
Point Gerald's avatar
Point Gerald committed
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
* 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
Point Gerald's avatar
Point Gerald committed
28

point's avatar
point committed
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
What's new in 1.3:
* add ARC handbook.
* add experimental 'sequences' command that should produces sequences leading 
  an AltaRica node into unexpected states.
* in Acheck specs, more commands are available with DDs: trace, dot, quot, 
  project.
* explicit representation now encodes values with 'int'.    
* add timers for Mec 5 computations. Timers are enabled using "mec5.timers" 
  setting.
* in the simulator, add a button that generates the current assignment of 
  state variables as an "init" clause.
* show(all) now order properties lexicographically.
* add the 'validate' command that checks some small properties of nodes 
  (e.g. domains coverage, macro-transitions usage, ...)
* add an 'obfuscation' command permitting to obfuscate models and specs.
* display a warning message when two enums with no intersection are compared.
* in Acheck specs, TEST(X) behaves like check-card i.e. checks the 
  non-emptiness of X
* support additional constraint for the initial configuration.
point's avatar
point committed
48

point's avatar
point committed
49
What's new in 1.2:
point's avatar
point committed
50
* Add pkg-config support. 
point's avatar
point committed
51
* Internal help has been revisited to be more user-friendly (we hope so).
point's avatar
point committed
52
* Add documented preferences stored in the ~/.arcrc configuration file
point's avatar
point committed
53
54
55
56
57
58
59
60
61
* Add a (basic) graphical simuilator implemented in GTK+-2.0 (replacement of
  the altatools simulator).
* Add support for symbolic computation in Acheck (explicit representation is
  always available).
* Add support for Mec 5 specifications; however the type inference is not 
  supported. Extend specifications with several predefined relations like 
  !st, !sc, !reach, and so on
* Allow to mix syntaxes of Acheck, Mec5 and ARC in a same file.
* Add serialization of symbolic relations.
point's avatar
point committed
62
* Add preprocessing support using preferences.
point's avatar
point committed
63
64