{"push_id":4096929012,"size":248,"distinct_size":248,"ref":"refs/heads/master","head":"8a94b2c47ea37a37fc6c82a83768163f90dd4369","before":"64960b1cc59095a9baf958fe50b5e35cccf89c48","commits":[{"sha":"2417369acc34eb333265700cfe77ac669962ddee","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Examples","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/2417369acc34eb333265700cfe77ac669962ddee"},{"sha":"8d8fe346ec9bb5bf1fffdacc2248e58f7a10d9bc","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Add one more example","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/8d8fe346ec9bb5bf1fffdacc2248e58f7a10d9bc"},{"sha":"44e448ef9ca0a1e930adc35ce56931716737f49a","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Add array domain that is split into three different values","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/44e448ef9ca0a1e930adc35ce56931716737f49a"},{"sha":"e1bf1e8f8297124fc416edb4a42a3cbb63ecfc19","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Add gitignore for goblint_temp_* folders","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/e1bf1e8f8297124fc416edb4a42a3cbb63ecfc19"},{"sha":"718835d5caa0bf498c4262b3eaa2e6996db2dc08","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Remove commented out code for other array domains","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/718835d5caa0bf498c4262b3eaa2e6996db2dc08"},{"sha":"b9f5d9bd81fe8164803b3fb7bcd3e3ef4c372f36","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Add code to array analysis that shows future structure","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/b9f5d9bd81fe8164803b3fb7bcd3e3ef4c372f36"},{"sha":"db9bcf1dbd8962f5de3dbaa76dc275b722a086db","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Remove incomplete pattern match warning","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/db9bcf1dbd8962f5de3dbaa76dc275b722a086db"},{"sha":"8e67ab7b1274f21909c78eb8673f9986be97b7d4","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Change simple fragmented to keep track of an additional value (will be expression later)","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/8e67ab7b1274f21909c78eb8673f9986be97b7d4"},{"sha":"b68f228f06b403ef9f8566db342c39000485454a","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Add additional comments","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/b68f228f06b403ef9f8566db342c39000485454a"},{"sha":"b36437d0b9797898f383a632362b94925a4b5a83","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Keep expression as the seperator","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/b36437d0b9797898f383a632362b94925a4b5a83"},{"sha":"09ffa769c86ef450cb64a1fdf1e294e30ab4e3b1","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Have an exp seperating the values","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/09ffa769c86ef450cb64a1fdf1e294e30ab4e3b1"},{"sha":"3d8ccb8632e80a4198e8c812371957e825d44b21","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Preserve original lval","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/3d8ccb8632e80a4198e8c812371957e825d44b21"},{"sha":"92210a4723e2c99f93006ba8d6b7ee9477da1002","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Pass expressions","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/92210a4723e2c99f93006ba8d6b7ee9477da1002"},{"sha":"ea47943bf53b71fbc94582ddcb5ced23ae40dd07","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Partition by just the part actually in []","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/ea47943bf53b71fbc94582ddcb5ced23ae40dd07"},{"sha":"e279431392283741a5c55a0bcc9eda8aeb86db23","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"add code for possibilities of left/right part being empty according to e","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/e279431392283741a5c55a0bcc9eda8aeb86db23"},{"sha":"9af952d6592c632d460e5e9567bdfc317edbaf1b","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"make get compatible with maybe partitioning by some other expression at a later stage","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/9af952d6592c632d460e5e9567bdfc317edbaf1b"},{"sha":"3b4f6fba35b0c4ab1343e62f36e7793178c324ab","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Steps towards adapting partition correctly when array changes","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/3b4f6fba35b0c4ab1343e62f36e7793178c324ab"},{"sha":"e3e42699f4f4ed8c9b55500162292b68aa7a3d8f","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Extract variables used in the expression to partition","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/e3e42699f4f4ed8c9b55500162292b68aa7a3d8f"},{"sha":"bff749ea528420660946525ed61dfb9a57ae39e9","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Add map to keep track of dependencies","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/bff749ea528420660946525ed61dfb9a57ae39e9"},{"sha":"641f18c16f20c39222d63f2ae66029d4d59cc19b","author":{"name":"Michael Schwarz","email":"002afe8b64400fa3cb5439d4dd87a0dc9a516d5f@gmail.com"},"message":"Adapt so expression used to split an array contains two vars","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/641f18c16f20c39222d63f2ae66029d4d59cc19b"}]}
{"actor":{"display_login":"michael-schwarz"}}