| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-03-15 | Updated _Turing machine_ comments to reflect tape loggingHEADmaster | Adrian Kummerlaender | |
| 2015-03-14 | Implemented basic tape log printout in _Turing_ example | Adrian Kummerlaender | |
| * `machine::simulate` now returns a list of all tape states and corresponding head positions * rewrote some of the actual print logic in terms _TypeAsValue_ | |||
| 2015-02-24 | Replaced `utility::defer_eval` with placeholder-less `Apply` | Adrian Kummerlaender | |
| * usage of `Apply` sans placeholders was already possible and as such duplicated `utility::defer_eval` * renamed `apply_none`'s type alias from to `type` to enable combining it with `Eval` | |||
| 2015-02-23 | Added binary incrementer state table to Turing machine example | Adrian Kummerlaender | |
| * reintroduced `BLANK` as the _BLANK_ symbol * fixed implicit tape expansion in `tape::readSymbol` | |||
| 2015-02-22 | Improved `simulate` function of the Turing machine example | Adrian Kummerlaender | |
| * introduced `state::state_accessor` helper function and moved position logic into `updatePosition` * added `IsEqual` comparator and expressed other basic comparators in terms of itself | |||
| 2015-02-21 | Moved Turing machine printing into separate function | Adrian Kummerlaender | |
| 2015-02-21 | Separated Turing machine implementation into components | Adrian Kummerlaender | |
| * i.e. separate namespaces and headers for _Tape_ and _State_ functions * `void` is now used as the `BLANK` field value | |||
 |
index : TypeAsValue | |
| C++ compile time computation library using types as values and templates as functions | Gitolite user |
| aboutsummaryrefslogtreecommitdiff |