{"shas":[["b866462e199ed64ef45c9d566d7167f6dd6563af","b15c342f1de186996bcca5e1a23cd684d2fadb32@unstable.nl","fixed untested agenda operations","andreasvc"],["5be8d266abe2bec2d7f152e6818a33e53faebe00","b15c342f1de186996bcca5e1a23cd684d2fadb32@unstable.nl","grammar: discontinuities now go to eleven!\nestimates: unsigned integers are a bad idea\nthis fixes the problem of suboptimal derivations when using estimates,\nbut still doesn't give the expected speedup.","andreasvc"],["f330335d377af84c40170820bffa4323a10a8110","b15c342f1de186996bcca5e1a23cd684d2fadb32@unstable.nl","Merge branch 'master' of github.com:andreasvc/disco-dop","andreasvc"]],"ref":"refs/heads/master","size":3,"head":"f330335d377af84c40170820bffa4323a10a8110","push_id":35932766}