Omega Download Page

What's New

  1. July 22, 2008. Version 1.4.3
    Many bug fixes. A more robust implementation of level polymorphism. A new set of example programs. This version of Omega was prepared for, and used by Summer School on Logic and Theorem Proving in Programming Languages in Eugene in July 2008.
  2. June 9, 2007. Version 1.4.2.
    Updated manual with new sections on level-polymorphism, use of Syntactic Extension, and Labels. New operations on Labels including dynamic generation and equality checks. Drastic changes to the implementation of syntactic extensions. If you use this feature, read the manual. Syntactic Extensions can now be imported (see the manual for details). The #(n+1) syntax has changed. A large restructuring of the parser, making it easier to maintain. Many, many bug fixs (Thank you, Gabor Greif for the bug reports)! A slighlty revised version, posted June 12, 2007.
  3. April 12, 2007. Version 1.4.1.
    Bug fixes, and truly level-polymorphic datatypes.
  4. Feb. 27, 2007. Version 1.4.
    A completely rewritten constraint solving mechanism. The "theorem" declaration, rewriting, backchaining, and refinement lemmas. Syntactic extension. Improved module system. Tracing directives, and bounds setting directives. Many bug fixes and improved error messages.
  5. Nov. 13, 2006. Version 1.3.
    Many bug fixes. New way to handle type-functions using narrowing. New implementation of discharging static constraints. Much improved error messages.
  6. Nov. 7, 2005. Version 1.2.
    Many bug fixes, the command line editor (many thanks to Nils Anders Danielsson), unreachable clauses. This and succeeding versions requires GHC 6.4.1 or better to compile.
  7. June 23, 2005. Version 1.1 (revision 1).
    No new features, just bug fixes over version 1.1.
  8. May 23, 2005.
    Version 1.1 released. Includes better error messages, Anonymous existential types. Datatypes as propositions and static constraints.
  9. March 3, 2005.
    First public release of Omega. Version 1.00.

    10. Download

    Download the appropriate archive, then follow the installation notes below:

    1. Version 1.4.3 Omega Version 1.4.3 (zip file) Compiles with GHC 6.8.3
    2. Version 1.4.2 Omega Version 1.4.2 (zip file). Requires GHC 6.4.1 or higher to compile.
    3. Version 1.4.1 Omega Version 1.4.1 (zip file). Requires GHC 6.4.1 or higher to compile.
    4. Version 1.4 Omega Version 1.4 (zip file). Requires GHC 6.4.1 or higher to compile.
    5. Version 1.3 Omega Version 1.3 (zip file). Requires GHC 6.4.1 or higher to compile.
    6. Version 1.2 Omega Version 1.2 (zip file). Requires GHC 6.4.1 to compile.
    7. Version 1.11 Omega Version 1.1 revision 1 (zip file)
    8. Version 1.1 Omega Version 1.1 (zip file)
    9. Version 1.0 Omega Version 1.0 (zip file)

    Installation Notes:

    1. Install the appropriate version of GHC compiler.
    2. Download the distribution file.
    3. Unzip the distribution. You will get a Omega directory. Other directories include the Omega manual for that version, examples, etc.
    4. Go to this directory. You should have the source files to Omega.
    5. You will find the license in the file LICENSE.txt. Read it to be sure you agree to the conditions of distribution.
    6. type "make all" to start the GHC compilation process. The omega interpreter will be placed in the file omega.exe

    For more information about Omega visit Tim Sheard's web page

    This material is based upon work supported by the National Science Foundation under Grant No. 0098126 and 0613969.

    Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.