{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"ultimate","owner":"ultimate-pa","isFork":false,"description":"The Ultimate program analysis framework.","topicNames":["automata","ltl","reachability","model-checking","software-analysis","program-analysis","termination"],"topicsNotShown":0,"allTopics":["automata","ltl","reachability","model-checking","software-analysis","program-analysis","termination"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":7,"issueCount":209,"starsCount":184,"forksCount":40,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T16:41:17.545Z"}},{"type":"Public","name":"smtinterpol","owner":"ultimate-pa","isFork":false,"description":"SMTInterpol interpolating SMT solver","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":2,"issueCount":28,"starsCount":59,"forksCount":17,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-26T11:10:36.669Z"}},{"type":"Public","name":"hanfor","owner":"ultimate-pa","isFork":false,"description":"Hanfor helps analyzing and formalizing requirements.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":2,"issueCount":37,"starsCount":9,"forksCount":3,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T09:07:39.962Z"}},{"type":"Public","name":"benchexec","owner":"ultimate-pa","isFork":true,"description":"BenchExec: A Framework for Reliable Benchmarking and Resource Measurement","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":191,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-29T19:15:34.161Z"}},{"type":"Public","name":"sv-comp","owner":"ultimate-pa","isFork":true,"description":"Information to reproduce results from SV-COMP","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":51,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-23T22:00:02.878Z"}},{"type":"Public","name":"smt-benchmarks","owner":"ultimate-pa","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-30T14:04:53.964Z"}},{"type":"Public","name":"VEWIT2023-ConcurrencyGhosts","owner":"ultimate-pa","isFork":false,"description":"Concurrency Correctness Witnesses with Ghosts - 1st Workshop on Verification Witnesses and Their Validation (VeWit 2023)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-15T11:51:31.469Z"}},{"type":"Public","name":"javacup","owner":"ultimate-pa","isFork":false,"description":"Java Cup Parser Generator","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":20,"forksCount":11,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-08T06:15:45.491Z"}},{"type":"Public","name":"sv-benchmarks","owner":"ultimate-pa","isFork":true,"description":"Collection of Verification Tasks","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":169,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-15T10:37:44.284Z"}},{"type":"Public","name":"smtcoq","owner":"ultimate-pa","isFork":true,"description":"Communication between Coq and SAT/SMT solvers","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":43,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-09T11:37:03.304Z"}},{"type":"Public","name":"automata-benchmarks","owner":"ultimate-pa","isFork":false,"description":"Automata benchmarks that we use to evaluate our automata library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-22T13:02:39.419Z"}},{"type":"Public","name":"ultimate-benchmarks","owner":"ultimate-pa","isFork":false,"description":"","topicNames":["benchmarking","benchmark","automata","ltl","reachability","model-checking","software-analysis","program-analysis","termination","ultimate"],"topicsNotShown":1,"allTopics":["benchmarking","benchmark","automata","ltl","reachability","model-checking","software-analysis","program-analysis","termination","ultimate","benchmark-suite"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-13T07:23:40.481Z"}},{"type":"Public","name":"star-exec-presenter","owner":"ultimate-pa","isFork":true,"description":"presentation platform for star-exec written in Haskell and based upon Yesod","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-04T15:08:02.301Z"}},{"type":"Public","name":"ultimate-overlay","owner":"ultimate-pa","isFork":false,"description":"Gentoo-Overlay for Ultimate Program Analysis Tools ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-02T13:23:51.034Z"}},{"type":"Public","name":"html2json","owner":"ultimate-pa","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-19T16:37:50.572Z"}},{"type":"Public","name":"licence-manager","owner":"ultimate-pa","isFork":false,"description":"Small utility to create licence headers for source files","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-08T02:05:01.794Z"}},{"type":"Public","name":"joogie","owner":"ultimate-pa","isFork":false,"description":"Joogie version used in the termination competition 2015. ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-07T00:30:14.760Z"}}],"repositoryCount":17,"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"}