From e4b20015a4ee35f1279af4caa983478fa2ff0d4a Mon Sep 17 00:00:00 2001
From: dhuth <derickhuth@gmail.com>
Date: Mon, 6 Oct 2014 11:56:47 -0600
Subject: Added omega to source
---
omega/README | 96 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 96 insertions(+)
create mode 100644 omega/README
(limited to 'omega/README')
diff --git a/omega/README b/omega/README
new file mode 100644
index 0000000..378f4bd
--- /dev/null
+++ b/omega/README
@@ -0,0 +1,96 @@
+Omega+ and CodeGen+ 2.2 open source release
+See LICENSE file for copyright information.
+
+Omega+ is a mathematical library for manipulating integer linear
+constraints over integer variables in first order logic, and
+operations on integer sets and their mappings. CodeGen+ is a code
+generation library by scanning the points in a union of polytopes.
+A command-line interface to libraries is also included.
+
+
+What is new?
+============
+
+version 2.2:
+ * Redesigned polyhedra scanning which generates higher quality code
+ than before especially for complex set of polyhedra.
+ * New SimpleHull for hull approximation (deprecate Hull).
+ * Command line editing and history support in calculator.
+
+version 2.1:
+ * Updated "effort" parameter's meaning in MMGenerateCode: value n
+ (n >= 0, default to 1) means that control overheads are removed
+ from all n-depth innermost loops.
+ * Enhanced stride handling in the code generation.
+ * Support code generation for a set of iteration spaces with different
+ dimensionality.
+ * New ConvexRepresentation that reduces the number of conjuncts in a union
+ (deprecate CheckForConvexPairs and CheckForConvexRepresentation).
+ * Handle floor/ceiling defined variables cleanly in output code.
+ * Use namespace omega for the library.
+ * New closure functions contributed by Klimek Tomasz (R^+ and R^@).
+
+version 2.0:
+ * Improved internal code generation interface so that it generates both
+ string and rose ouput now, and more easily extendable for new compiler
+ intermediate representations.
+ * Improved gist function so that integer modular constraints are handled
+ more gracefully.
+ * Merge duplicate if-conditions in generated code, which might still miss
+ a few opportunities due to the way AST is constructed.
+ * Correct output/input variable substitution for non-unimodular
+ mapping relations.
+ * Deprecate Omega's assert/Exit interface.
+ * Some fixing in calculator's parsing and interactive interface.
+
+version 1.2 (Omega Project):
+ * Support for code generation with memory mappings, as described in
+ Tina Shen's MASPLAS '98 paper. This is available in oc via the
+ tcodegen function; see examples/calc/mm* for examples.
+ * Use of the compile-time flags -DSTILL_CHECK_MULT=1 -DNDEBUG turns off
+ all assertions and chechk _except_ some checks for integer overflow
+ during variable elimination in the omega core. Unless you know a priori
+ that overflow cannot occur, you should use this instead of just plain
+ -DNDEBUG when optimizing.
+ * You can now use "assertUnsatisfiable relation" to cause oc to quit if
+ "relation" could be satisfiable. This is mainly useful when running oc
+ in a script.
+
+version 1.1 (Omega Project):
+ * 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.
+
+version 0.90 (Omega Project):
+ * Initial release.
+
+
+DIRECTORIES
+===========
+
+omega/
+ omega_lib/ source files for the Omega+ library
+ code_gen/ source files for the CodeGen+ library
+ omega_calc/ source files for the calculator
+ examples/ script examples using calculator
+ c_code/ code examples for using libraries
+ bin/ links to executables: oc
+ lib/ links to libraries: libomega.a, libcode_gen.a
+ include/ links to header files
+
+
+DOCUMENTATION AND QUESTIONS
+===========================
+
+There are only old documents from the Omega Project under doc/ subdirectory
+for now.
+
+Software website:
+ http://www.chunchen.info/omega
+
+For questions, bug reports or suggestions, please contact:
+ mailto:riverofdreams@gmail.com
--
cgit v1.2.3-70-g09d2