Pinned Loading

1. trailofbits/vast trailofbits/vast Public

   VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or fu…

   C++ 435 32

2. lart lart Public

   LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting prog…

   C++ 19 1

3. paradise-fi/divine paradise-fi/divine Public

   DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull re…

   C++ 22 3

4. advent-of-code advent-of-code Public

   Go 6