{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"dredd","owner":"mc-imperial","isFork":false,"description":"Framework for evaluating C/C++ compiler testing tools","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":11,"issueCount":18,"starsCount":10,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-06T15:53:20.966Z"}},{"type":"Public","name":"dredd-webgpu-testing","owner":"mc-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T15:35:44.194Z"}},{"type":"Public","name":"modelcheckingfutexes","owner":"mc-imperial","isFork":false,"description":"Promela models of futex-based synchronisation primitives.","allTopics":[],"primaryLanguage":{"name":"Promela","color":"#de0000"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-19T21:17:33.653Z"}},{"type":"Public","name":"jfs","owner":"mc-imperial","isFork":false,"description":"Constraint solver based on coverage-guided fuzzing","allTopics":["llvm","jit","fuzzing","smtlib","smtlibv2","z3","constraint-solver","libfuzzer","floating-point-arithmetic","coverage-guided-fuzzing"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":34,"starsCount":240,"forksCount":20,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-28T20:07:14.595Z"}},{"type":"Public","name":"build-clang","owner":"mc-imperial","isFork":false,"description":"Scripts for building Clang/LLVM","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-26T15:05:24.920Z"}},{"type":"Public","name":"dredd-compiler-testing","owner":"mc-imperial","isFork":false,"description":"Scripts to allow the Dredd mutation testing framework to be used for compiler testing","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-26T15:03:54.050Z"}},{"type":"Public","name":"llvm-legacy","owner":"mc-imperial","isFork":false,"description":"Old versions of Clang/LLVM, patched so that they can be built using more recent compilers","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-24T11:01:59.067Z"}},{"type":"Public","name":"spirv-control-flow","owner":"mc-imperial","isFork":false,"description":"Formal modelling of SPIR-V control flow using Alloy","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":37,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-07T17:07:28.735Z"}},{"type":"Public","name":"hypothesis-ecoop-2020-artifact","owner":"mc-imperial","isFork":false,"description":"Artifact associated with ECOOP 2020 paper","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":8,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-08T02:41:11.719Z"}},{"type":"Public","name":"jfs-fse-2019-artifact","owner":"mc-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":5,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-08T00:47:08.175Z"}},{"type":"Public","name":"gpuverify","owner":"mc-imperial","isFork":false,"description":"GPUVerify: a Verifier for GPU Kernels","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":12,"starsCount":57,"forksCount":15,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-28T13:02:58.172Z"}},{"type":"Public","name":"remove-parens","owner":"mc-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-07T17:24:11.939Z"}},{"type":"Public","name":"ShaderTests","owner":"mc-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"GLSL","color":"#5686a5"},"pullRequestCount":92,"issueCount":0,"starsCount":0,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-18T16:21:43.107Z"}},{"type":"Public","name":"bugle","owner":"mc-imperial","isFork":false,"description":"An LLVM Bitcode to Boogie translator","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-13T22:27:14.523Z"}},{"type":"Public","name":"sctbench","owner":"mc-imperial","isFork":false,"description":"SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":26,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-16T11:51:27.094Z"}},{"type":"Public","name":"llvm-project","owner":"mc-imperial","isFork":true,"description":"The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at <a href=\"http://reviews.llvm.org\" rel=\"nofollow\">http://reviews.llvm.org</a>.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":10764,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-03T01:17:04.090Z"}},{"type":"Public","name":"multicore-test-harness","owner":"mc-imperial","isFork":false,"description":"A multicore microprocessor test harness for measuring interference","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-16T13:54:30.689Z"}},{"type":"Public","name":"get-image-glsl","owner":"mc-imperial","isFork":false,"description":"Produce a PNG image from a GLSL fragment shader","allTopics":["opengl","glsl","opengl-es"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-18T14:23:10.458Z"}},{"type":"Public","name":"csmith-hypothesis","owner":"mc-imperial","isFork":true,"description":"Csmith, a random generator of C programs","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":140,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-22T08:30:24.499Z"}},{"type":"Public","name":"ogltesting-binaries","owner":"mc-imperial","isFork":false,"description":"A Maven package containing the binaries used in the Graphics Fuzz project. ","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-10T11:22:21.293Z"}},{"type":"Public","name":"graphicsfuzz","owner":"mc-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-30T14:19:13.176Z"}},{"type":"Public","name":"GPUVerifyBenchmarks","owner":"mc-imperial","isFork":false,"description":"Public GPUVerify Benchmarks","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-16T18:56:48.229Z"}},{"type":"Public","name":"mesa-coverage","owner":"mc-imperial","isFork":false,"description":"Mesa builds to obtain code coverage","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-30T20:33:55.969Z"}},{"type":"Public","name":"get-image-egl","owner":"mc-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-11T16:17:23.819Z"}},{"type":"Public","name":"shader-compiler-bugs","owner":"mc-imperial","isFork":false,"description":"A collection of shader compiler bugs.","allTopics":[],"primaryLanguage":{"name":"Assembly","color":"#6E4C13"},"pullRequestCount":1,"issueCount":27,"starsCount":49,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-21T09:45:34.611Z"}},{"type":"Public","name":"original-shaders","owner":"mc-imperial","isFork":false,"description":"A collection of shaders to use as original shaders.","allTopics":[],"primaryLanguage":{"name":"GLSL","color":"#5686a5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-02T10:50:15.808Z"}},{"type":"Public","name":"tsan11","owner":"mc-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-27T18:52:37.559Z"}},{"type":"Public","name":"get-image-spv","owner":"mc-imperial","isFork":false,"description":"Get image using Vulkan","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-18T13:31:50.219Z"}},{"type":"Public","name":"get-image-glfw","owner":"mc-imperial","isFork":false,"description":"A tool for rendering a fragment shader to a PNG file.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-05T17:03:40.022Z"}},{"type":"Public","name":"get-image-hlsl","owner":"mc-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-19T16:15:16.534Z"}}],"repositoryCount":45,"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"}