{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"opensmt","owner":"usi-verification-and-security","isFork":false,"description":"The opensmt solver","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":15,"issueCount":61,"starsCount":74,"forksCount":18,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T13:41:11.651Z"}},{"type":"Public","name":"golem","owner":"usi-verification-and-security","isFork":false,"description":"Solver for Constrained Horn Clauses","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":7,"starsCount":34,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T10:15:49.645Z"}},{"type":"Public","name":"opensmt-doc","owner":"usi-verification-and-security","isFork":false,"description":"OpenSMT documentation","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-13T15:34:26.894Z"}},{"type":"Public","name":"smts-smtcomp-aws","owner":"usi-verification-and-security","isFork":false,"description":"This repository contains Dockerfiles and Scripts that build and run the SMTS on aws infrastructure.","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-29T14:45:21.806Z"}},{"type":"Public","name":"SMTS","owner":"usi-verification-and-security","isFork":false,"description":"SMTS: a framework for distributed SMT and PDR, supporting lemma sharing and partitioning","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-29T13:15:47.514Z"}},{"type":"Public","name":"verify-env","owner":"usi-verification-and-security","isFork":false,"description":"Repository for verification group's docker images","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-18T12:47:50.910Z"}},{"type":"Public","name":"athena","owner":"usi-verification-and-security","isFork":false,"description":"Validation framework for CHC models","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-16T12:42:56.412Z"}},{"type":"Public","name":"ptplib","owner":"usi-verification-and-security","isFork":false,"description":"Partition Tree Protocol Library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T13:40:30.035Z"}},{"type":"Public","name":"opensmt-debugging","owner":"usi-verification-and-security","isFork":false,"description":"Miscellaneous shared tools for debugging/profiling opensmt","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-23T10:40:08.220Z"}},{"type":"Public","name":"upprover","owner":"usi-verification-and-security","isFork":false,"description":"An SMT-based bounded model checker for C","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-29T09:13:11.013Z"}},{"type":"Public","name":"SMT-LIB-benchmarks","owner":"usi-verification-and-security","isFork":false,"description":"SMT-LIB-benchmarks","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-07T12:35:51.030Z"}},{"type":"Public","name":"proof-checker","owner":"usi-verification-and-security","isFork":false,"description":"A checker for opensmt's unsatisfiability trails","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-29T17:03:18.949Z"}},{"type":"Public","name":"solc","owner":"usi-verification-and-security","isFork":false,"description":"Solicitous, the CHC verifier for Solidity contracts","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-30T09:03:33.941Z"}}],"repositoryCount":13,"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":"usi-verification-and-security repositories"}