Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 749, Fri Dec 8 15:16:36 2000 UTC revision 755, Thu Dec 14 07:57:55 2000 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Allen Leung
16    Date: Thu Dec 14 03:45:24 EST 2000
17    Description:
18    Tag:  leunga-20001214-int-inf
19    Description:
20    
21       In IntInf, added these standard functions, which are missing from our
22    implementation:
23    
24        andb : int * int -> int
25        xorb : int * int -> int
26        orb  : int * int -> int
27        notb : int -> int
28         <<   : int * word -> int
29        ~>>  : int * word -> int
30    
31       Not tested, I hope they are correct.
32    
33    ----------------------------------------------------------------------
34    Name: Allen Leung
35    Date: Fri Dec  8 19:23:26 EST 2000
36    Description:
37    Tag:  leunga-20001208-nowhere
38    Description:
39    
40      Slight improvements to the 'nowhere' tool to handle OR-patterns,
41    to generate better error messages etc.  Plus a brief manual.
42    
43    ----------------------------------------------------------------------
44  Name: Lal George  Name: Lal George
45  Date: 2000/12/08 09:54:02 EST 2000  Date: 2000/12/08 09:54:02 EST 2000
46  Tag: Release_110_31  Tag: Release_110_31

Legend:
Removed from v.749  
changed lines
  Added in v.755

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0