summaryrefslogtreecommitdiff
path: root/events/src
Commit message (Expand)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
* Seperated non-value rec. into own layer of stateGregor Kleen2016-04-17
* Specifications to be evaluatedGregor Kleen2016-04-16
* Now tracking event under construction in stateGregor 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
* FrameworkGregor Kleen2016-04-05