| Type | Changes | By |
|---|
 | changed visual factory to group transitions on visual edges | bailly |
 | added JAuto application for parsing RE and outputting .auto file | bailly |
| added scripts (Unix) for launching applications | bailly |
 | corrected transformation to RE : bug for single transition automaton | bailly |
| added method for computing transition set between two states | bailly |
| fixed getConnectedSet() method and
fixed clone method,
changed hashcode for Key class
fixed toArray method | bailly |
| added interface method for computing transition set between two states | bailly |
| fixed computation of PrefixClosure : bug with state factory | bailly |
| added some test for single transition automaton
added tests for geodesic and distances calculations | bailly |
| created package for distance | bailly |
| added class for computation of geodesic decomposition | bailly |
| added class RadialGraph for displaying arbitrary vectors on a radial map | bailly |
| added simple enumeration method in automaton | bailly |
| added application Morph for computing image of an Automaton by a Morphism
added Morphism transformation | bailly |
| moved CompletedTraceEquivalence as TraceEquivalence | bailly |
| added equivalence() on set of states for proper handling of NFA
added error trace collection to retrieve a trace when equivalence fails | bailly |
| added AlphaBetaTester implementing test using alpha-beta search algorithm | bailly |
| added package for general algebraic computations on semirings | bailly |
| added matrix computation on automata | bailly |
| added rational expression classes as semiring instances
split Distance class to allow implementing various metrics | bailly |
| added implementation classes for L1 and L2 metrics | bailly |
| added Codec for converting Automaton to dot format
removed System.err traces
corrected word enumeration
corrected W set computation
fixed Mix algorithm for using Synchronization interface
removed Synchronize transformation | bailly |
| added and corrected more tests | bailly |
| fixed imports | bailly |
| removed Synchronize | bailly |
| added test for AlphaBetaTester | bailly |
| added constructor for making IOAutomaton from Automaton with a map of alphabets | bailly |
| made IOLetter class non final to allow subclassing (eg. FIDL Message) | bailly |
| added tester implementation with alpha-beta algorithm and some evaluator | bailly |
| corrected failure trace to contain expected messages if it fails | bailly |
| made Shuffle use Mix with empty synchronisation alphabet | bailly |
| added and corrected unit tests | bailly |
Release 1.6.0 - 2005/04/20
| Type | Changes | By |
|---|
| Added programs Show and Transform as command-line utilities for manipulating automata. | bailly |
| Added new package and classes for IOAutomaton testing. Contains partial
implementations of Pyhala's, Kervinen's. Plan to add TorX and TGV testers. | bailly |
| Added StateMachine interface to rationals.ioautomata for greater flexibility of
testers and to implementations of this interface based on an underlying IOAutomaton:
one synchronous and the other asynchronous. | bailly |
| Added new transformations and properties: Mirror for ioautomaton, ModelCheck, IsDeterministic
and Identity. | bailly |
| Completed work on state factories and state sets. State sets should now be obtained through
the state factory object in Automaton. The default implementation is based on
bit sets which is hopefully more efficient in storage and computational power consumption.
The various transformations algorithms were changed accordingly. | bailly |
| Added a special transformation Distance for computing trace distance of words in an Automaton. | bailly |
| Lots of new test cases and update of old ones. | bailly |
Release 1.5.4 - 2005/04/08
| Type | Changes | By |
|---|
| Added documentations for transformations classes and created package level
documentation for trasnformations and properties. | bailly |
| Start working on StateFactory objects so that they can be more
efficient for handling very large automata. | bailly |
| Created TransducerTester which can tests transducers against specifications
with a set of test cases. Added some tests for these. | bailly |
| Added Complement transformation and interface StateMachine. | bailly |
| corrected test suite generation classes so that they return
array of Objects instead of Lists. Changed the names of testers
to testGenerators. | bailly |
| corrected Mix algorithm | bailly |
| corrected Synchronize algorithm. It now supersedes Intersection with
greater flexibility. | bailly |
| corrected Synchronization interface and implementations so that
they work on labels instead of transitions. | bailly |
| added static method for EPS output of automaton to a file | bailly |
 | removed rationals.tests package | bailly |
| removed rationals.transformations.Intersection which is superseded by
Synchronize. | bailly |
| added Synchronization interface for customizing synch product, Synchronization implementations for
automaton and ioautomaton and Synchronize algorithm whichh looks like Mix but uses Synchronization interface. | bailly |
| modified TransducerTransition and IOTransition to encpsulate labels | bailly |
| moved Main from default package to rationals package | bailly |
| added test for IOAutomaton that computes synchronized product as in TGV | bailly |
| added test suites | bailly |
| modified painting of states so that final states are marked with a white circle embedded in the node
and the state's number is painted in white on the dot. | bailly |
Release 1.5.3 - 2005/03/31
| Type | Changes | By |
|---|
| package rationals.transductions.testing for FSM testing methods | bailly |
| determi
nistic transducer implementation and various set extraction methods | bailly |
| start work on RandomAutomaton for generating random auto | bailly |
| added more tests | bailly |
| added Codecs API for load/save of automata (without layout). Currently
handles JAuto txt format | bailly |
| added package rationals.ioautomata for special class of AUtomaton
with I/O behavior | bailly |
| started work on isomorphims testing - TBC | bailly |
Release 1.5.2 - 2005/03/28
| Type | Changes | By |
|---|
| Added TraceEquivalence and test case. | bailly |
| Changed Mix algorithm and added test cases for Mix. | bailly |
| Reintroduced Graph interface for Automaton. | bailly |
Release 1.5.1 - 2005/03/25
| Type | Changes | By |
|---|
| Refactored lexical and syntactic analysis of RE to allow more freedom in labels | bailly |
Release 1.5 - 2005/03/23
| Type | Changes | By |
|---|
| Corrected EpsilonTransitionRemover | bailly |
| Added package transductions. Allows creation of rational transductions through
Transducer class and computation of image of a word. | bailly |
