optimize construction of query hashes ... the classic fold_left+cons+list reversal actually makes a huge difference here, with lists of 100k elements; goes from 450ms per query to about 15ms and changes to overall replay time for long files like FStar.Pointer.Base from 4.5min to 1min
optimize construction of query hashes ... the classic fold_left+cons+list reversal actually makes a huge difference here, with lists of 100k elements; goes from 450ms per query to about 15ms and changes to overall replay time for long files like FStar.Pointer.Base from 4.5min to 1min

FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar