History log of /seL4-l4v-10.1.1/HOL4/src/prekernel/Coding.sml
Revision Date Author Comments
# 689b9eb3 14-Apr-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix terrible performance when reading large strings with Coding

Repeatedly calling String.extract to get the rest of the string as one
progresses along it is a disaster. New code keeps an integer to track
how far along the string the reader is.


# e145b94c 04-Apr-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Move useful Coding module earlier in build sequence