{"push_id":2544830453,"size":2,"distinct_size":2,"ref":"refs/heads/language-info","head":"b3097622d2c3f33ec9d8e56251927645c3e248f3","before":"2b754f4811c66689f046c57f8b91db1a25feec7c","commits":[{"sha":"1db07f36f03f8dbb00a22896e7dc23a5ff7a45b6","author":{"name":"Peter Schrammel","email":"644cd02e1403dc68fa4d3b6ae4171f513505ac80@diffblue.com"},"message":"Factor out language_infot from languaget\n\nPreviously, using language-specific methods such as\nfrom_expr() required creating a new languaget instance\nwhich could be potentially costly.\nThis commit introduces a language_infot class that offers\nlanguage-specific methods that don't require parsing\nfunctionality. language_infot is now used for language\nregistration (instead of language_entryt). The immutable\nregistered *_language_infot instances are shared among the\ncorresponding *_languaget instances that are requested by\nthe get_language_from_* functions.","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/1db07f36f03f8dbb00a22896e7dc23a5ff7a45b6"},{"sha":"b3097622d2c3f33ec9d8e56251927645c3e248f3","author":{"name":"Peter Schrammel","email":"644cd02e1403dc68fa4d3b6ae4171f513505ac80@diffblue.com"},"message":"Remove conditional inclusion of JSIL","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/b3097622d2c3f33ec9d8e56251927645c3e248f3"}]}
{"actor":{"display_login":"peterschrammel"}}