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
{{ message }}
This repository was archived by the owner on Jan 31, 2020. It is now read-only.
Currently unsure whether this should be pursued (so that doing the same operations with forced timestamps generates identical files every time). Issues:
The order in which elements are written in a snapshot is determined by hashmap order, which is randomised each session. Easy to fix.
The order of parents in a merge commit is not fixed, nor is the order in which stuff gets merged when there are more than two heads. This is entirely due to how heads get selected in a partition; the merge machinery itself should be deterministic.
The order of the changes in a commit is written depends on hashmap ordering
Element identifiers are generated randomly. Does this require synchronising random number streams?
The text was updated successfully, but these errors were encountered:
MutStateT::insert_initial(...) allows use of an external source of randomness. Related changes may occur (#49) but the change fixes part of this issue.
Currently unsure whether this should be pursued (so that doing the same operations with forced timestamps generates identical files every time). Issues:
The text was updated successfully, but these errors were encountered: