Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r864] by guizyang

(X:ea).method[...] can parse now.

 1999-06-14 20:55:35 Tree
[r863] by kifer

Small fixes.

 1999-06-14 07:03:26 Tree
[r862] by cbaoqiu

Fixed a bug in GET_DELAY_LISTS: changed the place to call
free(copy_of_var_addr).

 1999-06-14 00:32:07 Tree
[r861] by kifer

minor changes

 1999-06-13 19:44:52 Tree
[r860] by kifer

Updates with respect to inheritance & equality

 1999-06-13 19:44:25 Tree
[r859] by kifer

Put in non-monotonic inheritance axioms.

 1999-06-13 19:43:47 Tree
[r858] by kifer

Fixed the rules for nonmon inheritance. Added inheritance with
equality to future work.

 1999-06-12 06:13:38 Tree
[r857] by kifer

Added the import of ground/1 from basics.

 1999-06-12 05:49:24 Tree
[r856] by kifer

Added examples of conflicting multiple inheritance.

 1999-06-12 05:48:11 Tree
[r855] by kifer

1. Added optimization to non-mon inheritance for the case when Object,
Method are both ground.
2. Fixed a bug in nonmon inheritance: now it checks if O is about to
inherit from C and there is a
conflicting inheritance from a superclass of O that is
incomparable to C,
If there is, then no inheritance takes place.

 1999-06-12 05:47:25 Tree
Older >
MongoDB Logo MongoDB