Welcome to the documentation of Lift

This is the documentation of the Lift programming language and compiler. The lift project is a research project by a team at the University of Edinburgh together with further collaborators.

Table of Contents:

• 1. Getting Started with Lift
  • 1.1. Download
  • 1.2. Installation
  • 1.3. Building Lift
• 2. Overview of Lift
  • 2.1. Patterns
  • 2.2. Rewrite Rules
  • 2.3. Compilation Flow
  • 2.4. Inferring OpenCL Thread Counts
• 3. Developing Lift
  • 3.1. Testing
  • 3.2. Guidelines for Contributing
  • 3.3. How to …
• 4. Generating and Running Kernels
  • 4.1. Generating Kernels
  • 4.2. Running Kernels
  • 4.3. High-Level Rewrite

Indices and tables

• Index
• Module Index
• Search Page