Activity

From 27 Feb 2012 to 27 Mar 2012

27 Mar 2012

23:56 JTorX v1.10.0-beta3
Changes w.r.t. v1.10.0-beta2:
* integrated .graphml support from v1.9.2
* added @jtorxsa@ script to write suspens...
Axel Belinfante
23:49 JTorX-1.10.0-beta3.dmg
Axel Belinfante
23:49 jtorx-1.10.0-beta3-linux.tgz
Axel Belinfante
23:49 jtorx-1.10.0-beta3-win.zip
Axel Belinfante
23:19 JTorX v1.9.2
Completed update of .graphml support:
* recognize invisible node that points to start state, when it has
** a Lin...
Axel Belinfante
22:13 Revision 5d40f920: Merge branch 'maint'
Axel Belinfante
22:10 Revision 016d54b0: new version (1.10.0-beta3)
but before we releas it, we will merge branch maint Axel Belinfante
22:01 Revision cc3675ed: new version (1.9.2)
Axel Belinfante
21:57 jtorx-1.9.2-win.zip
Axel Belinfante
21:57 JTorX-1.9.2.dmg
Axel Belinfante
21:57 jtorx-1.9.2-linux.tgz
Axel Belinfante
21:12 Bug #583 (Feedback): JTorX can only see initial state of graphml file produced with recent yEd wh...
To indicate the initial state one either has to give it node label 1 (and then there only has to be exactly one ... Axel Belinfante
19:35 Revision c448e6db: correctly identify transparent nodes in new graphml files
the previous changes made to be able to read 'new' graphml files
were not sufficient to identify transparent nodes:
i...
Axel Belinfante

23 Mar 2012

16:38 Revision 2a4f4170: script jtorxsa + updated writers to be non-recursive
- jtorxsa writes suspension automaton to stdout
- changed writers to no longer call unfold recursively,
because t...
Axel Belinfante

22 Mar 2012

12:06 Revision 052cd59f: made debug prints conditional + slightly extended logging
- with COVERAGEGUIDESTART print labelconstraint and state label
- new MODELSTATS log line that contains number of tr...
Axel Belinfante
12:01 Revision 2f704a54: avoid warning about missing includeantruntime line
Axel Belinfante

13 Mar 2012

15:47 JTorX v1.10.0-beta2
Changes
* speed-up presentation of long lists of actions in menu-pane
at the cost of increased memory usage (cach...
Axel Belinfante
15:44 jtorx-1.10.0-beta2-win.zip
Axel Belinfante
15:44 jtorx-1.10.0-beta2-linux.tgz
Axel Belinfante
15:44 JTorX-1.10.0-beta2.dmg
Axel Belinfante
15:32 Revision 5c950970: new version (1.10.0-beta2)
Axel Belinfante
15:30 Revision 4e17ba82: speed-up getAction of LibLabel by caching action (wastes space)
This speeds up quite a bit when we have very long menus because
it saves String.split() calls, but at the cost of mor...
Axel Belinfante
15:29 Revision c1b1473f: Tweaked menu pane: speed-up + natural sorting
speed-up obtained by replacing inefficient sorting of output table.
use natural order comparator
Axel Belinfante
13:47 Revision 871db6e3: freeze
Axel Belinfante
12:11 Revision f612b67c: freeze work on speeding up output table
Axel Belinfante

12 Mar 2012

00:35 Revision 9548c09b: tried to reduce number of calls to coverage bfs searcher by caching menu in Mo...
and extended and reduced logging and debug prints Axel Belinfante
15:20 JTorX v1.10.0-beta
This version is marked '-beta' because it introduces new features that are under development and have not been extens... Axel Belinfante
15:11 jtorx-1.10.0-beta-linux.tgz
Axel Belinfante
15:11 jtorx-1.10.0-beta-win.zip
Axel Belinfante
15:11 JTorX-1.10.0-beta.dmg
Axel Belinfante
14:50 Revision ab14afa3: updated jtorxio script to support -V
Axel Belinfante
14:34 Revision b23d020f: fixed usage of -V in nongui and convertor
Axel Belinfante
14:19 Revision 4831dcbd: updated SymToSim.jar and lib/STSimulator_-_JTorX.jar
these are versions
r333 SymToSim branch
101811 Nov 7 10:39 dist/SymToSim.jar
r332 JTorX branch
572922 Nov 4 16:...
Axel Belinfante
14:07 Revision 283f2d8c: added new Version class, and use it for gui, nongui and converter
Axel Belinfante
11:50 Revision 9a326895: renamed: jtorx-nongui -> jtorxcmd
Axel Belinfante
11:39 Bug #540 (Resolved): default file type for saved log is wrong (.aut instead of .log)
Applied in changeset commit:93a584128ee9395e23620b7504acc99ced300953. Axel Belinfante
11:37 Bug #580 (Feedback): a newline at the end of textfield of input actions and output actions is not...
fixed by commit:682d1cd49bdf844fc0bb71e773f3ee7fa6fdf1cb and commit:bbcc18f5b4bbb7c28fb3192409cd733a5b93c3a2 Axel Belinfante
11:35 Revision bbcc18f5: omitted case stripping whitespace when taking string from text field in gui
Axel Belinfante
11:25 Bug #540 (Feedback): default file type for saved log is wrong (.aut instead of .log)
handled by commit:93a584128ee9395e23620b7504acc99ced300953 Axel Belinfante
11:16 Revision 93a58412: dialog to save log now suggests proper file suffix
added separate dialog (closes #540) Axel Belinfante
10:54 Revision 976ec11b: removed non-functional coverate reset button from config pane
Axel Belinfante
10:46 Revision 549a60ea: commented out 'from file' interpretation combo setting
Axel Belinfante
10:45 Revision 682d1cd4: strip whitespace when taking string from text field in gui
Axel Belinfante
10:37 Revision 9d2d8267: dialogs for load/save config and load log now have proper list of file suffixes
we now have separate dialog instances for these three dialogs Axel Belinfante
09:26 Revision 9080eff1: extended logging of coverage visit statistics
Axel Belinfante

11 Mar 2012

00:45 Revision 71659426: extended logging of coverage data and coverage guide search
NOTE added statiscs to log for coverage date but order is weird:
now we get first node/edge numbers for model and sa,...
Axel Belinfante
00:19 Revision 9120461e: added timestamps in CONFIG and COVERAGE log messages
Axel Belinfante
23:47 Revision e0d69344: Merge branch 'master' into coverage
Axel Belinfante

09 Mar 2012

18:35 Revision e456d014: added jtorx-nongui; made coverage support with nongui
Axel Belinfante
02:23 Bug #562 (Resolved): the code that is meant to detect stimulate-observe races may cause a single ...
tried to resolve this in commit:d2d345e7e141abd6d5f14e8663458d6216aab08e and commit: a395f66234c86ea1334b61890d4c92ee... Axel Belinfante
02:21 Bug #561 (Resolved): ntpd time reset -n.m may disrupt a test run, causing erroneous fail verdict
tried to fix this in commit:d2d345e7e141abd6d5f14e8663458d6216aab08e
but this does not seem to completely prevent th...
Axel Belinfante
02:21 Bug #561: ntpd time reset -n.m may disrupt a test run, causing erroneous fail verdict
tried to fix this in commit:d2d345e7e141abd6d5f14e8663458d6216aab08e
but this does not seem to completely prevent th...
Axel Belinfante
02:15 Bug #582 (Feedback): JTorX cannot read graphml files produced by recent version of yEd
fixed in commit:af923119c0f4782a863442e3fdc5f805bd45328d Axel Belinfante
02:12 Bug #582 (Feedback): JTorX cannot read graphml files produced by recent version of yEd
graphml files produced by (e.g.) version 3.9 of yEd cannot be read by JTorX 1.9.0 -- these files contain elements ins... axel belinfante
01:29 JTorX v1.9.1
Updated .graphml support to deal with graphml files written by recent yEd versions (e.g. yEd 3.9)
* handle new fil...
Axel Belinfante
01:00 jtorx-1.9.1-win.zip
Axel Belinfante
01:00 jtorx-1.9.1-linux.tgz
Axel Belinfante

08 Mar 2012

00:58 JTorX-1.9.1.dmg
Axel Belinfante
00:26 Revision 9bf9bd53: updated tkdock (now has same version as we had already in animsc.dot)
seems that in a previous updated (when we fixed issues for linux or lion)
we messed up the tkdock (since 1.8.0.1 anid...
Axel Belinfante
00:25 Revision 699321fb: freeze anidot unknon tkdock version
46768 Nov 9 2009 anidot.vfs/lib/tkdock/libtkdock.dylib Axel Belinfante
22:12 Revision af923119: let graphl explorer deal with yEd 3.9 format, and made it more robust
- report SAX parser errors and warnings via ErrorReporter
- accept additional elements in node and edge labels
-...
Axel Belinfante

02 Mar 2012

14:03 Bug #580 (Feedback): a newline at the end of textfield of input actions and output actions is not...
When a new line is present at the end of string in the input or output actions text field, it may mess up the interpr... Axel Belinfante
13:55 Feature #579 (New): allow user to select display of long or short node labels in automata eg for ...
node labels in suspension automaton and testrun visualization can be large, because they show the set of node identif... Axel Belinfante
13:50 Bug #578 (New): JTorX crashes when reading empty line from program that communicates using labels
The crash is in the code that parses terms.
It tries to look at the first character of the line, after removing whit...
Axel Belinfante
 

Also available in: Atom