{"push_id":549794630,"size":2,"distinct_size":2,"ref":"refs/heads/pvj/main","head":"b74d3968bcbfb6b79ca84b871ed129d4d71f0bf3","before":"366f9319fad8a1d79d323d66140dca6386e7fea2","commits":[{"sha":"b29cb322396beafb683efbbebefa0b0ebd2394e4","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","name":"Peter Joergensen"},"message":"Added the charset (used to encode the VDM files) as argument to the parse methods in the ParserUtil class.\n\nThe TypeCheckerUtil class (still) relies on the default charset","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/b29cb322396beafb683efbbebefa0b0ebd2394e4"},{"sha":"b74d3968bcbfb6b79ca84b871ed129d4d71f0bf3","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","name":"Peter Joergensen"},"message":"core/codegn now passes the charset of the VDM file","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/b74d3968bcbfb6b79ca84b871ed129d4d71f0bf3"}]}