Permalink
Commits on Apr 28, 2010
  1. the inlineCollection transformation and the HptInliner work on most o…

    …f the benchmarks now.
    rgvwille committed Apr 28, 2010
  2. undoing last commit

    rgvwille committed Apr 28, 2010
Commits on Apr 26, 2010
  1. couldn't get this build working with the benchmark. reimplemted all t…

    …he branch changes on a clean trunk install
    rgvwille committed Apr 26, 2010
Commits on Apr 16, 2010
  1. Changed specConst to support numbered idents. specConst now used agai…

    …n. I was forced to use specConst since it, although I'm sure of this, unintentially fixes some bug in the runTime. specConst should not be a mandatory optimization.
    rgvwille committed Apr 16, 2010
Commits on Apr 13, 2010
  1. HptAnalysis now works after inlineEA. The problem was a bug in a fix …

    …I implemented in a recent commit.
    rgvwille committed Apr 13, 2010
  2. Added compatibility for making version 8, however this is not yet fin…

    …ished. Decided that building 8 wouldn't be so helpfull after all so making it is not a priority atm.
    
    Can't build EHC now for some reason. Don't know if the source is bugged or my EHC install.
    rgvwille committed Apr 13, 2010
Commits on Apr 6, 2010
  1. Added an exception for "ident" case alternatives that are generated b…

    …y inlineEA. The exception causes the equations from the body to be disregarded and replaced by an IsConstruction.. I won't go into detail here. This should solve a bug that caused the hptanalysis to loop when run after inlineEA.
    rgvwille committed Apr 6, 2010
Commits on Mar 31, 2010
  1. added IsFetch equation and its use in the solver. documented a bug in…

    … the HptAnalysis
    rgvwille committed Mar 31, 2010
  2. No commit message

    rgvwille committed Mar 31, 2010
  3. No commit message

    rgvwille committed Mar 31, 2010
Commits on Mar 30, 2010
  1. No commit message

    rgvwille committed Mar 30, 2010
  2. No commit message

    rgvwille committed Mar 30, 2010
Commits on Mar 29, 2010
  1. lib fixes

    rgvwille committed Mar 29, 2010
Commits on Mar 26, 2010
  1. No commit message

    rgvwille committed Mar 26, 2010
  2. No commit message

    rgvwille committed Mar 26, 2010
  3. fixed merge bugs

    rgvwille committed Mar 26, 2010
Commits on Mar 25, 2010
  1. merged trunk into branch couldn't test yet : /

    rgvwille committed Mar 25, 2010
  2. No commit message

    rgvwille committed Mar 25, 2010
Commits on Mar 16, 2010
  1. No commit message

    rgvwille committed Mar 16, 2010
Commits on Mar 15, 2010
  1. No commit message

    rgvwille committed Mar 15, 2010
  2. No commit message

    rgvwille committed Mar 15, 2010
Commits on Mar 4, 2010
  1. No commit message

    rgvwille committed Mar 4, 2010
Commits on Mar 3, 2010
  1. No commit message

    rgvwille committed Mar 3, 2010
Commits on Mar 2, 2010
  1. No commit message

    rgvwille committed Mar 2, 2010
Commits on Feb 28, 2010
  1. No commit message

    rgvwille committed Feb 28, 2010
  2. No commit message

    rgvwille committed Feb 28, 2010
  3. No commit message

    rgvwille committed Feb 28, 2010
Commits on Feb 24, 2010
  1. Work in process: performing full inlining during the hpt analysis, an…

    …d updating the hpt table as well.
    rgvwille committed Feb 24, 2010
Commits on Feb 19, 2010
  1. No commit message

    rgvwille committed Feb 19, 2010
Commits on Feb 9, 2010
  1. No commit message

    rgvwille committed Feb 9, 2010
  2. No commit message

    rgvwille committed Feb 9, 2010
  3. No commit message

    rgvwille committed Feb 9, 2010
  4. No commit message

    rgvwille committed Feb 9, 2010
  5. No commit message

    rgvwille committed Feb 9, 2010