--- sml/trunk/HISTORY 2000/12/08 23:32:37 752 +++ sml/trunk/HISTORY 2000/12/14 07:57:55 755 @@ -13,6 +13,25 @@ Description: ---------------------------------------------------------------------- Name: Allen Leung +Date: Thu Dec 14 03:45:24 EST 2000 +Description: +Tag: leunga-20001214-int-inf +Description: + + In IntInf, added these standard functions, which are missing from our +implementation: + + andb : int * int -> int + xorb : int * int -> int + orb : int * int -> int + notb : int -> int + << : int * word -> int + ~>> : int * word -> int + + Not tested, I hope they are correct. + +---------------------------------------------------------------------- +Name: Allen Leung Date: Fri Dec 8 19:23:26 EST 2000 Description: Tag: leunga-20001208-nowhere
Click to toggle
does not end with </html> tag
does not end with </body> tag
The output has ended thus: +Name: Allen Leung Date: Fri Dec 8 19:23:26 EST 2000 Description: Tag: leunga-20001208-nowhere