{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"alive2","owner":"AliveToolkit","isFork":false,"description":"Automatic verification of LLVM optimizations","topicNames":["symbolic-execution","model-checking","smt","llvm-ir","automatic-verification","llvm","verification","translation-validation"],"topicsNotShown":0,"allTopics":["symbolic-execution","model-checking","smt","llvm-ir","automatic-verification","llvm","verification","translation-validation"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":60,"starsCount":700,"forksCount":88,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T16:19:20.442Z"}}],"repositoryCount":1,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}