Omega Download Page

What's New

    1. April 29, 2011 Version 1.5
      Release 1.5 marks the first milestone without major involvement of Tim. See the release notes for more details. To download the system visit here.
    2. May 7, 2010. Version 1.4.6
      Significantly improved pretty printing of types in error messages. Adds a new command, :norm to the type "check" loop which normalizes the type of the expression entered. Several minor bugs have also been fixed.
    3. April 14, 2010. Version 1.4.5
      A very minor update to version 1.4.4. Includes a fix to the "lift" function, and updates to the manual that were mistakenly not included in version 1.4.4.
    4. March 28, 2010. Version 1.4.4
      Bug fixes. Lots of work on better error messages. An improved module system that doesn't reload modules already loaded. A newstyle of syntactic extension that allows more than one style per datatype.
    5. 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.
    6. 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.
    7. April 12, 2007. Version 1.4.1.
      Bug fixes, and truly level-polymorphic datatypes.
    8. 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.
    9. 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.
    10. 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.
    11. June 23, 2005. Version 1.1 (revision 1).
      No new features, just bug fixes over version 1.1.
    12. May 23, 2005.
      Version 1.1 released. Includes better error messages, Anonymous existential types. Datatypes as propositions and static constraints.
    13. March 3, 2005.
      First public release of Omega. Version 1.00.

      14. Download

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

      1. Version 1.5
      2. Version 1.4.6 Omega Version 1.4.6 (zip file) Compiles with Haskell Platform 2009.2.0.2
      3. Version 1.4.5 Omega Version 1.4.5 (zip file) Compiles with Haskell Platform 2009.2.0.2
      4. Version 1.4.4 Omega Version 1.4.4 (zip file) Compiles with Haskell Platform 2009.2.0.2
      5. Version 1.4.3 Omega Version 1.4.3 (zip file) Compiles with GHC 6.8.3
      6. Version 1.4.2 Omega Version 1.4.2 (zip file). Requires GHC 6.4.1 or higher to compile.
      7. Version 1.4.1 Omega Version 1.4.1 (zip file). Requires GHC 6.4.1 or higher to compile.
      8. Version 1.4 Omega Version 1.4 (zip file). Requires GHC 6.4.1 or higher to compile.
      9. Version 1.3 Omega Version 1.3 (zip file). Requires GHC 6.4.1 or higher to compile.
      10. Version 1.2 Omega Version 1.2 (zip file). Requires GHC 6.4.1 to compile.
      11. Version 1.11 Omega Version 1.1 revision 1 (zip file)
      12. Version 1.1 Omega Version 1.1 (zip file)
      13. 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.