| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | Added `README.md` to the Turing machine example | Adrian Kummerlaender | |
| 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 | |||
| 2015-02-21 | Implemented basic Turing machine as an example | Adrian Kummerlaender | |
| * executes and prints the _Busy Beaver_ and _Mirror_ state transitions * this example demonstrates how one may use _TypeAsValue_ to simplify and augment normal statically recursive template metaprograms where it makes sense | |||
 |
index : TypeAsValue | |
| C++ compile time computation library using types as values and templates as functions | Gitolite user |
| aboutsummaryrefslogtreecommitdiff |