{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"FPTaylor","owner":"soarlab","isFork":false,"description":"Tool for Rigorous Estimation of Round-Off Floating-Point Errors","allTopics":["analysis","estimation","floating-point","round-off-error","floating-point-accuracy-problems"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":2,"issueCount":12,"starsCount":27,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-01T19:35:53.339Z"}},{"type":"Public","name":"gelpia","owner":"soarlab","isFork":false,"description":"Rigorous Global Branch-and-Bound Optimizer","allTopics":["global-optimization","rigorous","optimizer","interval-arithmetic"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":10,"starsCount":20,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T14:25:12.879Z"}},{"type":"Public","name":"rust-benchmarks","owner":"soarlab","isFork":false,"description":"Rust software verification benchmarks","allTopics":["software-verification","rust","verification-benchmarks"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":1,"starsCount":3,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T11:14:13.749Z"}},{"type":"Public","name":"OL1V3R","owner":"soarlab","isFork":false,"description":"OL1V3R: solving floating-point constraints via stochastic local search","allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-14T20:32:45.182Z"}},{"type":"Public","name":"fpsyn","owner":"soarlab","isFork":false,"description":"Synthesis of rigorous floating-point predicates","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-24T03:08:29.774Z"}},{"type":"Public","name":"AAQNN","owner":"soarlab","isFork":false,"description":"Adversarial Attacks for Quantized Neural Networks","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":5,"issueCount":3,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-13T01:08:45.336Z"}},{"type":"Public","name":"paf","owner":"soarlab","isFork":false,"description":"PAF: Probabilistic Analysis of Errors in Floating-Point Computations","allTopics":["analysis","estimation","floating-point","round-off-error","floating-point-accuracy-problems"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":12,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-07T16:55:17.141Z"}},{"type":"Public","name":"gelpia_tests","owner":"soarlab","isFork":false,"description":"test suite for the gelpia tool","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-06T21:15:06.129Z"}},{"type":"Public","name":"lgbtq-problem-set","owner":"soarlab","isFork":false,"description":"An LGBTQ-Inclusive Problem Set in Discrete Mathematics","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Creative Commons Attribution 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-02T21:40:47.593Z"}},{"type":"Public","name":"rust-verification-tools","owner":"soarlab","isFork":true,"description":"RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":37,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-09T21:30:20.177Z"}},{"type":"Public","name":"soarlab.github.io","owner":"soarlab","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"SCSS","color":"#c6538c"},"pullRequestCount":1,"issueCount":5,"starsCount":0,"forksCount":22,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-12T19:48:36.109Z"}},{"type":"Public","name":"conferences","owner":"soarlab","isFork":false,"description":"Conferences on Software Verification and Analysis","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-21T19:28:30.708Z"}},{"type":"Public","name":"pysmt","owner":"soarlab","isFork":true,"description":"pySMT: A library for SMT formulae manipulation and solving","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":4,"forksCount":129,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-20T19:52:38.067Z"}},{"type":"Public","name":"FPTuner","owner":"soarlab","isFork":false,"description":"Rigorous Floating-Point Mixed-Precision Tuner","allTopics":["floating-point","tuning","precision-allocation","precision-tuning"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":13,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-21T20:17:33.582Z"}},{"type":"Public","name":"QF_FXP","owner":"soarlab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-29T21:45:49.029Z"}},{"type":"Public","name":"gandalv","owner":"soarlab","isFork":false,"description":"Multi-Language Verification Benchmarks","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-15T22:42:21.910Z"}},{"type":"Public","name":"symbooglix","owner":"soarlab","isFork":true,"description":"Symbolic Execution Engine for Boogie","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-12T18:59:43.510Z"}},{"type":"Public","name":"rustgroup","owner":"soarlab","isFork":false,"description":"All code from the Rust group","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-27T17:02:49.243Z"}},{"type":"Public","name":"FPTaylor-website","owner":"soarlab","isFork":false,"description":"A webserver that can run FPTaylor","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-26T14:37:08.011Z"}},{"type":"Public","name":"redleaf","owner":"soarlab","isFork":false,"description":"List of Related Work for the Rust Project","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-21T23:27:04.743Z"}},{"type":"Public","name":"FPTherbie","owner":"soarlab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-17T18:26:08.983Z"}},{"type":"Public","name":"FPML","owner":"soarlab","isFork":false,"description":"Exploring floating-point trade-offs in machine learning","allTopics":["floating-point","machine-learning"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-24T19:43:35.432Z"}},{"type":"Public","name":"P","owner":"soarlab","isFork":true,"description":"The P programming language.","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":175,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-21T22:34:51.746Z"}},{"type":"Public","name":"jdoop-wrapper","owner":"soarlab","isFork":false,"description":"JDoop wrapper for benchmarking","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-28T18:58:23.822Z"}},{"type":"Public","name":"S3FP","owner":"soarlab","isFork":false,"description":"Guided Random Testing for Floating-Point Error Estimation","allTopics":["testing","estimation","floating-point","round-off-error"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-13T02:44:39.125Z"}},{"type":"Public","name":"maline","owner":"soarlab","isFork":false,"description":"Android Malware Detection Framework","allTopics":["malware","malware-detection","android"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":5,"starsCount":81,"forksCount":31,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-04T20:09:08.863Z"}},{"type":"Public","name":"clover","owner":"soarlab","isFork":false,"description":"Analysis of Debian with KLEE","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-19T03:27:43.467Z"}},{"type":"Public","name":"cs5959-f15-shared","owner":"soarlab","isFork":false,"description":"Shared Repository for CS 5959: Writing Solid Code","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-11T06:35:33.217Z"}},{"type":"Public","name":"KULFI","owner":"soarlab","isFork":false,"description":"LLVM Instruction Level Fault Injector","allTopics":["llvm","fault-injection"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":7,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-03T23:43:05.249Z"}},{"type":"Public","name":"Gklee","owner":"soarlab","isFork":false,"description":" GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-08-05T19:19:28.647Z"}}],"repositoryCount":30,"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":"soarlab repositories"}