tree a97efe5774f10130960780b015a14f9b1e6167bf
parent 4c98c971b838645416d7bac9de4e8a4d44e9d584
author Niels <niels.lohmann@gmail.com> 1469194485 +0200
committer Niels <niels.lohmann@gmail.com> 1469194485 +0200

minor changes

- fixed a bug that did not discard strings with control characters
between 0x10 and 0x1f
- added termination proofs for two important loops
- made get_ref() constexpr