Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

SCM Repository

[smlnj] Log of /sml/trunk/src/compiler/FLINT/main
ViewVC logotype

Log of /sml/trunk/src/compiler/FLINT/main

View Directory Listing Directory Listing


Sticky Revision:
(Current path doesn't exist after revision 2161)

Revision 202 - Directory Listing
Modified Sun Dec 13 02:29:45 1998 UTC (23 years, 9 months ago) by monnier
Added IH_MAYBE to allow more selective inlining.

Revision 198 - Directory Listing
Modified Sun Nov 22 02:11:29 1998 UTC (23 years, 10 months ago) by monnier
*** empty log message ***

Revision 197 - Directory Listing
Modified Sun Nov 22 01:25:23 1998 UTC (23 years, 10 months ago) by monnier
Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars from the first lcontract all the way to cps.

* reps/rttype.sml: changes from Bratin.
(rtLexp): define the NVAR case (return the tvar as an lvar).
* opt/[fl]contract.sml: removed the restriction on inlining at the same
  deBruijn depth.
* opt/lift.sml: new file for typelifting.
* flint/flintutil.sml (copy): added tvar renaming.
* flint/tvarcvt.sml: new file for named tvar <-> deBruijn conversions.

Revision 191 - Directory Listing
Modified Fri Nov 20 02:01:27 1998 UTC (23 years, 10 months ago) by monnier
* opt/loopify.sml: new file
* cps/convert.sml: added code to take advantage of LK_WHILE loops.

Revision 189 - Directory Listing
Modified Sun Nov 15 22:29:42 1998 UTC (23 years, 10 months ago) by monnier
*** empty log message ***

Revision 186 - Directory Listing
Modified Wed Nov 11 05:24:43 1998 UTC (23 years, 10 months ago) by monnier
* opt/collect.sml: switched back to a read-only collect phase.  Also try
  to export the info to allow fcontract to circumvent some of the get calls.

Revision 185 - Directory Listing
Modified Tue Nov 10 21:01:05 1998 UTC (23 years, 10 months ago) by monnier
* opt/fcontract.sml: take advantage of single-arm SWITCH (aka decon)
(SWITCH(CON)): just compare the conreps because types may differ (?)
(inlineWitness): ugly hack used to figure out if inlining happened,
  in order to decide whether to keep the inline bit or not (in cfun).

Revision 184 - Directory Listing
Modified Sun Nov 8 21:18:20 1998 UTC (23 years, 10 months ago) by monnier
* added basic unrolling support
* changed fkind to have most annotations valid on
  functors as well.  It also adds a loopkind annotation as well as extends
  the inline boolean into a three-way alternative.
* switched to a continuation passing style to implement the
  let-associativity rule in a better way.

Revision 164 - Directory Listing
Modified Sat Oct 31 01:03:30 1998 UTC (23 years, 11 months ago) by monnier
* opt/fcontract.sml (dropcstargs): replace constant args by the constant.

* opt/fixfix.sml (curry): correctly handle "imposible" cases.

* opt/collect.sml: completely revisited:  no distinction between
  internal/external uses, dead-code elimination done right away.  This
  makes fcontract a little simpler.

Revision 163 - Directory Listing
Modified Thu Oct 29 21:00:27 1998 UTC (23 years, 11 months ago) by monnier
added dropping of dead-arguments

Revision 162 - Directory Listing
Modified Tue Oct 27 22:16:21 1998 UTC (23 years, 11 months ago) by monnier
*** empty log message ***

Revision 158 - Directory Listing
Modified Mon Oct 12 02:41:33 1998 UTC (23 years, 11 months ago) by monnier
*** empty log message ***

Revision 122 - Directory Listing
Modified Sat Jun 6 15:05:38 1998 UTC (24 years, 3 months ago) by monnier
addition of fcontract and fixfix and Control.FLINT

Revision 118 - Directory Listing
Modified Fri Jun 5 21:38:17 1998 UTC (24 years, 4 months ago) by monnier
merged in 110.7 changes

Revision 109 - Directory Listing
Modified Fri May 29 02:12:55 1998 UTC (24 years, 4 months ago) by monnier
merged in 110.6 changes

Revision 102 - Directory Listing
Modified Thu May 14 05:53:10 1998 UTC (24 years, 4 months ago) by monnier
merged in 110.5.1 from Zhong

Revision 98 - Directory Listing
Modified Thu May 14 04:54:52 1998 UTC (24 years, 4 months ago) by monnier
Initial revision

Revision 95 - Directory Listing
Modified Wed May 13 00:49:12 1998 UTC (24 years, 4 months ago) by monnier
merged with 110.5

Revision 84 - Directory Listing
Modified Wed May 6 22:35:33 1998 UTC (24 years, 5 months ago) by monnier
*** empty log message ***

Revision 71 - Directory Listing
Modified Fri Apr 3 01:57:57 1998 UTC (24 years, 6 months ago) by monnier
merged in Zhong's 110.4

Revision 64 - Directory Listing
Modified Tue Mar 31 05:26:51 1998 UTC (24 years, 6 months ago) by monnier
dummy

Revision 59 - Directory Listing
Modified Mon Mar 30 19:24:59 1998 UTC (24 years, 6 months ago) by league
Renaming of Control.CG flags related to type-checking.  Now we have
`checkFlint', `checkKinds', and `checkDatatypes'.

Revision 51 - Directory Listing
Modified Sun Mar 22 23:08:44 1998 UTC (24 years, 6 months ago) by monnier
split printLambda into printLambda and printFlint

Revision 46 - Directory Listing
Modified Sun Mar 22 20:11:09 1998 UTC (24 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r45,
which included commits to RCS files with non-trunk default branches.

Revision 16 - Directory Listing
Added Wed Mar 11 21:00:04 1998 UTC (24 years, 6 months ago) by monnier
Initial revision

Sort log by:

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