5f4b2a26fb148a2dbdfd46b21d0fc21fc39a01fc David G. Wonnacott davew@cs.haverford.edu http://github.com/davewathaverford/the-omega-project/commit/2ff0a6563ed1c2b2eee8c9bf82f3657a8e6d6bc2 2ff0a6563ed1c2b2eee8c9bf82f3657a8e6d6bc2 2008-07-30T13:37:00-07:00 2008-07-30T13:37:00-07:00 fixed oc-rt results with new version number ac7b251a80f60048a9811c935b27d0e92815b896 David G. Wonnacott davew@cs.haverford.edu f532e635c953c6b6b9fb9b00bdc1c528c661915d David G. Wonnacott davew@cs.haverford.edu http://github.com/davewathaverford/the-omega-project/commit/5f4b2a26fb148a2dbdfd46b21d0fc21fc39a01fc 5f4b2a26fb148a2dbdfd46b21d0fc21fc39a01fc 2008-07-30T13:26:18-07:00 2008-07-30T13:26:18-07:00 put the new version number in the code a86b904e2267c96a052f07ba440ceb74af60a0e1 David G. Wonnacott davew@cs.haverford.edu 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 e7ff46a06755cbf6b1194c39846e2a524bf2da59 Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/b3ec42bdfbc22f68036ea9dd14038cbf76cf5ecd b3ec42bdfbc22f68036ea9dd14038cbf76cf5ecd 2008-07-16T08:21:43-07:00 2007-07-19T03:26:30-07:00 string constants are of type const char * (not char *) Recent gcc's complain about this typing problem. 089fccf8409b8401c34fabb2d26925527b44cccd Sven Verdoolaege sven@cs.kuleuven.be f312d7e25b29b434ba7fd0888810131bdfeeb3b1 Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/e7ff46a06755cbf6b1194c39846e2a524bf2da59 e7ff46a06755cbf6b1194c39846e2a524bf2da59 2008-07-16T08:21:43-07:00 2006-05-10T04:21:34-07:00 oc: don't use freed variable in error message e3798d656613b3f81eee8cfaa7378b8d69c38ba0 Sven Verdoolaege sven@cs.kuleuven.be d530620ae60c4136c911ee5124331c65fc758e90 Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/f312d7e25b29b434ba7fd0888810131bdfeeb3b1 f312d7e25b29b434ba7fd0888810131bdfeeb3b1 2008-07-16T08:21:39-07:00 2004-06-08T10:55:29-07:00 Conjunct::convertEqstoGEQs: extra check to make sure it's not simplified away ce8bd5367eaf8916e8119600eee97e3aabfcd74e Sven Verdoolaege sven@cs.kuleuven.be 668f0162a5f928d044b094841f74ebb8fc57f68f Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/d530620ae60c4136c911ee5124331c65fc758e90 d530620ae60c4136c911ee5124331c65fc758e90 2008-07-16T08:20:16-07:00 2004-06-08T10:54:04-07:00 Set output file if not set already Maybe we should just force the output file to stderr. 4e004641fe50db2c5f17e5ebb108e8d459787498 Sven Verdoolaege sven@cs.kuleuven.be 1bbd75936211b27797679eac9ce108bf94b5e8bd Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/668f0162a5f928d044b094841f74ebb8fc57f68f 668f0162a5f928d044b094841f74ebb8fc57f68f 2008-07-16T08:20:16-07:00 2004-05-20T07:56:05-07:00 Don't delete the constraint in simplify_conj, even if it is false print_with_subs_to_string passes a conjunct that it does not expect to be deleted. 591ba08b8809a82b9a8be0364d869b598bcab4c3 Sven Verdoolaege sven@cs.kuleuven.be 3d4c875bf621205054c63321c0bf4951c0a96d25 Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/1bbd75936211b27797679eac9ce108bf94b5e8bd 1bbd75936211b27797679eac9ce108bf94b5e8bd 2008-07-16T08:20:10-07:00 2004-05-20T06:56:14-07:00 Rel_Body::print: add missing colon in output cedbce6ffe04469f6a2bc1c0675bffb55e88d7b4 Sven Verdoolaege sven@cs.kuleuven.be c356556fc7ca33d62d6a1d881c71342889dd9bc4 Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/3d4c875bf621205054c63321c0bf4951c0a96d25 3d4c875bf621205054c63321c0bf4951c0a96d25 2008-07-16T06:39:49-07:00 2003-08-21T09:46:39-07:00 support (force) LONG_LONG_COEF 643b0f1174dfb7dd23a4dce5633e3a6ff943f627 Sven Verdoolaege sven@cs.kuleuven.be 8a24ce79dab860f61530405e77a6737b8884c37a Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/c356556fc7ca33d62d6a1d881c71342889dd9bc4 c356556fc7ca33d62d6a1d881c71342889dd9bc4 2008-07-16T06:39:49-07:00 2003-08-21T09:57:33-07:00 delete arrays with delete[] 87312e48d60d647e72365359675a796473c360fa Sven Verdoolaege sven@cs.kuleuven.be dc4a104ea8f0219c51dad8ee89c7c7182d215519 Peter Vanbroekhoven peterv@cs.kuleuven.ac.be http://github.com/davewathaverford/the-omega-project/commit/8a24ce79dab860f61530405e77a6737b8884c37a 8a24ce79dab860f61530405e77a6737b8884c37a 2008-07-16T06:39:49-07:00 2003-09-26T07:39:34-07:00 Fix install target to install more than one item 104d24adde54d96e13da2a03b9686a55789eb7db Sven Verdoolaege sven@cs.kuleuven.be 991c861157663e04c696cef322a4f9de059a67eb Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/dc4a104ea8f0219c51dad8ee89c7c7182d215519 dc4a104ea8f0219c51dad8ee89c7c7182d215519 2008-07-16T06:39:49-07:00 2003-08-21T09:59:53-07:00 remove generated files 5a532c9cc73da7c7d27c7300a1551d6da43e7110 Sven Verdoolaege sven@cs.kuleuven.be afd4712bb394cfde3bec03499ebe04b00262b50d Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/991c861157663e04c696cef322a4f9de059a67eb 991c861157663e04c696cef322a4f9de059a67eb 2008-07-16T06:39:49-07:00 2007-01-04T06:57:59-08:00 petit/src/hppy.y: implement hpp_yywrap as a function rather than as a macro Otherwise, a conflict occurs with the function declaration generated by bison. 357505a4be83baad9e6d3776612dc77fc9d5ad10 Sven Verdoolaege sven@cs.kuleuven.be de0dc268a3afba43cdcd4e4b0f6ab09b70016dff Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/afd4712bb394cfde3bec03499ebe04b00262b50d afd4712bb394cfde3bec03499ebe04b00262b50d 2008-07-16T06:39:49-07:00 2006-09-18T01:36:59-07:00 omega_calc/src/parser.l: remove definition of yylineno Apparently, some versions of lex (notably flex 2.5.31) add this definition automatically, while other versions (notably flex 2.5.4) don't. However, using the -l option will force flex to add it. 140503b0ed4330e72940d1755ad0eead00052023 Sven Verdoolaege sven@cs.kuleuven.be 047c49a594462317c2c55513acf5a1ed5491d40f Sven Verdoolaege skimo@kotnet.org http://github.com/davewathaverford/the-omega-project/commit/de0dc268a3afba43cdcd4e4b0f6ab09b70016dff de0dc268a3afba43cdcd4e4b0f6ab09b70016dff 2008-07-16T06:39:48-07:00 2006-09-05T10:45:18-07:00 omega_cals/parser.[yl]: avoid conflicts with DOMAIN in math.h 113af833666b479147c8e4c260c4e43975546e16 Sven Verdoolaege sven@cs.kuleuven.be 6f6438426fcb56669ddf03b235386f3dbdc4e7e2 Sven Verdoolaege sven@cs.kuleuven.be http://github.com/davewathaverford/the-omega-project/commit/047c49a594462317c2c55513acf5a1ed5491d40f 047c49a594462317c2c55513acf5a1ed5491d40f 2008-07-16T05:30:51-07:00 2008-07-16T04:41:19-07:00 Remove Makefile.deps files These files can (and should) be generated using "make depend". 7ed3177aa116541ccfcb26a4038e3fa76fd48639 Sven Verdoolaege sven@cs.kuleuven.be 4023845a4d4ac35d620756c54c369421945d4eb8 Alan LaMielle lamielle@cs.colostate.edu http://github.com/davewathaverford/the-omega-project/commit/6f6438426fcb56669ddf03b235386f3dbdc4e7e2 6f6438426fcb56669ddf03b235386f3dbdc4e7e2 2008-07-09T13:16:43-07:00 2008-07-09T13:16:43-07:00 Update to build with newer gcc versions and the addition of namespaces. Updated code to build with newer versions of gcc (tested with gcc 4.1.2). Added namespaces and cleaned up various warnings. Added basic Python code generation in addition to the original pseudo-c code generation. c1d7390cc970893860c6b46d9bb3d51523fc5f4a Alan LaMielle lamielle@cs.colostate.edu 8d739a69b4735d0942a3d43e853ffa68d620086c Tim Douglas timdoug@h165-82-156-60.ip.haverford.edu http://github.com/davewathaverford/the-omega-project/commit/4023845a4d4ac35d620756c54c369421945d4eb8 4023845a4d4ac35d620756c54c369421945d4eb8 2008-07-09T09:11:08-07:00 2008-07-09T09:11:08-07:00 update version number 1dda003511260aa10dce6cd1675b0539483e143e Tim Douglas timdoug@h165-82-156-60.ip.haverford.edu 5ebee689bd8bd2fe17206be82d4b95dc5d3a395f David G. Wonnacott davew@cs.haverford.edu http://github.com/davewathaverford/the-omega-project/commit/8d739a69b4735d0942a3d43e853ffa68d620086c 8d739a69b4735d0942a3d43e853ffa68d620086c 2008-07-01T11:32:08-07:00 2008-07-01T11:32:08-07:00 D'oh 514b23452a1a2ad09ba7ca5bea6e29f0e3b7be31 David G. Wonnacott davew@cs.haverford.edu David G. Wonnacott davew@cs.haverford.edu http://github.com/davewathaverford/the-omega-project/commit/5ebee689bd8bd2fe17206be82d4b95dc5d3a395f 5ebee689bd8bd2fe17206be82d4b95dc5d3a395f 2008-07-01T11:22:18-07:00 2008-07-01T11:22:18-07:00 The files from Bill Pugh's Omega Project version 1.2, mostly as retrieved on July 1, 2008 from the U. of Maryland web site ftp://ftp.cs.umd.edu/pub/omega/omega_system/omega1_2-all.tar.gz the date on the web site was given as August 2000. Note that the README at that time referred to version 1.1. I have made _ONE_ change, specifically instituting the "Simplified BSD Licence" (from http://opensource.org/licenses/bsd-license.php), which is similar to but more standardized than the original statement in oc.h. Note that these files do not compile under a modern version of g++; the commit of this version is designed to facilitate the merging of many sets of changes done by different people since August 2000. Dave Wonnacott 1 July 2008 85f2421e9829ec96279dc382016444cefc16c5be David G. Wonnacott davew@cs.haverford.edu