summaryrefslogtreecommitdiff
path: root/events
Commit message (Collapse)AuthorAge
* Dynamically compute commandsGregor Kleen2016-05-27
|
* Seperated non-value rec. into own layer of stateGregor Kleen2016-04-17
| | | | Fixes lack of fixpoint
* 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
|
* TyposGregor Kleen2016-04-06
|
* FrameworkGregor Kleen2016-04-05