{"push_id":964052316,"size":19,"distinct_size":0,"ref":"refs/heads/esystems","head":"4c80ff06b6e0dc0ae6bcd9381c67370ccf8db9fb","before":"01612406a994c21024a805968bc5b460ea4e422f","commits":[{"sha":"53ddf185c9a678d68368136259f3285c6b7ebadd","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge branch 'master' of github.com:Andromedans/andromeda","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/53ddf185c9a678d68368136259f3285c6b7ebadd"},{"sha":"b511a3c895bca1e3233616b684bc81562534de8f","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Comment equality checking in `std`.","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/b511a3c895bca1e3233616b684bc81562534de8f"},{"sha":"04559fdbed8c0502a7252ed7114807426a661d0f","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Update natural numbers","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/04559fdbed8c0502a7252ed7114807426a661d0f"},{"sha":"fe3871fe98946e940ad33f0624dc967142754207","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"Condense code, fix error in instantiation (assumptions weren't deep)","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/fe3871fe98946e940ad33f0624dc967142754207"},{"sha":"67b03cc5de9c5f1fe9b5da5e5033b893193870c4","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"Merge pull request #171 from andrejbauer/fix-structures\n\nFix structure checking mode","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/67b03cc5de9c5f1fe9b5da5e5033b893193870c4"},{"sha":"2cb439171c3f8e038076b0505c304e8f775f19e2","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge branch 'master' of github.com:Andromedans/andromeda","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/2cb439171c3f8e038076b0505c304e8f775f19e2"},{"sha":"7d1c5a682dd84f11dca97708fefedcd9c2fb6f44","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Fix printing of projections.","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/7d1c5a682dd84f11dca97708fefedcd9c2fb6f44"},{"sha":"deb5ed5c313661af29771426d651a0ebc70c36c1","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"return natural type of atom in as_atom (less confusing errors)","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/deb5ed5c313661af29771426d651a0ebc70c36c1"},{"sha":"8dcc3100da2f3b5ec9238807a1ea863d048b3539","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Merge pull request #170 from SkySkimmer/fixes\n\nCondense code, fix error in instantiation (assumptions weren't deep)","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/8dcc3100da2f3b5ec9238807a1ea863d048b3539"},{"sha":"75be9296bcdfdeb6b471ebae5f6e6cfb2b19324f","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"better equality checking (fails when going under binders)","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/75be9296bcdfdeb6b471ebae5f6e6cfb2b19324f"},{"sha":"37ecaab513935390c5b6e52672acc229190f3094","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"rename module Judgement to shorter Jdg","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/37ecaab513935390c5b6e52672acc229190f3094"},{"sha":"3b0bc6c09c88e7d65826c1d3bd608a31f32ec857","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"use Value.mk_term even inside value.ml, make Jdg types private","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/3b0bc6c09c88e7d65826c1d3bd608a31f32ec857"},{"sha":"8f01a6ca4c6f1ff42a0cb8014fdeb99e03935df7","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"Jdg.strengthen, use it in Equal.mk_term","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/8f01a6ca4c6f1ff42a0cb8014fdeb99e03935df7"},{"sha":"38dcb46c237fe9aa8411b9030fafb5974e4cefa4","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"stop trying to be smart in Equal.as_*","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/38dcb46c237fe9aa8411b9030fafb5974e4cefa4"},{"sha":"838f10e8ef9ea6291512d25a565d46fcfa388db7","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"Fix Not_found error, smaller test for it, validate fixed structure check test","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/838f10e8ef9ea6291512d25a565d46fcfa388db7"},{"sha":"985384a27b44183cd7791d765afd0b04e65493b7","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"Merge remote-tracking branch 'andrej/comment-std' into restrict","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/985384a27b44183cd7791d765afd0b04e65493b7"},{"sha":"d79ac6d85c3e6c46b20c7d4be7e7c62debff4634","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge pull request #174 from SkySkimmer/restrict\n\nStrong judgements in values, better equality checking","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/d79ac6d85c3e6c46b20c7d4be7e7c62debff4634"},{"sha":"6758e5336596ec69e9f3c1189178fc2d1b49389c","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge branch 'master' of github.com:Andromedans/andromeda","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/6758e5336596ec69e9f3c1189178fc2d1b49389c"},{"sha":"4c80ff06b6e0dc0ae6bcd9381c67370ccf8db9fb","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge branch 'master' into esystems","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/4c80ff06b6e0dc0ae6bcd9381c67370ccf8db9fb"}]}