Permalink
Switch branches/tags
Nothing to show
Commits on Nov 19, 2013
Commits on Nov 13, 2013
  1. Clean up intDiv calls

    billpugh committed Nov 13, 2013
  2. Timing updates

    billpugh committed Nov 13, 2013
  3. Update regression tests

    billpugh committed Nov 13, 2013
  4. Add some test cases

    billpugh committed Nov 13, 2013
Commits on Nov 10, 2013
  1. Don't try to make para.bib

    billpugh committed Nov 10, 2013
  2. Add spacing to debugging output

    billpugh committed Nov 10, 2013
  3. Add bibliography

    billpugh committed Nov 10, 2013
  4. add tex files

    billpugh committed Nov 10, 2013
Commits on Jul 15, 2011
Commits on Jul 12, 2011
  1. Fixed some things based on compiler warnings. I believe this did *NOT…

    …* change any semantics.
    
    Remaining compiler warnings in libomega, libecodegen, and oc are either things I can't fix
     (unused variables in macros or other system-generated code) or
     things that *actually* worry me, such as warnings in closure and one or two others
     (but about which I'm not confident enough to change the semantics).
    
    Code gets the same result for OC regression test.
    committed Jul 12, 2011
  2. The use of 'int' with posInfinity was causing assertion failures due …

    …to not telling if one dependence must cover another;
    
    Also the missing include in petity.y caused failure to compile on some systems.
    committed Jul 12, 2011
Commits on Jul 30, 2008
Commits on Jul 16, 2008
  1. string constants are of type const char * (not char *)

    Recent gcc's complain about this typing problem.
    Sven Verdoolaege committed with Sven Verdoolaege Jul 19, 2007
  2. oc: don't use freed variable in error message

    Sven Verdoolaege committed with Sven Verdoolaege May 10, 2006
  3. Conjunct::convertEqstoGEQs: extra check to make sure it's not simplif…

    …ied away
    Sven Verdoolaege committed with Sven Verdoolaege Jun 8, 2004
  4. Set output file if not set already

    Maybe we should just force the output file to stderr.
    Sven Verdoolaege committed with Sven Verdoolaege Jun 8, 2004
  5. 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.
    Sven Verdoolaege committed with Sven Verdoolaege May 20, 2004
  6. Rel_Body::print: add missing colon in output

    Sven Verdoolaege committed with Sven Verdoolaege May 20, 2004
  7. support (force) LONG_LONG_COEF

    Sven Verdoolaege committed with Sven Verdoolaege Aug 21, 2003
  8. delete arrays with delete[]

    Sven Verdoolaege committed with Sven Verdoolaege Aug 21, 2003
  9. Fix install target to install more than one item

    Peter Vanbroekhoven committed with Sven Verdoolaege Sep 26, 2003
  10. remove generated files

    Sven Verdoolaege committed with Sven Verdoolaege Aug 21, 2003
  11. 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.
    Sven Verdoolaege committed with Sven Verdoolaege Jan 4, 2007
  12. 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.
    Sven Verdoolaege committed with Sven Verdoolaege Sep 18, 2006
  13. omega_cals/parser.[yl]: avoid conflicts with DOMAIN in math.h

    Sven Verdoolaege committed with Sven Verdoolaege Sep 5, 2006
  14. Remove Makefile.deps files

    These files can (and should) be generated using "make depend".
    Sven Verdoolaege committed Jul 16, 2008
Commits on Jul 9, 2008
  1. 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.
    lamielle committed Jul 9, 2008
  2. update version number

    Tim Douglas committed Jul 9, 2008
Commits on Jul 1, 2008
  1. D'oh

    committed Jul 1, 2008