On Saturday, June 2, 2018 at 12:17:34 PM UTC-5, Edward K. Ream wrote: > > A lot of work remains, and times will increase a bit. >
Rev b2f5b3a7e fixes some serious bugs that short-circuited way too much. As a result, the load times have doubled: files: 44, lines: 69324, tot time: 0.071 sec Rev b3c09e98b adds a disabled trace that shows that the number of non-short-circuited lines is as expected. Imo, this shows that the latest stats are in the ballpark. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
