{"push_id":2379469601,"size":7,"distinct_size":2,"ref":"refs/heads/jmlupdate","head":"fef70261e217a4d88d48593c7d549a694ada72a0","before":"3fe290ed577c5dcf85ccb0e798bcdad839a1acf8","commits":[{"sha":"0d1d77cbda55cf839a0c1230641c82e793d4be4e","author":{"name":"davidcok","email":"8e89150569b8195d58acc5a5b65f996da11ff563@frontiernet.net"},"message":"typo improvements for CH. 1","distinct":false,"url":"https://api.github.com/repos/acsl-language/acsl/commits/0d1d77cbda55cf839a0c1230641c82e793d4be4e"},{"sha":"3afb75b87724a5c7bcb36caa6689e8fba0ed4a73","author":{"name":"Virgile Prevosto","email":"3c9bc5d0877fb563c98cb50828094f5b6022f912@m4x.org"},"message":"[makefile] fix missing dependency over biblio","distinct":false,"url":"https://api.github.com/repos/acsl-language/acsl/commits/3afb75b87724a5c7bcb36caa6689e8fba0ed4a73"},{"sha":"90fefc0394d5a123cdf7fa2f069dd4164e18a7cc","author":{"name":"Virgile Prevosto","email":"3c9bc5d0877fb563c98cb50828094f5b6022f912@m4x.org"},"message":"[biblio] Add missing reference to OpenJML","distinct":false,"url":"https://api.github.com/repos/acsl-language/acsl/commits/90fefc0394d5a123cdf7fa2f069dd4164e18a7cc"},{"sha":"d9f4ba6ce6de91826ddf471b4897e65d067a993a","author":{"name":"Virgile Prevosto","email":"3c9bc5d0877fb563c98cb50828094f5b6022f912@m4x.org"},"message":"[annotations] Precise that multi-line annotations can't use several //@","distinct":false,"url":"https://api.github.com/repos/acsl-language/acsl/commits/d9f4ba6ce6de91826ddf471b4897e65d067a993a"},{"sha":"24c9a37850549ab79c4d4b865f4c58045384ce87","author":{"name":"Virgile Prevosto","email":"3c9bc5d0877fb563c98cb50828094f5b6022f912@m4x.org"},"message":"Merge pull request #29 from acsl-language/typos\n\ntypo improvements for CH. 1","distinct":false,"url":"https://api.github.com/repos/acsl-language/acsl/commits/24c9a37850549ab79c4d4b865f4c58045384ce87"},{"sha":"ea62150d6f89f249428d667e40e61b65e91d16a2","author":{"name":"davidcok","email":"8e89150569b8195d58acc5a5b65f996da11ff563@frontiernet.net"},"message":"Adding bib entries for OpenJML and ESC/Java2","distinct":true,"url":"https://api.github.com/repos/acsl-language/acsl/commits/ea62150d6f89f249428d667e40e61b65e91d16a2"},{"sha":"fef70261e217a4d88d48593c7d549a694ada72a0","author":{"name":"davidcok","email":"8e89150569b8195d58acc5a5b65f996da11ff563@frontiernet.net"},"message":"Updating and correcting discussion of JML","distinct":true,"url":"https://api.github.com/repos/acsl-language/acsl/commits/fef70261e217a4d88d48593c7d549a694ada72a0"}]}
{"actor":{"display_login":"vprevosto"}}