The TILT Compiler

TILT is a self-checking compiler for Standard ML that uses Typed Intermediate Languages. During compilation, types are translated along with code and type-checking is used to check the results of compilation. TILT is research software funded by the National Science Foundation under grant number 0121633 Language Technology for Trustless Software Dissemination (Principal Investigators: Karl Crary, Robert Harper, Peter Lee, and Frank Pfenning) and by DARPA under contracts F196268-95-C-0050 The Fox Project: Advanced Languages for Systems Software (Principal Investigators: Robert Harper, Peter Lee, and Frank Pfenning) and F196228-91-C-0168 The Fox Project: Advanced Development of Systems Software (Principal Investigators: Robert Harper, Peter Lee, and Frank Pfenning).

TILT is under active development as part of the ConCert Project at Carnegie Mellon. TILT began as a joint effort between researchers at Cornell and in the Fox Project at Carnegie Mellon to develop a successor to the TIL Compiler, a self-checking compiler for the Standard ML core language.

What's New?

TILT 1.1 is now available. It includes

• Leaf Petersen's x86 backend based on the Cornell implementation of Typed Assembly Language.
• A traditional (untyped) sparc backend.
• A simpler interface to parallel compilation on multi-processors.

License

The following copyright notice, permission notice, and disclaimer applies to the TILT compiler for Standard ML. You must agree to these terms before downloading the compiler.

TILT COPYRIGHT NOTICE, PERMISSION NOTICE, AND DISCLAIMER

Copyright (c) 2004, 2005 by Carnegie Mellon University

Permission is hereby granted, free of charge, to any person obtaining
a copy of this software and associated documentation files (the
"Software"), to deal in the Software without restriction, including
without limitation the rights to use, copy, modify, merge, publish,
distribute, sublicense, and/or sell copies of the Software, and to
permit persons to whom the Software is furnished to do so, subject to
the condition that conditions:

The above copyright notice and this permission notice shall be
included in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

Software

The current release of TILT is version 1.1. The compiler and most of its libraries are written in Standard ML. Its runtime system is written in C. TILT can make executables and libraries for the SPARC V9 and Intel x86 architectures running SunOS 5.5.1, SunOS 5.8, SunOS 5.9, and linux. TILT supports separate compilation, incremental recompilation, and parallel compilation.

• version 1.1 released July 7, 2005
  • tilt-1.1.tar.gz source distribution (1.9 MB)
  • talc-3.0-1.1.tar.gz TAL source distribution (2.7 MB)
  The source distribution can be compiled under SML/NJ version 110.0.7 and under TILT. TAL is required to generate x86 executables. The TAL source distribution is written in Objective Caml and has been tested with OCaml versions 3.07.2, 3.08.2, and 3.08.3.
• version 1.0 released March 4, 2004 (obsolete)
  • tilt-1.0.tar.gz source distribution (1.6 MB)
  The source distribution can be compiled under SML/NJ version 110.0.7 and under TILT. This version can make executables and libraries for the SPARC V9 and Alpha architectures running SunOS 5.5.1, SunOS 5.7, SunOS 5.8, SunOS 5.9, and Digital Unix V4.0D.

Mailing List

We maintain a mailing list called tilt-developers. It serves as a discussion forum for people working on TILT and a place to report bugs.

If you want to join the tilt-developers mailing list, visit http://mailman.srv.cs.cmu.edu/mailman/listinfo/tilt-developers.

If you want to report a problem with TILT, send mail to tilt-developers@cs.cmu.edu