{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"aufover-benchmark","owner":"aufover","isFork":false,"description":"Collection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":3,"issueCount":3,"starsCount":5,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-15T07:01:13.347Z"}},{"type":"Public","name":"rpm-symbiotic","owner":"aufover","isFork":false,"description":"RPM packaging of staticafi/symbiotic","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-02T12:21:51.847Z"}},{"type":"Public","name":"ldpwrap","owner":"aufover","isFork":false,"description":"A shared library that can be preloaded to instrument the main() function of programs being executed","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-02T07:19:55.697Z"}},{"type":"Public","name":"rpm-gllvm","owner":"aufover","isFork":false,"description":"RPM packaging of SRI-CSL/gllvm","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-05T10:43:08.536Z"}},{"type":"Public","name":"cbmc-utils","owner":"aufover","isFork":false,"description":"Output conversion utilities for CBMC","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":1,"license":"BSD 4-Clause \"Original\" or \"Old\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-10T08:41:14.769Z"}},{"type":"Public","name":"experiments","owner":"aufover","isFork":false,"description":"Experiments with `csmock` and tools for formal verification","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-01T15:12:07.449Z"}},{"type":"Public","name":"rpm-divine","owner":"aufover","isFork":false,"description":"RPM packaging of paradise-fi/divine","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-09T17:28:09.542Z"}},{"type":"Public","name":"experesults","owner":"aufover","isFork":false,"description":"Results of experiments within the aufover project","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-18T09:08:40.572Z"}}],"repositoryCount":8,"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":"aufover repositories"}