{"ref":"v0.1-popl19-submitted","ref_type":"tag","master_branch":"master","description":"Synthesis of Heap-Manipulating Programs from Separation Logic","pusher_type":"user"}
{"actor":{"display_login":"ilyasergey"}}