SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY

[smlnj] / sml / trunk / HISTORY

Diff of /sml/trunk/HISTORY

-revision 1009, Wed Jan  9 19:44:22 2002 UTC
+revision 1067, Fri Feb 15 17:08:17 2002 UTC
 Line 11
  Date: yyyy/mm/dd
  Tag: <post-commit CVS tag>
  Description:
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/02/15 12:08:00 EST
+ Tag: blume-20020215-iptrs
+ Description:
+ Two improvements to ml-nlffigen:
+. Write files only if they do not exist or if their current contents
+      do not coincide with what's being written.  (That is, avoid messing
+      with the time stamps unless absolutely necessary.)
+. Implement a "repository" mechanism for generated files related
+      to "incomplete pointer types".   See the README file for details.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/02/14 11:50:00 EST
+ Tag: blume-20020214-quote
+ Description:
+ Added a type 't t_' to tag.sml (in ml-nlffi-lib.cm).  This is required
+ because of the new and improved tag generation scheme.  (Thanks to Allen
+ Leung for pointing it out.)
+ ----------------------------------------------------------------------
+ Name: Lal George
+ Date: 2002/02/14 09:55:27 EST 2002
+ Tag: george-20020214-isabelle-bug
+ Description:
+ Fixed the MLRISC bug sent by Markus Wenzel regarding the compilation
+ of Isabelle on the x86.
+ From Allen:
+ -----------
+  I've found the problem:
+      in ra-core.sml, I use the counter "blocked" to keep track of the
+      true number of elements in the freeze queue.  When the counter goes
+      to zero, I skip examining the queue.  But I've messed up the
+      bookkeeping in combine():
+          else ();
+          case !ucol of
+            PSEUDO => (if !cntv > 0 then
+                  (if !cntu > 0 then blocked := !blocked - 1 else ();
+                                     ^^^^^^^^^^^^^^^^^^^^^^^
+                   moveu := mergeMoveList(!movev, !moveu)
+                  )
+               else ();
+      combine() is called to coalesce two nodes u and v.
+      I think I was thinking that if the move counts of u and v are both
+      greater than zero then after they are coalesced then one node is
+      removed from the freeze queue.  Apparently I was thinking that
+      both u and v are of low degree, but that's clearly not necessarily true.
+/12/2002:
+     Here's the patch.  HOL now compiles.
+     I don't know how this impact on performance (compile
+     time or runtime).  This bug caused the RA (especially on the x86)
+     to go thru the potential spill phase when there are still nodes on the
+     freeze queue.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/02/13 22:40:00 EST
+ Tag: blume-20020213-fptr-rtti
+ Description:
+ Fixed a bug in ml-nlffigen that was introduced with one of the previous
+ updates.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/02/13 16:41:00 EST
+ Tag: blume-20020213-cmlpq
+ Description:
+ Added new priority queue export symbols (which have just been added to
+ smlnj-lib.cm) to CML's version of smlnj-lib.cm.  (Otherwise CML would
+ not compile and the installer would choke.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/02/13 16:15:00 EST
+ Tag: blume-20020213-various
+ Description:
+. More tweaks to ml-nlffigen:
+    - better internal datastructures (resulting in slight speedup)
+    - "-match" option requires exact match
+    - "localized" gensym counters (untagged structs/unions nested within
+      other structs/unions or within typedefs get a fresh counter; their
+      tag will be prefixed by a concatenation of their parents' tags)
+    - bug fixes (related to calculation of transitive closure of types
+      to be included in the output)
+. Minor Basis updates:
+    - added implementations for List.collate and Option.app
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/02/11 15:55:00 EST
+ Tag: blume-20020211-gensym
+ Description:
+ Added a "-gensym" option to command line of ml-nlffigen.  This can be
+ used to specify a "stem" -- a string that is inserted in all "gensym'd"
+ names (ML structure names that correspond to unnamed C structs, unions,
+ and enums), so that separate runs of ml-nlffigen do not clash.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/02/11 12:05:00 EST
+ Tag: blume-20020211-gensml
+ Description:
+ A quick fix for a problem with GenSML (in the pgraph-util library):
+ Make generation of toplevel "local" optional.  (Strictly speaking,
+ signature definitions within "local" are not legal SML.)
+ Other than that: updates to INSTALL and cm/TODO.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/02/08 15:00:00 EST
+ Tag: blume-20020208-uniquepid
+ Description:
+. Version number has been bumped to 110.38.1.  NEW BOOTFILES!!!
+. The installer (config/install.sh) has gotten smarter:
+      - Configuration options are a bit easier to specify now
+        (in config/targets).
+      - Bug in recognizing .tar.bz2 files fixed.
+      - Installer automatically resolves dependencies between
+        configuration options (e.g., if you ask for eXene, you will
+        also get cml -- regardless whether you asked for it or not).
+      - Installer can run in "quieter mode" by setting the environment
+        variable INSTALL_QUIETLY to "true".  "Quieter" does not mean
+        "completely silent", though.
+      - Build HashCons library as part of smlnj-lib.
+. A new scheme for assigning persistent identifiers to compilation
+    units (and, by extension, to types etc.) has been put into place.
+    This fixes a long-standing bug where types and even dynamic values
+    can get internally confused, thereby compromising type safety
+    (abstraction) and dynamic correctness.  See
+      http://cm.bell-labs.com/cm/cs/who/blume/pid-confusion.tgz
+    for an example of how things could go wrong until now.
+    The downside of the new scheme is that pids are not quite as
+    persistent as they used to be: CM will generate a fresh pid
+    for every compilation unit that it thinks it sees for the first
+    time.  That means that if you compile starting from a clean, fresh
+    source tree at two different times, you end up with different
+    binaries.
+    Cutoff recompilation, however, has not been compromised because
+    CM keeps pid information in special caches between runs.
+ ----------------------------------------------------------------------
+ Name: Lal George
+ Date: 2002/02/07 15:34:13 EST 2002
+ Tag: <none>
+ Description:
+ Compilers that generate assembly code may produce  global labels
+ whose value is resolved at link time. The various peephole optimization
+ modules did not take this in account.
+ TODO. The Labels.addrOf function should really return an option
+ type so that clients are forced to deal with this issue, rather
+ than an exception being raised.
+ ----------------------------------------------------------------------
+ Name: Lal George
+ Date: 2002/02/06 13:55:02 EST
+ Tag: george-20020206-ra-breakup
+ Description:
+. A bug fix from Allen.
+     A typo causes extra fstp %st(0)'s to be generated at compensation
+     edges, which might cause stack underflow traps at runtime.  This
+     occurs in fft where there are extraneous fstps right before the 'into'
+     trap instruction (in this case they are harmless since none of the
+     integers overflow.)
+. Pulled out various utility modules that were embedded in the modules
+    of the register allocator. I need these modules for other purposes, but
+    they are not complete enough to put into a library (just yet).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/31 16:05:00 EST
+ Tag: blume-20020131-sparc-ccalls
+ Description:
+. C-calls on Sparc needlessly allocated a huge chunk (96 bytes)
+    of extra stack space by mistake.  Fixed.
+. Bug in logic of handling of command-line options in ml-nlffigen fixed.
+ ----------------------------------------------------------------------
+ Name: Allen Leung
+ Date: 2002/01/30
+ Tag: leunga-20020130-nowhere-bug-fix
+ Description:
+    MLRISC bug fixes:
+. Fixed a bindings computation bug in the 'nowhere' program generator tool.
+. MachineInt.fromString was negating its value.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/29
+ Tag: blume-20020129-INSTALL
+ Description:
+ - Added somewhat detailed installation instructions (file INSTALL).
+ - Fixed curl-detection bug in config/install.sh.
+ - It is now possible to select the URL getter using the URLGETTER
+   environment variable:
+       not set / "unknown"      --> automatic detection (script tries wget,
+                                    curl, and lynx)
+       "wget" / "curl" / "lynx" --> use the specified program (script "knows"
+                                    how to properly invoke them)
+       other                    --> use $URLGETTER directly, it must take
+                                    precisely two command-line arguments
+                                    (source URL and destination file name)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/28
+ Tag: blume-20020128-sparc-ccalls
+ Description:
+ - Fixed problem with calculation of "used" registers in sparc-c-calls.
+ - Make use of the allocParam argument in sparc-c-calls.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/28
+ Tag: blume-20020128-allocParam
+ Description:
+ John Reppy:  Changes c-calls API to accept client-callback for
+ allocating extra stack space.
+ me: Corresponding changes to mlriscGen (using a dummy argument that
+     does not change the current behavior).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/28 12:00:00
+ Tag: Release_110_38
+ Description:
+ This time for real!!!
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/28 10:56:00 EST
+ Tag: blume-20020128-retraction
+ Description:
+. Retracted earlier 110.38.  (The Release_110_38 tag has been replaced
+    with blume-Release_110_38-retracted.)
+. Fixed a problem with incorrect rounding modes in real64.sml.
+    (Thanks to Andrew Mccreight <andrew.mccreight@yale.edu>.)
+. A bug in ml-nlffigen related to the handling of unnamed structs, unions,
+    and enums fixed.  The naming of corresponding ML identifiers should
+    now be consistent again.
+ ----------------------------------------------------------------------
+ Name: Allen Leung
+ Date: 2002/01/27
+ Tag: leunga-20020127-nowhere
+ Description:
+    Added a target called nowhere in the configuration scripts.
+    Enabling this will build the MLRISC 'nowhere' tool (for translating
+    programs with where-clauses into legal SML code) during installation.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/25 21:27:00 EST
+ Tag: blume-Release_110_38-retracted
+ Description:
+ Call it a (working) release!  Version is 110.38. Bootfiles are ready.
+ README will be added later.
+ !!! NOTE:  Re-tagged as blume-Release_110_38-retracted. Original tag
+ (Release_110_38) removed.  Reason: Last-minute bug fixes.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/25
+ Tag: blume-20020125-ffi
+ Description:
+ A large number of tweaks and improvements to ml-nlffi-lib and
+ ml-nlffigen:
+    - ML represenation types have been streamlined
+    - getter and setter functions work with concrete values, not abstract
+      ones where possible
+    - ml-nlffigen command line more flexible (see README file there)
+    - some bugs have been fixed (hopefully)
+ ----------------------------------------------------------------------
+ Name: Lal George
+ Date: 2002/01/24
+ Tag: george-20020124-risc-ra-interface
+ Description:
+    There is a dramatic simplification in the interface to the
+    register allocator for RISC architectures as a result of making
+    parallel copy instructions explicit.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/22
+ Tag: blume-20020122-x86-ccalls
+ Description:
+ Bug fix for c-calls on x86 (having to do with how char- and
+ short-arguments are being handled).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/21
+ Tag: blume-20020121-ff
+ Description:
+ Another day of fiddling with the FFI...
+. Bug fix/workaround:  CKIT does not complain about negative array
+    dimensions, so ml-nlffigen has to guard itself against this possibility.
+    (Otherwise a negative dimension would send it into an infinite loop.)
+. Some of the abstract types (light objects, light pointers, most "base"
+    types) in structure C are now eqtypes.
+. Added constructors and test functions for NULL function pointers.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/18
+ Tag: blume-20020118-ready-for-new-release
+ Description:
+ Made config/srcarchiveurl point to a new place.  (Will provide boot
+ files shortly.)
+ Maybe we christen this to be 110.38?
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/18
+ Tag: blume-20020118-more-ffifiddle
+ Description:
+ Today's FFI fiddling:
+   - Provided a structure CGetSet with "convenient" versions of C.Get.* and
+     C.Set.* that use concrete (MLRep.*) arguments and results instead
+     of abstract ones.
+   - Provided word-style bit operations etc. for "int" representation
+     types in MLRep.S<Foo>Bitops where <Foo> ranges over Char, Int, Short,
+     and Long.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/18
+ Tag: blume-20020118-use-x86-fp
+ Description:
+ Now that x86-fast-fp seems to be working, I turned it back on again
+ by default.  (Seems to work fine now, even with the FFI.)
+ Other than that, I added some documentation about the FFI to
+ src/ml-nlffigen/README and updated the FFI test examples in
+ src/ml-nlffi-lib/Tests/*.
+ ----------------------------------------------------------------------
+ Name: Allen Leung
+ Date: 2002/01/17
+ Tag: leunga-20020117-x86-fast-fp-call
+ Description:
+. Fixed a problem with handling return fp values when x86's fast fp
+       mode is turned on.
+. Minor pretty printing fix for cellset.  Print %st(0) as %st(0) instead
+       of %f32.
+. Added a constructor INT32lit to the ast of MLRISC tools.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/16
+ Tag: blume-20020116-ffifiddle
+ Description:
+ More fiddling with the FFI interface:
+  - Make constness 'c instead of rw wherever possible.  This eliminates
+    the need for certain explicit coercions.  (However, due to ML's
+    value polymorphism, there will still be many cases where explicit
+    coercions are necessary.  Phantom types are not the whole answer
+    to modeling a subtyping relationship in ML.)
+  - ro/rw coersions for pointers added.  (Avoids the detour through */&.)
+  - "printf" test example added to src/ml-nlffi-lib/Tests.  (Demonstrates
+    clumsy workaround for varargs problem.)
+ ----------------------------------------------------------------------
+ Name: Lal George
+ Date: 2002/01/15
+ Tag: <none>
+ Description:
+. Since COPY instructions are no longer native to the architecture,
+    a generic functor can be used to implement the expandCopies function.
+. Allowed EXPORT and IMPORT pseudo-op declarations to appear inside a
+    TEXT segment.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/15
+ Tag: blume-20020115-ffiupdates
+ Description:
+. Fix for bug resulting in single-precision float values being returned
+    incorrectly from FFI calls.
+. Small modifications to C FFI API:
+     - memory-allocation routines return straight objects (no options)
+       and raise an exception in out-of-memory situations
+     - unsafe extensions to cast between function pointers and pointers
+       from/to ints
+     - added structure C_Debug as an alternative to structure C where
+       pointer-dereferencing (|*| and |*!) always check for null-pointers
+     - added open_lib' to DynLinkage;  open_lib' works like open_lib
+       but also takes a (possibly empty) list of existing library handles
+       that the current library depends on
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/01/10
+ Tag: blume-20020110-newffigen
+ Description:
+. Updates to portable graph code.
+. Major update to ml-nlffigen and ml-nlffi-lib.  Things are much
+    more scalable now so that even huge interfaces such as the one
+    for GTK compile in finite time and space. :-)
+    See src/ml-nlffigen/README for details on what's new.
  ----------------------------------------------------------------------
  Name: Lal George
  Date: 2001/01/09 14:31:35 EST 2002
-Line 355
+Line 837
  ----------------------------------------------------------------------
  Name: Matthias Blume
- >>>>>>> 1.169
  Date: 2001/09/18 15:35:00 EDT
  Tag: blume-20010918-readme11036
  Description:

 Legend:



Removed from v.1009
 


changed lines


 
Added in v.1067
 Legend:



Removed from v.1009
 


changed lines


 
Added in v.1067
-Removed from v.1009
+Added in v.1067

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