Robert Bernecky authored Nov 04, 2013 and Raphael 'kena' Poss committed Dec 13, 2013

and perhaps worse.

Robert Bernecky authored Nov 03, 2013 and Raphael 'kena' Poss committed Dec 13, 2013

2. Adjust callers of same to reflect new function names.

3. Fix something in AWLFI that I don't recall at present...

Robert Bernecky authored Oct 29, 2013 and Raphael 'kena' Poss committed Dec 13, 2013

2. Clarify DBUG_PRINT statements to disambiguate them.

Artem Shinkarov authored Oct 15, 2013 and Raphael 'kena' Poss committed Dec 13, 2013

Victor introduced realloc in while working on the new memory tracking,
however, we didn't have a global binding for MEMrealloc and in a couple
of places there were customly made reallocs.

Fixed compat.h simplifying bindings to MEMxxx functions.

Adjusted Santanu's flexsub code to use the new function.

Robert Bernecky authored Oct 09, 2013 and Raphael 'kena' Poss committed Dec 13, 2013

We now:
  a. have explicit code to generate extrema for cases such as
     max( constant, nonconstantWithConstantMinval).

  b. No longer overwrite extrema values when propagating min()/max().

The underlying problem is that we really want to be able
to deduce several properties when extrema are NOT constant.
E.g., for z = max( a, b):

    z >= a              AND
    z >= b              AND
    z >= AVIS_MIN( a)   AND
    z >= AVIS_MIN( b)   AND

Robert Bernecky authored Sep 30, 2013 and Raphael 'kena' Poss committed Dec 13, 2013

   This makes AWLF unit test wlcondoAKD.sac and wlcondoAKS.sac unit
   tests generate essentially identical code.

2. Clean up some utility function predicate names in CF.

3. Clean up CF code a bit.

4. CF unit test suite now runs clean with this build.
   AWLF does NOT run clean.

Robert Bernecky authored Sep 26, 2013 and Raphael 'kena' Poss committed Dec 13, 2013

Fix Bug #1088, in which CF caused major havoc in cubslcrash.sac, due to
incorrect computation of WL partition intersections.

SYScall on a pipe a | b only fails if b fails. (shell semantics) Since
the preprocessor call also invokes sed, the entire command does appear
to succeed even if preprocessing fails.

Overview:

- potentially separate output directories for Tree and Mod files.
  Option -o sets output dir for Tree files, -olib for Mod files, but
  flag -olib defaults to be the same as -o if not specified.

- flag -install for modules defaults the output directories set
  by new resources TREE_OUTPUTDIR and LIB_OUTPUTDIR.