Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | cleanup | Gregor Kleen | 2016-08-05 |
| | |||
* | drop interpret – it was useless | Gregor Kleen | 2016-08-05 |
| | |||
* | linting | Gregor Kleen | 2016-08-05 |
| | |||
* | formulate interpret as a Sink | Gregor Kleen | 2016-08-05 |
| | |||
* | cleanup | Gregor Kleen | 2016-08-05 |
| | |||
* | rename lifting | Gregor Kleen | 2016-08-05 |
| | |||
* | Better variadic lifting of builtins | Gregor Kleen | 2016-08-05 |
| | |||
* | Initial work on builtin constants | Gregor Kleen | 2016-08-05 |
| | |||
* | framework for parsing Specs | Gregor Kleen | 2016-07-31 |
| | |||
* | More specific reference | Gregor Kleen | 2016-07-31 |
| | |||
* | Lambda calculus for computing events at runtime | Gregor Kleen | 2016-07-31 |
| | |||
* | cleanup | Gregor Kleen | 2016-07-30 |
| | |||
* | code cleanup | Gregor Kleen | 2016-07-30 |
| | |||
* | cleanup | Gregor Kleen | 2016-07-28 |
| | |||
* | Switch from monoid to foldable container | Gregor Kleen | 2016-07-28 |
| | |||
* | NDT – nondeterminism with monotonous pruning | Gregor Kleen | 2016-06-01 |
| | |||
* | efficiency | Gregor Kleen | 2016-05-27 |
| | |||
* | Dynamically compute commands | Gregor Kleen | 2016-05-27 |
| | |||
* | Attempt at turning on profiling failed | Gregor Kleen | 2016-04-17 |
| | |||
* | Seperated non-value rec. into own layer of state | Gregor Kleen | 2016-04-17 |
| | | | | Fixes lack of fixpoint | ||
* | profiling | Gregor Kleen | 2016-04-16 |
| | |||
* | Specifications to be evaluated | Gregor Kleen | 2016-04-16 |
| | |||
* | dependency update | Gregor Kleen | 2016-04-16 |
| | |||
* | Now tracking event under construction in state | Gregor Kleen | 2016-04-16 |
| | |||
* | More precise version range | Gregor Kleen | 2016-04-16 |
| | |||
* | More sensible nomenclature | Gregor Kleen | 2016-04-16 |
| | |||
* | Made context mutable during interpretation | Gregor Kleen | 2016-04-16 |
| | |||
* | cleanup | Gregor Kleen | 2016-04-16 |
| | |||
* | Introduced some types | Gregor Kleen | 2016-04-16 |
| | |||
* | Include dependencies in shell | Gregor Kleen | 2016-04-16 |
| | |||
* | Typos | Gregor Kleen | 2016-04-06 |
| | |||
* | Framework | Gregor Kleen | 2016-04-05 |