{"push_id":1101028949,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3f98769c5cdf5a57fe2849fc1772dbecdd498b68","before":"5978342d71db7d1bca162962c70e6fcdd5c1e96c","commits":[{"sha":"3f98769c5cdf5a57fe2849fc1772dbecdd498b68","author":{"email":"bcbac1c0a0e47c5c7b9ad8fc5ccba8dfcff202b6@inria.fr","name":"Xavier Leroy"},"message":"ValueAnalysis: use ZTrees instead of ZMaps for abstracting contents of memory blocks\n\nTrees are slightly more efficient than Maps, and avoid maintaining the invariant on the default value.\n\nlib/Maps: add a generic construction of a (partial) Tree module from an indexed type; use it to define ZTrees (trees indexed by Z integers).","distinct":true,"url":"https://api.github.com/repos/AbsInt/CompCert/commits/3f98769c5cdf5a57fe2849fc1772dbecdd498b68"}]}