{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"jpf-costar","owner":"star-finder","isFork":false,"description":"Test input generation using separation logic","allTopics":["unit-testing","test-automation","testing-tools","separation-logic","testing-framework","concolic-execution"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-15T08:38:29.810Z"}},{"type":"Public","name":"gaia","owner":"star-finder","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-19T06:38:07.996Z"}},{"type":"Public","name":"starlib","owner":"star-finder","isFork":false,"description":"A library for handling separation logic constraints","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-19T06:35:39.401Z"}},{"type":"Public","name":"jpf-core","owner":"star-finder","isFork":false,"description":"The core of Java PathFinder","allTopics":["java","model-checking","model-checker"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-14T04:50:05.471Z"}},{"type":"Public","name":"jpf-star","owner":"star-finder","isFork":false,"description":"Test input generation using separation logic","allTopics":["unit-testing","test-automation","symbolic-execution","testing-tools","separation-logic","testing-framework"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":9,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-05T23:09:52.110Z"}},{"type":"Public","name":"star-finder.github.io","owner":"star-finder","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-04T01:57:33.977Z"}},{"type":"Public","name":"jpf-symbc","owner":"star-finder","isFork":false,"description":"Symbolic PathFinder","allTopics":["java","symbolic-execution","symbolic-execution-engine"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-06T06:14:06.783Z"}},{"type":"Public","name":"benchmarks","owner":"star-finder","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-05T09:01:47.934Z"}},{"type":"Public","name":"star-examples","owner":"star-finder","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-29T03:32:09.670Z"}},{"type":"Public","name":"star-dev","owner":"star-finder","isFork":false,"description":"Scripts to set up the environment","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-05T19:59:11.683Z"}},{"type":"Public","name":"jconstraints","owner":"star-finder","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-30T02:54:51.337Z"}},{"type":"Public","name":"s2sat","owner":"star-finder","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-14T23:34:16.588Z"}}],"repositoryCount":12,"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":"star-finder repositories"}