You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Add Reference.pp_head_contents and Reference.equal_head_contents.
Remove Store.clear and replace it by Memory.clear, Memory.clear_all
and FS.remove. This let users have a finer control over the memory
consumption of the program over time (related to #90)
Rename all pp_hum functions into pp.
Fix regression in Sync.fetch and add unit-tests (running only in slow mode).
Fix reading of .git/HEAD when the contents is a commit hash.
Depends on Stringext for all the extra string function needed.