Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
Blame Permalink
  • Giovanni Bussi's avatar
    43374a25
    Optimized OFile · 43374a25
    Giovanni Bussi authored 
    Removed many scans of the output buffer by keeping trace of buffer length.
Time needed to write a long line with a sequence of file.printf() is
now linear with line length. Before it was quatradic, causing problems
especially when logging huge atom lists at startup.
    43374a25
    History
    Optimized OFile
    Giovanni Bussi authored 
    Removed many scans of the output buffer by keeping trace of buffer length.
Time needed to write a long line with a sequence of file.printf() is
now linear with line length. Before it was quatradic, causing problems
especially when logging huge atom lists at startup.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.