NEWS 2.02 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

point's avatar
point committed
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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
29

point's avatar
point committed
30
What's new in 1.2:
point's avatar
point committed
31
* Add pkg-config support. 
point's avatar
point committed
32
* Internal help has been revisited to be more user-friendly (we hope so).
point's avatar
point committed
33
* Add documented preferences stored in the ~/.arcrc configuration file
point's avatar
point committed
34
35
36
37
38
39
40
41
42
* 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
43
* Add preprocessing support using preferences.
point's avatar
point committed
44
45