|
|
|
@1057
|
[1057]
|
01/24/12 23:48:01 |
ke |
Step counter in main window title is now slightly less hacky, is updated … |
|
|
|
@1056
|
[1056]
|
01/24/12 22:58:36 |
ke |
no longer specifying a full package name for locating … |
|
|
|
@1055
|
[1055]
|
01/24/12 22:46:28 |
ke |
Bugfix: tabbed window constructor wasn't calling the right … |
|
|
|
@1054
|
[1054]
|
01/24/12 22:39:30 |
ke |
added debugging output |
|
|
|
@1053
|
[1053]
|
01/24/12 22:11:20 |
ke |
Inflated code to debug NullPointerException? while trying to build the … |
|
|
|
@1052
|
[1052]
|
01/24/12 21:33:05 |
ke |
Extended refactoring to test source. |
|
|
|
@1051
|
[1051]
|
01/24/12 00:10:59 |
jd |
Removing orphaned event packages. |
|
|
|
@1050
|
[1050]
|
01/24/12 00:07:49 |
jd |
Massive refactoring of GUI code. |
|
|
|
@1049
|
[1049]
|
01/23/12 23:08:26 |
jd |
Moved all the event types to their respective packages. |
|
|
|
@1048
|
[1048]
|
01/23/12 22:52:41 |
jd |
Removed the core.client package, an unused stub since revision 91. |
|
|
|
@1047
|
[1047]
|
01/23/12 22:41:43 |
jd |
Remove the emptied breakpoint package. |
|
|
|
@1046
|
[1046]
|
01/23/12 22:36:18 |
jd |
Heavy refactoring, moved breakpoint package over to control. |
|
|
|
@1045
|
[1045]
|
01/15/12 20:00:53 |
ke |
Examples can now be registered with GUI, offered via "Parse example" menu. |
|
|
|
@1044
|
[1044]
|
01/15/12 16:36:42 |
ke |
Moved QType tracing code to QType system. |
|
|
|
@1043
|
[1043]
|
01/15/12 15:31:05 |
ke |
harmonized names |
|
|
|
@1042
|
[1042]
|
01/15/12 14:17:04 |
ke |
Added some line number information for parsing QTG files, excluded some … |
|
|
|
@1041
|
[1041]
|
01/15/12 14:02:57 |
ke |
Renamed Breakpoints menu to Control points. |
|
|
|
@1040
|
[1040]
|
01/15/12 13:49:06 |
ke |
Source code highlighting and proper layering for examples. |
|
|
|
@1039
|
[1039]
|
01/15/12 13:41:26 |
ke |
Registering step source code location now updates GUI. |
|
|
|
@1038
|
[1038]
|
01/08/12 19:58:19 |
jd |
Added skeleton and stubs for org.kahina.parse package (specialized charts … |
|
|
|
@1037
|
[1037]
|
01/08/12 19:39:41 |
jd |
Testing Subclipse on a small overdue refactoring. |
|
|
|
@1036
|
[1036]
|
01/08/12 17:16:11 |
ke |
Comments. |
|
|
|
@1035
|
[1035]
|
01/08/12 17:00:07 |
ke |
Majour round of bugfixes in Grisu string generation code. |
|
|
|
@1034
|
[1034]
|
01/07/12 23:10:43 |
jd |
Refactored GraleJUtility, removing legacy code and harmonizing names with … |
|
|
|
@1033
|
[1033]
|
01/07/12 22:48:28 |
jd |
Activated option to discard a compiled theory, much more stable signature … |
|
|
|
@1032
|
[1032]
|
01/07/12 22:08:54 |
jd |
Removed old IEntity-based unification, path-based version works for all … |
|
|
|
@1031
|
[1031]
|
01/07/12 21:54:11 |
jd |
GraleJToGrisu should now handle all cyclic structures. |
|
|
|
@1030
|
[1030]
|
01/04/12 02:30:07 |
jd |
Signature unification finally covers the second test case, … |
|
|
|
@1029
|
[1029]
|
01/04/12 02:21:10 |
jd |
Signature unification is now based on paths, but some difficulties remain. |
|
|
|
@1028
|
[1028]
|
01/03/12 22:19:14 |
jd |
Completed IEntity generation from paths, not tested yet. |
|
|
|
@1027
|
[1027]
|
01/03/12 21:31:30 |
jd |
First stubs for generating IEntity objects out of path representations. |
|
|
|
@1026
|
[1026]
|
01/02/12 20:30:59 |
jd |
Much improved handling of path equations, but retranslation from paths to … |
|
|
|
@1025
|
[1025]
|
01/02/12 19:58:58 |
jd |
Some support for reentrancies, but still incomplete coverage of path … |
|
|
|
@1024
|
[1024]
|
01/02/12 18:24:41 |
jd |
First variant of path-based unification, without reentrancies. |
|
|
|
@1023
|
[1023]
|
01/02/12 17:57:56 |
jd |
Path representation partitioned into path lists indexed by tags. |
|
|
|
@1022
|
[1022]
|
01/02/12 17:31:41 |
jd |
Path representation for IEntities now correctly handles lists. |
|
|
|
@1021
|
[1021]
|
01/01/12 21:39:24 |
jd |
Infrastructure for path-based unification, operating directly on IEntities … |
|
|
|
@1020
|
[1020]
|
01/01/12 19:56:59 |
ke |
bugfix: check for lc/1 steps was having false positives |
|
|
|
@1019
|
[1019]
|
01/01/12 19:55:16 |
jd |
Unification begins to include global changes to path identities, was … |
|
|
|
@1018
|
[1018]
|
01/01/12 19:35:01 |
jd |
Implemented first version of alpha conversion, not thoroughly tested yet. |
|
|
|
@1017
|
[1017]
|
01/01/12 19:33:04 |
ke |
further steps towards GUI control, still bumpy |
|
|
|
@1016
|
[1016]
|
12/31/11 17:53:01 |
ke |
Renamed KahinaGUI.processEvent(KahinaDialogEvent?) to processDialogEvent. |
|
|
|
@1015
|
[1015]
|
12/31/11 17:50:35 |
ke |
Compiling from GUI works now. Still need to add code for registering … |
|
|
|
@1014
|
[1014]
|
12/31/11 17:41:56 |
ke |
Further steps towards QType GUI control. Dialogs are still missing. |
|
|
|
@1013
|
[1013]
|
12/31/11 17:36:46 |
ke |
removed debugging output |
|
|
|
@1012
|
[1012]
|
12/31/11 17:30:00 |
ke |
Adapted auto-abort and return of control to new perspectives framework: a … |
|
|
|
@1011
|
[1011]
|
12/31/11 01:49:05 |
jd |
First steps for implementing alpha conversion on path identities. |
|
|
|
@1010
|
[1010]
|
12/31/11 01:38:19 |
jd |
Started complete overhaul of signature unification, now with much more … |
|
|
|
@1009
|
[1009]
|
12/31/11 01:07:45 |
jd |
Remove legacy code for appropriateness enforcement. |
|
|
|
@1008
|
[1008]
|
12/31/11 01:06:31 |
jd |
Verbose mode for debugging unification. |
|
|
|
@1007
|
[1007]
|
12/30/11 21:40:38 |
jd |
Improved signature unification behavior in handling appropriateness. |
|
|
|
@1006
|
[1006]
|
12/30/11 21:25:13 |
jd |
Signature unification is now mode-sensitive. |
|
|
|
@1005
|
[1005]
|
12/30/11 01:56:34 |
jd |
Signature MGS now relies on TTF enforcement, signature unification does … |
|
|
|
@1004
|
[1004]
|
12/30/11 01:42:22 |
jd |
TTF enforcement now traverses all structures correctly. |
|
|
|
@1003
|
[1003]
|
12/30/11 01:21:09 |
jd |
Modularized TTF enforcement, now closer to formalization. |
|
|
|
@1002
|
[1002]
|
12/30/11 00:02:41 |
jd |
First implemented version of unifying and replacement paste. |
|
|
|
@1001
|
[1001]
|
12/27/11 17:12:30 |
ke |
bugfix: must load qtrace before using kahinasicstus because of … |
|
|
|
@1000
|
[1000]
|
12/27/11 16:36:18 |
ke |
Towards control from GUI. |
|
|
|
@999
|
[999]
|
12/27/11 15:21:00 |
ke |
added FS test mode, no Gralej parse errors during compilation of test … |
|
|
|
@998
|
[998]
|
12/27/11 15:07:07 |
ke |
removed debugging output |
|
|
|
@997
|
[997]
|
12/27/11 15:04:58 |
ke |
verbose flag |
|
|
|
@996
|
[996]
|
12/27/11 15:03:01 |
ke |
fixed fl_grisu/6 (was nesting ferather than listing features) |
|
|
|
@995
|
[995]
|
12/27/11 14:56:32 |
ke |
Fixed re-entrancy representation in Grisu format, cont. |
|
|
|
@994
|
[994]
|
12/27/11 14:55:15 |
ke |
Fixed re-entrancy representation in Grisu format. |
|
|
|
@993
|
[993]
|
12/27/11 03:08:08 |
ke |
Reduced jiggling in layered tree view by reducing the number of … |
|
|
|
@992
|
[992]
|
12/26/11 13:24:51 |
ke |
Committed previously inexplicably overlooked fixes for Kahina for … |
|
|
|
@991
|
[991]
|
12/16/11 16:20:52 |
jd |
Some minor bugfixes for the feature structure editor. |
|
|
|
@990
|
[990]
|
12/12/11 23:59:35 |
ke |
Fixed Kahina for SWI-Prolog, mainly by getting it ready for the new … |
|
|
|
@989
|
[989]
|
12/12/11 23:14:26 |
ke |
Fit Kahina for SWI-Prolog in with the new Perspectives framework. |
|
|
|
@988
|
[988]
|
12/12/11 21:37:08 |
ke |
Adapted example to match description in wiki. |
|
|
|
@987
|
[987]
|
12/12/11 21:28:49 |
ke |
Harmonized structure with SICStus edition. |
|
|
|
@986
|
[986]
|
12/12/11 21:05:08 |
ke |
Added dist directory to svn:ignore. |
|
|
|
@985
|
[985]
|
12/12/11 10:34:01 |
jd |
Deactivated the integrated workbench prototype for now, TRALE debugger now … |
|
|
|
@984
|
[984]
|
12/09/11 00:18:26 |
ke |
Bride now fires KahinaBridgePauseEvent? every time the bridgeState goes … |
|
|
|
@983
|
[983]
|
11/29/11 10:46:57 |
jd |
Pasting into lists is now possible. |
|
|
|
@982
|
[982]
|
11/29/11 09:26:19 |
jd |
Context menus offer options for replacement paste, unifying paste, and … |
|
|
|
@981
|
[981]
|
11/28/11 22:33:16 |
jd |
Collapsing multiple tags and the involved variables after identity … |
|
|
|
@980
|
[980]
|
11/28/11 17:41:42 |
jd |
Collect equivalent paths in feature structures before identity dissolval. |
|
|
|
@979
|
[979]
|
11/27/11 14:33:34 |
jd |
List operations now work correctly, including specializing type list to … |
|
|
|
@978
|
[978]
|
11/27/11 14:05:34 |
jd |
Correct paths for list manipulation. |
|
|
|
@977
|
[977]
|
11/26/11 22:34:43 |
jd |
Providing useful context menus for list manipulation, without … |
|
|
|
@976
|
[976]
|
11/26/11 22:08:39 |
jd |
Correctly registering clicks on the < , > parts of list nodes. |
|
|
|
@975
|
[975]
|
11/26/11 21:23:54 |
jd |
Specialized BlockPanel? to receive mouse events on non-labels. |
|
|
|
@974
|
[974]
|
11/26/11 14:53:45 |
jd |
Atoms can be constructed via the MGS menu; fixed GRISU generation and list … |
|
|
|
@973
|
[973]
|
11/26/11 14:21:16 |
jd |
Provided context options for atom manipulation; path handling improved. |
|
|
|
@972
|
[972]
|
11/26/11 12:49:08 |
jd |
Introduced pseudo-type (atom) to treat special case of atoms. |
|
|
|
@971
|
[971]
|
11/22/11 23:54:30 |
jd |
Some minor fixes to round the day up. |
|
|
|
@970
|
[970]
|
11/22/11 23:42:26 |
jd |
Simplified copying and pasting, no validity checks yet. |
|
|
|
@969
|
[969]
|
11/22/11 23:27:41 |
jd |
Use signature to determine atomic types during description term … |
|
|
|
@968
|
[968]
|
11/22/11 23:00:39 |
jd |
Activated theory MGS and theory MGU via AuxiliaryTraleInstance?. |
|
|
|
@967
|
[967]
|
11/22/11 22:42:14 |
jd |
Translation of IEntities into SPTerms containing descriptions. |
|
|
|
@966
|
[966]
|
11/22/11 20:23:32 |
jd |
Built infrastructure for theory MGS computation. |
|
|
|
@965
|
[965]
|
11/22/11 19:16:28 |
jd |
First version of identity introduction, tag numbers are not yet handled … |
|
|
|
@964
|
[964]
|
11/22/11 18:59:15 |
jd |
Signature MGU is now accessible via the menu, fixed some glitches. |
|
|
|
@963
|
[963]
|
11/22/11 17:53:46 |
jd |
Implemented very basic version of IEntity unification, does not yet handle … |
|
|
|
@962
|
[962]
|
11/22/11 13:04:10 |
jd |
Added signature-aware type modification operations for TTF editing mode. |
|
|
|
@961
|
[961]
|
11/22/11 12:37:15 |
jd |
Synchronized workbench and signature windows, better treatment of … |
|
|
|
@960
|
[960]
|
11/22/11 11:39:59 |
jd |
Adapted editing options two the three possible editing modes. |
|
|
|
@959
|
[959]
|
11/22/11 11:25:34 |
jd |
Introduced three editing modes, accessible via a new options menu. |
|
|
|
@958
|
[958]
|
11/22/11 11:01:41 |
jd |
Implemented identity dissolval, GraleJUtility passes failure and success … |
