{"push_id":694021418,"size":25,"distinct_size":1,"ref":"refs/heads/typeDecList","head":"0cc7b9ec6af9168b910b604c5d4dc39b18e5acb7","before":"ef48c4750cbf6234d9bb1cae3a3e066ba908bbd2","commits":[{"sha":"d97ad4959b7431f014991e9b08815ebc75018501","author":{"email":"5dc2875a19cf1c71c282faabe4d2b928fdd979ec@illinois.edu","name":"xiaohe27"},"message":"add constants of type double","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/d97ad4959b7431f014991e9b08815ebc75018501"},{"sha":"b7e9e2c60c4d5ed66b045a3c3b3f0fd0737d8c0c","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"debug nextUp method","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/b7e9e2c60c4d5ed66b045a3c3b3f0fd0737d8c0c"},{"sha":"86f0c0831e56b6f104efcdb2be5fb53b63cda8c7","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"debug","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/86f0c0831e56b6f104efcdb2be5fb53b63cda8c7"},{"sha":"8a7d3d216f5d934f1b7c087355c8d4750cb618a1","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"nextUp ok","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/8a7d3d216f5d934f1b7c087355c8d4750cb618a1"},{"sha":"a1ffcd09ff4dd9b4dde52516f1a8d752ee302d47","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"nextUp and nextDown ok","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/a1ffcd09ff4dd9b4dde52516f1a8d752ee302d47"},{"sha":"7fecdfaf903af4e1a2c15901d561791fa9fc99b4","author":{"email":"5dc2875a19cf1c71c282faabe4d2b928fdd979ec@illinois.edu","name":"xiaohe27"},"message":"finish the main work of printing double value in default format","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/7fecdfaf903af4e1a2c15901d561791fa9fc99b4"},{"sha":"fe3cbfe175fa5b11aaea04c51e6531cee99cb961","author":{"email":"5dc2875a19cf1c71c282faabe4d2b928fdd979ec@illinois.edu","name":"xiaohe27"},"message":"debug","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/fe3cbfe175fa5b11aaea04c51e6531cee99cb961"},{"sha":"2bce043207ab68de965498fb371abeb7e8bfb4d4","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"add functions for printing double in default round mode","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/2bce043207ab68de965498fb371abeb7e8bfb4d4"},{"sha":"50b29340268262009cd6f38c8e134458c3d28466","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"minor update","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/50b29340268262009cd6f38c8e134458c3d28466"},{"sha":"935f6fb913a7d728efdd43f267e14684e771e878","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"ensure the functions work well, still need to check the method round","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/935f6fb913a7d728efdd43f267e14684e771e878"},{"sha":"5a97c9450db0e18757cb7b8facb6e10a37386636","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"debug ok","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/5a97c9450db0e18757cb7b8facb6e10a37386636"},{"sha":"648aab1451a11a5a631aab55fc3f283dd34846b9","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"pass the test float_22_numeric_ops.java","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/648aab1451a11a5a631aab55fc3f283dd34846b9"},{"sha":"ce284524de939da818bf57cd4ef486515bd5425d","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"clear debugging info","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/ce284524de939da818bf57cd4ef486515bd5425d"},{"sha":"838c8b197d2c0af16c487f3b25a7e88f8132a5a0","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"move the math related stuff to a new module","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/838c8b197d2c0af16c487f3b25a7e88f8132a5a0"},{"sha":"37f373d62c1d91361009e35232ad0612ba1b7d7d","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"make it compile","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/37f373d62c1d91361009e35232ad0612ba1b7d7d"},{"sha":"61d404bf468a7c95d5fad245aae6f565c7c7cc26","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"test -0.0","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/61d404bf468a7c95d5fad245aae6f565c7c7cc26"},{"sha":"b4cdf872ce0304b708f237ac4bf3f6a04016eb0e","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"update the range of double which are printed as decimal floating number","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/b4cdf872ce0304b708f237ac4bf3f6a04016eb0e"},{"sha":"c27f8f2367e3e3a5cd311e3b3ec74c78c0f91a91","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"update javaDouble2String method","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/c27f8f2367e3e3a5cd311e3b3ec74c78c0f91a91"},{"sha":"d40cf330a590aa95248db0dc3a8499258a6566e2","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"changed a lot in the implementation of javaDouble2String: ensure the printed double's corresponding double value is > nextDown and < nextUp, and only keep necessary digits after decimal points","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/d40cf330a590aa95248db0dc3a8499258a6566e2"},{"sha":"6e0836967c8e0c8b2f358408c3accaeb994f776f","author":{"email":"646f86ff739145d11815845c694ce2a7d5b17541@gmail.com","name":"xiaohe27"},"message":"debug ok","distinct":false,"url":"https://api.github.com/repos/kframework/java-semantics/commits/6e0836967c8e0c8b2f358408c3accaeb994f776f"}]}