{"push_id":1159595323,"size":225,"distinct_size":225,"ref":"refs/heads/apron","head":"997c1e99cf05b523834c50a732ccf307b7ff6860","before":"09ec4c3e8de0ef32aa4b6557b8741e1c3d442fdf","commits":[{"sha":"6f794a3744d18c3a3c2cbb185ed922fbc276f4f1","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Added relational struct domain, which uses equations similar to the relational int domain using equations","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/6f794a3744d18c3a3c2cbb185ed922fbc276f4f1"},{"sha":"f8d5c51797639f441f3d7cb506ccf4f17a0f13d3","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"fixed joins of equations","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/f8d5c51797639f441f3d7cb506ccf4f17a0f13d3"},{"sha":"01c37cc4807a4b3e7d4b7b7b9c42e4fc91e73e7f","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Fixed that equations are updated when one variable value was known before, but is not known anymore (example half returned struct)","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/01c37cc4807a4b3e7d4b7b7b9c42e4fc91e73e7f"},{"sha":"59ef9422de0384536bf9744550e472b4512aa8a1","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Now loop at least endless and not over without looping even one time..","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/59ef9422de0384536bf9744550e472b4512aa8a1"},{"sha":"bd613efda17ce897d3013f14ae0a6f3935d7420c","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Loops now endless, but with senseful values","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/bd613efda17ce897d3013f14ae0a6f3935d7420c"},{"sha":"4ecb7d1db461ddfb1346bdca7e56eb340068282f","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Return only values of returned struct","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/4ecb7d1db461ddfb1346bdca7e56eb340068282f"},{"sha":"982cd246202b4f5d0687f25206c17981248ed0f1","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Returning and params of functions with global variables should work now","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/982cd246202b4f5d0687f25206c17981248ed0f1"},{"sha":"9c11fb36eca963cd503567e9f5822f5f406438e6","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Added again some outprints in invariant and fixed query system when using relational values","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/9c11fb36eca963cd503567e9f5822f5f406438e6"},{"sha":"7b3438dfe70ce210933648259017656f8b7fee45","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Upload folder 21 for testing relational information and removed out prints","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/7b3438dfe70ce210933648259017656f8b7fee45"},{"sha":"6a7aea8ad0d28e078c1755f9584e368f98135ad7","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Fixed assignment of complete structs (ex: S a; S b; b = a)","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/6a7aea8ad0d28e078c1755f9584e368f98135ad7"},{"sha":"794a300a1fd0a212894042bb5a938226bdf406bf","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Changed equations to equation map and implemented lattice signature. But fixpoint and loop problem still exist.","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/794a300a1fd0a212894042bb5a938226bdf406bf"},{"sha":"72cf3e36f8673d00ecdd14f8c27b1f130dc043b7","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Refactored both relational struct and int domain, int domain works fine, relational struct domain still endless loop","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/72cf3e36f8673d00ecdd14f8c27b1f130dc043b7"},{"sha":"16ea9309a9da80c51cc12b5d2224b7635aef25fb","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Removed unnecessary implementations of lattice functions","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/16ea9309a9da80c51cc12b5d2224b7635aef25fb"},{"sha":"c90c9ddafdf47f38afb8b8744ddfff56648d27e1","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Adjusted and added some tests","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/c90c9ddafdf47f38afb8b8744ddfff56648d27e1"},{"sha":"a32fd9b1908ee607db5911e6e3274f74384e9b14","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Rebased","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/a32fd9b1908ee607db5911e6e3274f74384e9b14"},{"sha":"1b529133e33d350b644d478f4e153cb7425d403e","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Fixed renaming of variables","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/1b529133e33d350b644d478f4e153cb7425d403e"},{"sha":"c4ab595ff9dd7bb92c7d7ca41249985c766b03d6","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Fixed whole struct assignment with apron","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/c4ab595ff9dd7bb92c7d7ca41249985c766b03d6"},{"sha":"fba65a471d62d191a4fecb49a7f26dde8bfac3d0","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Fixed problem of variables being top before return, if, for , etc.","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/fba65a471d62d191a4fecb49a7f26dde8bfac3d0"},{"sha":"ad2291bc086582a111b42c7f5b3b4d2b25169701","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Fixed build error with apron","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/ad2291bc086582a111b42c7f5b3b4d2b25169701"},{"sha":"68047c7d7cf4abb0f6793c2180a1fbb7bc04ae3d","author":{"name":"Isabel Max","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@isabelmax.de"},"message":"Fixed return struct","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/68047c7d7cf4abb0f6793c2180a1fbb7bc04ae3d"}]}
{"actor":{"display_login":"vogler"}}