{"payload":{"header_redesign_enabled":false,"results":[{"id":"81098176","archived":false,"color":"#64C800","followers":15,"has_funding_file":false,"hl_name":"NVlabs/litmustestgen","hl_trunc_description":"Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)","language":"Alloy","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":81098176,"name":"litmustestgen","owner_id":2695301,"owner_login":"NVlabs","updated_at":"2024-01-26T14:59:31.293Z","has_issues":true}},"sponsorable":false,"topics":[],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":63,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253ANVlabs%252Flitmustestgen%2B%2Blanguage%253AAlloy","metadata":null,"csrf_tokens":{"/NVlabs/litmustestgen/star":{"post":"v0KJZKQQ0x04F3LsV3-d8ssxrBjMO6f9rokQz_mGDY9WINu_G5v9cLrip8m-wUVL9DX401DTmvrA8QbVZq52mQ"},"/NVlabs/litmustestgen/unstar":{"post":"dEzg8fy_CbLMQmb-493tT2JRIujLUXlbaJN-yqwKQzzvpuBKg6RY2fL81vYkKIflejesF8vrNej1BFfUCttMow"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"ZrgvwTQ2jbT_B9zA4cE5McArxUu5qiEcaLRqVRVNIzHZyeHJNoO-g52N3HL5bKJwix2lAU69D1qV7-zp5KdAqg"}}},"title":"Repository search results"}