summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* cleanupGregor Kleen2016-07-28
|
* Switch from monoid to foldable containerGregor Kleen2016-07-28
|
* 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
| | | | Fixes lack of fixpoint
* 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