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
Replace the Oz pickler/unpickler by the C++ version
* Much faster and the C++ pickler should be as complete.
* The only difference is the order of pickling entities:
* The Oz pickler first pickles values, then literals, arities,
the rest except abstractions/chunks and finally abstractions/chunks.
* The C++ pickles first pickles values and literals together,
then arities and finally the rest.
* The number of bytes produced should always be identical,
only the order and indexes of entities might change.
0 commit comments