Activity

From 18 Feb 2014 to 19 Mar 2014

19 Mar 2014

18:28 JTorX v1.11.0
Changes w.r.t. JTorX v1.10.0-beta8:
New features:
* added option to synthesize delta labels for states on tau-loo...
Axel Belinfante
16:00 jtorx-1.11.0-win.zip
Axel Belinfante
16:00 jtorx-1.11.0-linux.tgz
Axel Belinfante
16:00 JTorX-1.11.0.dmg
Axel Belinfante
11:32 Revision 1962d8f5: fix SettingsPane getter code to allows calls not only from UI thread, but also...
Axel Belinfante
10:29 Revision d207a4c3: fixed data for version 1.11.0
Axel Belinfante
10:18 Revision 422973dd: extended tooltiptext for Test pane Start button
Axel Belinfante
10:18 Revision 57401f71: changed anidot non-windows non-mac font increment to 1 (looks better)
Axel Belinfante

18 Mar 2014

00:17 Revision 56b276d2: added Settings class; testnongui -p flag, and testgui Settings pane, for posit...
to be able to set whether or not to use label position info from the model
(when present, currently only for Graphml)
Axel Belinfante
00:15 Revision c269f140: changed anidot font size again: back for mac, changed to +3 for linux
Axel Belinfante
18:18 Revision fc1623ce: changed anidot label size + label font back to default (looks better on linux;...
this does not affect anidot on windows: original change (thart we here undo)
was not affecting windows anyways
Axel Belinfante
18:16 Revision ab2056f9: added mkLabelPosition method (to separate node label position details from tho...
currently body computes the same as in mkPosition Axel Belinfante
18:15 Revision 4601748f: added (disabled) debug support for edge-label positioning
Axel Belinfante
18:14 Revision 3fa7e32f: disabled debug in logger/anidot/Anidot.java
Axel Belinfante
12:41 Revision e430c1ab: extended tooltips: added warning not to use coverage with symbolic or timed mo...
Axel Belinfante
11:03 Revision 7c687067: new version (1.11.0)
Axel Belinfante
10:56 Revision 1f8cb55e: Merge branch 'fix-sim-start' into next-test-branch
Fixed Conflicts:
src/utwente/fmt/jtorx/testgui/RunItemData.java
Axel Belinfante
10:49 Revision 8af67b50: added tool-tips to most GUI items
Axel Belinfante
10:48 Revision ac91e328: CHANGE let test run sequence numbers (runId in Testgui) start at 1 (instead of...
using logPaneCount which starts at 1
(used to be: logPaneCount-1)
Axel Belinfante
09:14 Revision 36b0e532: fix: introduced saveLTSDialog method for saving LTS (giving relevant file suff...
Axel Belinfante

17 Mar 2014

23:18 Revision ea8e607a: cleaned up how we start simulator (avoid ending up with disabled start button)
Axel Belinfante
23:18 Revision 2888b6f8: give more informative error message when reading LTS file fails
Axel Belinfante
09:54 Revision bd836a9c: hide 'angelic completion' button (remove it sometime later)
Axel Belinfante
09:49 Revision 08ac9cfb: Merge branch 'symb-satunknown' into next-test-branch
Axel Belinfante
09:49 Revision 42e4fb0d: disabled debug in TorxExplorer.java
Axel Belinfante
09:44 Revision 440c0af1: removed again code for TRUE constraint
Axel Belinfante
09:38 Revision 9c30fcd7: re-inserted omitted assignment to satIsKnown variable in torx-explorer interface
Axel Belinfante
09:35 Revision 77166372: Merge branch 'symb-satunknown' into next-test-branch
Axel Belinfante
09:34 Revision d4730e65: Merge branch 'fix-progressbar' into next-test-branch
Axel Belinfante
09:33 Revision be0b365f: Merge branch 'infinite-model-guide' into next-test-branch
Axel Belinfante

14 Mar 2014

14:29 Revision b6f7a9e8: now we create at most two delta labels: with all constraintse, without; update...
so, the menu contains at most two delta actions: a plain one, and one with constraint
adjusted the mergeConstraints ...
Axel Belinfante
10:58 Revision 66413645: extended mergeTransitions to merge delta-constraints using mergeConstraints
At the moment, we get a separate delta+constraint label for each different
delta label with a different constraint.
(...
Axel Belinfante
10:41 Revision 1293713b: now print warning when we add delta-constraint when handling a state
Axel Belinfante
10:40 Revision 018e42a6: re-inserted code for TRUE constraint + extended TRUE constraint with state id
so we get different constraints for different LTS states,
so we can use it to experiment with non-deterministic model...
Axel Belinfante
01:16 Revision f12f38bf: no longer print (not( TRUE )) for empty constraints
Axel Belinfante
01:09 Revision e6ae56fb: add constraint to delta label when maybeQuiescent + check for this constraint ...
Axel Belinfante

13 Mar 2014

17:55 Revision 13c120db: freeze wip quiescence handling in PrimerState.java
Axel Belinfante
17:55 Revision 08d11cd2: misuse menu-caching function to log satUnknown transitions (labels + constraints)
Axel Belinfante
17:53 Revision 1b5f78fe: enabled debug in TorxExplorer.java
Axel Belinfante
16:14 Revision feeee089: fix 'undeterminate' (moving) left progress bar that is always showing
it is showing 'in progress' as soon as we start JTorX GUI
fixed using additional composite with stacklayout, inspire...
Axel Belinfante
16:10 Revision bc7d7255: added method boolean isSatKnown() to interface SymbolicTransition
Axel Belinfante
13:03 Revision df5dec5f: Merge branch 'fix-divergence' into next-test-branch
Axel Belinfante
 

Also available in: Atom