|
|
|
@1234
|
[1234]
|
05/21/12 19:24:23 |
jd |
Allowed decollapsing formula trees, problems with far too wide tree … |
|
|
|
@1233
|
[1233]
|
05/17/12 20:23:57 |
jd |
Some changes to tree view, specialized to a formula tree display. |
|
|
|
@1232
|
[1232]
|
05/16/12 18:25:24 |
jd |
Boolean formula parser appears to work: tested on a 141 KB formula, output … |
|
|
|
@1231
|
[1231]
|
05/15/12 18:40:52 |
jd |
First code stubs for a boolean formula parser in a rather special format. |
|
|
|
@1230
|
[1230]
|
05/15/12 17:50:10 |
jd |
Refactored logic package, added classes for representing boolean formulae. |
|
|
|
@1229
|
[1229]
|
05/14/12 20:50:14 |
jd |
DAG redrawing behavior now takes into account visibility flag (not perfect … |
|
|
|
@1228
|
[1228]
|
05/14/12 19:53:30 |
jd |
Added visibility flag to KahinaView? and adapted KahinaWindow? behavior to … |
|
|
|
@1227
|
[1227]
|
05/14/12 18:56:37 |
jd |
Allowed checking for duplicate edges when adding adges to a DAG. |
|
|
|
@1226
|
[1226]
|
05/11/12 12:38:41 |
jd |
Made DAG drawing more robust against incomplete coordinates (leads to … |
|
|
|
@1225
|
[1225]
|
05/10/12 16:24:50 |
jd |
Bugfix for shortest path computation in KahinaMemDAG. |
|
|
|
@1224
|
[1224]
|
05/09/12 14:32:22 |
ke |
adjusted perspective |
|
|
|
@1223
|
[1223]
|
05/08/12 19:56:38 |
jd |
Small changes to KahinaViewPanel? to react more graciously to … |
|
|
|
@1222
|
[1222]
|
05/08/12 19:51:08 |
jd |
KahinaDAGs can now compute shortest paths from a root to a designated … |
|
|
|
@1221
|
[1221]
|
05/08/12 16:52:39 |
jd |
Fixed bug with wrong selection range for DAG nodes. |
|
|
|
@1220
|
[1220]
|
05/08/12 13:39:32 |
ke |
moved apply_lexrules/4 away from layer 1 |
|
|
|
@1219
|
[1219]
|
05/08/12 13:38:13 |
ke |
moved source tab to front, before message console |
|
|
|
@1218
|
[1218]
|
05/08/12 12:06:23 |
ke |
Now sending additional step information before rather than after … |
|
|
|
@1217
|
[1217]
|
05/07/12 20:04:11 |
ke |
removed grammar entry lookup steps from layer 1 |
|
|
|
@1216
|
[1216]
|
05/06/12 15:53:25 |
ke |
Now showing source code locations for predicates called through … |
|
|
|
@1215
|
[1215]
|
05/06/12 12:59:49 |
ke |
added goal_desc/4 option for customizing goal descriptions |
|
|
|
@1214
|
[1214]
|
05/04/12 13:27:06 |
jd |
A few bugfixes for the KahinaWindowManager? (some details of perspectives … |
|
|
|
@1213
|
[1213]
|
05/04/12 12:40:56 |
jd |
Allow to retrieve the main window from the GUI object. |
|
|
|
@1212
|
[1212]
|
05/03/12 20:15:59 |
jd |
SATInstanceViewPanel can now display a string instead of the graph if … |
|
|
|
@1211
|
[1211]
|
05/03/12 18:55:30 |
jd |
Added alternative KahinaInstance? constructor that does not build a bridge. |
|
|
|
@1210
|
[1210]
|
05/02/12 18:26:53 |
jd |
Small changes to rendering of DAG with colored paths. |
|
|
|
@1209
|
[1209]
|
04/30/12 17:40:59 |
jd |
Added rendering of multiple colored edges to DAG display. |
|
|
|
@1208
|
[1208]
|
04/27/12 14:02:00 |
jd |
Begun to extend DAG display by colored paths. |
|
|
|
@1207
|
[1207]
|
04/27/12 11:56:35 |
jd |
Small changes to KahinaState? and KahinaController?. |
|
|
|
@1206
|
[1206]
|
04/17/12 08:42:24 |
ke |
Bugfix: [1203] was not sufficient, need to take into account that the list … |
|
|
|
@1205
|
[1205]
|
04/17/12 00:16:57 |
ke |
Children with a layer ID < their secondary parent's layer ID tend to lead … |
|
|
|
@1204
|
[1204]
|
04/17/12 00:04:46 |
ke |
No longer unconditionally adding as alternatives the children of a node … |
|
|
|
@1203
|
[1203]
|
04/16/12 22:52:45 |
ke |
Bugfix: list tree view was getting the order of alternatives wrong (first … |
|
|
|
@1202
|
[1202]
|
04/14/12 02:53:52 |
ke |
Removed unused methods. |
|
|
|
@1201
|
[1201]
|
04/13/12 18:27:29 |
ke |
Erratum in previous commit message: I meant [1192], not [1199]. |
|
|
|
@1200
|
[1200]
|
04/13/12 18:25:08 |
ke |
Fixed bug from [1199]: KahinaListTreeView? needs to listen to primary, not … |
|
|
|
@1199
|
[1199]
|
04/12/12 15:14:05 |
jd |
Restored the one-argument constructor for KahinaUpdateEvent?. |
|
|
|
@1198
|
[1198]
|
04/11/12 19:31:14 |
ke |
KahinaListTreeViewPanel? now doesn't change the reference node on mere … |
|
|
|
@1197
|
[1197]
|
04/11/12 18:13:28 |
ke |
Slightly weakened the importance of the "reference node" of a KahinaTree? … |
|
|
|
@1196
|
[1196]
|
04/11/12 17:58:21 |
ke |
Added a "layer" field to KahinaSelectionEvents? and KahinaUpdateEvents? to … |
|
|
|
@1195
|
[1195]
|
04/09/12 15:45:42 |
ke |
Next bulk of tracing adjustments for compilation in QType. |
|
|
|
@1194
|
[1194]
|
04/05/12 17:14:59 |
jd |
One tiny method comment. |
|
|
|
@1193
|
[1193]
|
04/02/12 11:13:33 |
ke |
Tentatively changed redo color to blue because orange is indistinguishable … |
|
|
|
@1192
|
[1192]
|
04/02/12 11:04:21 |
ke |
New strategy for keeping primary choices of KahinaListTreeView? up to date … |
|
|
|
@1191
|
[1191]
|
04/02/12 02:26:25 |
ke |
Bugfix: mapping from node IDs to list indices must be stored separately … |
|
|
|
@1190
|
[1190]
|
04/02/12 02:10:49 |
ke |
Unbroke TraleSLD: value of "instance" field was being passed to tree view … |
|
|
|
@1189
|
[1189]
|
04/02/12 01:16:42 |
ke |
Bugfix: NullPointerException? on trying to create a second session with the … |
|
|
|
@1188
|
[1188]
|
04/02/12 00:20:57 |
ke |
Bugfix: duplicate selection event on breakpoint match |
|
|
|
@1187
|
[1187]
|
04/02/12 00:19:40 |
ke |
Removed bridge pause events. Again: what was I thinking? It's possible and … |
|
|
|
@1186
|
[1186]
|
04/02/12 00:11:47 |
ke |
Commented out pause button because its behavior is currently very … |
|
|
|
@1185
|
[1185]
|
04/02/12 00:06:26 |
ke |
Now also for stop button: To exit leap, set bridge state to c rather than … |
|
|
|
@1184
|
[1184]
|
04/02/12 00:03:34 |
ke |
To exit leap, set bridge state to c rather than n. This way, a selection … |
|
|
|
@1183
|
[1183]
|
04/01/12 22:51:30 |
ke |
Code cosmetics |
|
|
|
@1182
|
[1182]
|
04/01/12 22:49:54 |
ke |
Registering a code location or goal no longer fires a selection event. … |
|
|
|
@1181
|
[1181]
|
04/01/12 22:05:10 |
ke |
List tree view now scrolls to selected step automatically. |
|
|
|
@1180
|
[1180]
|
04/01/12 20:21:46 |
ke |
Layer decider: handle_atom_types/0 and handle_problematic_bitvectors/0 are … |
|
|
|
@1179
|
[1179]
|
04/01/12 20:09:23 |
ke |
Layer decider: swapped layers of tokenize_and_parse_the_external_syntax1/1 … |
|
|
|
@1178
|
[1178]
|
04/01/12 19:49:39 |
ke |
Removed TODO comment about changing node labels (goals) at exit ports … |
|
|
|
@1177
|
[1177]
|
04/01/12 19:48:14 |
ke |
Code cosmetics |
|
|
|
@1176
|
[1176]
|
04/01/12 19:46:55 |
ke |
TulipaDAGBehavior wasn't compiling, commented out offending line. |
|
|
|
@1175
|
[1175]
|
04/01/12 19:45:26 |
ke |
Removed unused class. |
|
|
|
@1174
|
[1174]
|
04/01/12 19:42:49 |
ke |
Decorated main window with logo and custom application title. |
|
|
|
@1173
|
[1173]
|
04/01/12 19:39:30 |
ke |
Verbosity. |
|
|
|
@1172
|
[1172]
|
03/28/12 18:42:14 |
jd |
Graph display progress bar is displayed correctly again. |
|
|
|
@1171
|
[1171]
|
03/28/12 18:33:54 |
jd |
Removed some more debugging output. |
|
|
|
@1170
|
[1170]
|
03/28/12 18:04:54 |
jd |
Some cosmetic improvements to DAG display, better integration and fewer … |
|
|
|
@1169
|
[1169]
|
03/27/12 15:47:50 |
jd |
Vastly improved DAG rendering, robust in test. |
|
|
|
@1168
|
[1168]
|
03/26/12 21:54:57 |
jd |
Improved perspective for QTye debugger, with more space for goal display. |
|
|
|
@1167
|
[1167]
|
03/26/12 21:43:15 |
jd |
LogicProgrammingGUI now includes an (empty) KahinaBreakpointProfileEditor? … |
|
|
|
@1166
|
[1166]
|
03/26/12 17:03:35 |
jd |
Much improved layered layout for DAGs (though some bugs remain). |
|
|
|
@1165
|
[1165]
|
03/26/12 16:25:17 |
jd |
More interesting test case for developing a better DAG layout. |
|
|
|
@1164
|
[1164]
|
03/26/12 16:07:35 |
jd |
KahinaGraphView? can now interpret edges as either directed or undirected. |
|
|
|
@1163
|
[1163]
|
03/26/12 16:05:26 |
jd |
KahinaDAG now supports multiple root nodes. |
|
|
|
@1162
|
[1162]
|
03/24/12 21:23:24 |
jd |
KahinaGUI.controlWindows needed to become public (caused by previous … |
|
|
|
@1161
|
[1161]
|
03/24/12 20:32:54 |
ke |
removed unused class |
|
|
|
@1160
|
[1160]
|
03/24/12 20:22:30 |
ke |
Hopefully restored broken pre-KahinaRunner?-removal functionality (such as … |
|
|
|
@1159
|
[1159]
|
03/24/12 17:50:09 |
ke |
Updated gralej.jar location in build.xml. |
|
|
|
@1158
|
[1158]
|
03/24/12 17:15:37 |
jd |
Started to improve behavior when settings are changed while a graph is … |
|
|
|
@1157
|
[1157]
|
03/24/12 17:07:36 |
jd |
Verbosity for KahinaTaskManager? and a bugfix for KahinaProgressBar?. |
|
|
|
@1156
|
[1156]
|
03/24/12 16:35:49 |
jd |
Changed behavior of the Cancel button to "Cancel all Pending Tasks". |
|
|
|
@1155
|
[1155]
|
03/24/12 15:35:04 |
jd |
The task manager now administers a task queue, making the handling of … |
|
|
|
@1154
|
[1154]
|
03/23/12 17:12:12 |
jd |
New interface KahinaTaskManager? provides non-blocking callback for … |
|
|
|
@1153
|
[1153]
|
03/23/12 16:37:30 |
jd |
TGF output for graphs and visible graph parts accessible via context menu. |
|
|
|
@1152
|
[1152]
|
03/23/12 15:46:04 |
jd |
Graphs now support drawing arcs as edges (though issues with undirected … |
|
|
|
@1151
|
[1151]
|
03/21/12 16:41:00 |
jd |
Graph edges can now be displayed in three different styles: arc style not … |
|
|
|
@1150
|
[1150]
|
03/21/12 15:24:28 |
jd |
Further improved graph layout, allowed optimization of single nodes in … |
|
|
|
@1149
|
[1149]
|
03/20/12 23:08:36 |
jd |
Package-level documentation for core.data.project and core.data.source. |
|
|
|
@1148
|
[1148]
|
03/20/12 22:02:02 |
jd |
Added package-level documentation for core.data.dag and core.data.graph. |
|
|
|
@1147
|
[1147]
|
03/20/12 21:39:21 |
jd |
Completed DOM-based XML output for current contents of a … |
|
|
|
@1146
|
[1146]
|
03/20/12 17:00:14 |
jd |
Improved parameters for spring layout, extended KahinaGraphTest? by a key … |
|
|
|
@1145
|
[1145]
|
03/20/12 16:37:33 |
jd |
Spring layout confined to view boundaries by scaling rather than by … |
|
|
|
@1144
|
[1144]
|
03/19/12 22:58:55 |
jd |
Started to implement XML output for Project and BreakpointProfile?. |
|
|
|
@1143
|
[1143]
|
03/19/12 17:03:29 |
jd |
Some improvements to the handling of the embedded progress bar. |
|
|
|
@1142
|
[1142]
|
03/19/12 16:20:21 |
jd |
Added prompt to Optimize option allowing to determine the number of … |
|
|
|
@1141
|
[1141]
|
03/19/12 15:43:53 |
jd |
SpringLayouter? debugged; added constraints to prevent vertices from moving … |
|
|
|
@1140
|
[1140]
|
03/17/12 17:59:27 |
jd |
Prototype of a spring layout for KahinaGraph? views. |
|
|
|
@1139
|
[1139]
|
03/17/12 15:20:22 |
jd |
Removed need for KahinaGUI argument in view.makePanel(), making Kahina … |
|
|
|
@1138
|
[1138]
|
03/17/12 11:21:28 |
jd |
Added test program and test data for the KahinaGraph? display. |
|
|
|
@1137
|
[1137]
|
03/17/12 11:19:45 |
jd |
Added TGF (Trivial Graph Format) input for KahinaGraphs?. |
|
|
|
@1136
|
[1136]
|
03/17/12 11:16:01 |
jd |
Small changes to Project and BreakpointEditorWindow?. |
|
|
|
@1135
|
[1135]
|
03/15/12 18:14:50 |
jd |
Projects refactored into core package, TestSet? remains specific to parse … |
