"colibri2/theories/git@git.frama-c.com:pub/colibrics.git" did not exist on "5c75667a150834e329b9c40751cdc061d9ddc2e8"
-
David Bühler authored
Do not add a unique id into the origin datatype, as this interacts badly with hashconsing. Instead, binds each origin to a unique id in the global table used to record garbled mix history.
David Bühler authoredDo not add a unique id into the origin datatype, as this interacts badly with hashconsing. Instead, binds each origin to a unique id in the global table used to record garbled mix history.
