@@ -1,4 +1,4 @@ -Copyright (c) 1994-2000 by the Omega Project +Copyright (c) 1994-2008 by the Omega Project and others All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: LICENSE @@ -1,7 +1,6 @@ +Omega Project Source Release, version 2.1 -Omega Project Source Release, version 1.2 - -This is verion 1.2 of the Omega Project software, including: +This is verion 2.1 of the Omega Project software, including: * The Omega library, a set of routines for manipulating linear constraints over integer variables, Presburger formulas, and Integer tuple relations and sets. @@ -12,22 +11,24 @@ This is verion 1.2 of the Omega Project software, including: * The Uniform library, a source to source parallelizing transformation system, described in Wayne Kelly's Ph.D. dissertation. -Some new or recent features: - * The Uniform library - * An exact convex hull computation - * An improved system for handling inexact relations, including taking - upper and lower bounds, checking for subsets, and checking tautologies - * Better handling of existentially quantified variables: we can now - negate and generate code for sets like: - {[i] : 1 <= i <= n && exists (alpha : i <= 10 alpha <= i+k)}; - * An Example operator, that gives a sample solution to set or relation. +Many new features have been added, and numerous bugs fixed, by a +number of groups since the August 2000 version 1.2 from the cs.umd.edu +web site. A quick check of the omega calculator regression tests indicates +that there is one difference in the generated code for a time-skewed example, +but this may just be an equivalent iteration space expressed in a different +way. + +Those who have made contributions may wish to describe them here: + * + * + * -Users with code that uses previous versions of the Omega library may -need to make some changes to their code in order to comply with the new -functions for checking subsets, satisfiability, and tautologies. +The web site of the Omega Project remains at -As usual, the Omega Project is located at http://www.cs.umd.edu/projects/omega mailto:omega@cs.umd.edu - ftp://ftp.cs.umd.edu/pub/omega + +but the source code is now on github.com: + + http://github.com/davewathaverford/the-omega-project/ README b3ec42bdfbc22f68036ea9dd14038cbf76cf5ecd David G. Wonnacott davew@cs.haverford.edu http://github.com/davewathaverford/the-omega-project/commit/f532e635c953c6b6b9fb9b00bdc1c528c661915d f532e635c953c6b6b9fb9b00bdc1c528c661915d 2008-07-30T13:17:16-07:00 2008-07-30T13:17:16-07:00 New description with a version number that's more appropriate b5bfd5ffab319b0d6d1f100582fab937e52576c8 David G. Wonnacott davew@cs.haverford.edu