{"push_id":985133237,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c1b94ad7d1eff0943bb79f6e014d3f4f04588135","before":"1bc1d10f3bb2d5e17354b595ec2f4cc504c20d5b","commits":[{"sha":"c1b94ad7d1eff0943bb79f6e014d3f4f04588135","author":{"email":"65ebdba617161c39b24b5a797c738a0ac09d8c97@alum.mit.edu","name":"Nada Amin"},"message":"redoing from F to D, following tech report sequence. fsub.v based on fsub0.v from 2015, while closer to model on paper. still missing transitivity pushback like fsub0.","distinct":true,"url":"https://api.github.com/repos/TiarkRompf/minidot/commits/c1b94ad7d1eff0943bb79f6e014d3f4f04588135"}]}