Revision 48b3df6da325ddde0722b5edc5eed01cf2ce0104 authored by Martijn Courteaux on 04 August 2023, 17:00:41 UTC, committed by GitHub on 04 August 2023, 17:00:41 UTC
* From 12s to 2s, by eliminating the bulk of the $() calls. * Speed up recursive depth function by not using jQuery. * Changed out CodeMirror for Speed-Highlight. Additionally several fixes regarding the StmtViz. --------- Co-authored-by: Steven Johnson <srj@google.com>
1 parent bc30d6f
Computing file changes ...