summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* NDT – nondeterminism with monotonous pruningGregor Kleen2016-06-01
* efficiencyGregor Kleen2016-05-27
* Dynamically compute commandsGregor Kleen2016-05-27
* Attempt at turning on profiling failedGregor Kleen2016-04-17
* Seperated non-value rec. into own layer of stateGregor Kleen2016-04-17
* profilingGregor Kleen2016-04-16
* Specifications to be evaluatedGregor Kleen2016-04-16
* dependency updateGregor Kleen2016-04-16
* Now tracking event under construction in stateGregor Kleen2016-04-16
* More precise version rangeGregor Kleen2016-04-16
* More sensible nomenclatureGregor Kleen2016-04-16
* Made context mutable during interpretationGregor Kleen2016-04-16
* cleanupGregor Kleen2016-04-16
* Introduced some typesGregor Kleen2016-04-16
* Include dependencies in shellGregor Kleen2016-04-16
* TyposGregor Kleen2016-04-06
* FrameworkGregor Kleen2016-04-05