{"push_id":2529766290,"size":1,"distinct_size":1,"ref":"refs/heads/smowton/feature/fallback-function-provider","head":"944c4bc53f5ec52b366dc8b036e1dc84ec9145b0","before":"26355b137632d50facf3380474a258c1a7419d0e","commits":[{"sha":"944c4bc53f5ec52b366dc8b036e1dc84ec9145b0","author":{"name":"Chris Smowton","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@smowton.net"},"message":"Lazy goto model: hook for driver program to replace or stub functions\n\nThis provides a hook for the driver program to either replace a method outright, or to provide a\nstub implementation when a function body cannot be provided by the language frontend (language_filest).","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/944c4bc53f5ec52b366dc8b036e1dc84ec9145b0"}]}
{"actor":{"display_login":"smowton"}}