ajwijs / GPUexplore

Related projects: ⓘ

• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• canalcache / canal
  ☆16Updated 5 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆71Updated last year
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆25Updated 11 years ago
• sdasgup3 / partial-redundancy-elimination
  Partial Redundancy Elimination Pass in LLVM
  ☆12Updated 5 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆38Updated 2 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆28Updated 3 years ago
• opencompl / dyn-dialect
  A repository to test dialects defined dynamically.
  ☆12Updated last year
• martinjonas / Q3B
  ☆24Updated 3 months ago
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• seahorn / verify-c-common
  ☆15Updated 3 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆74Updated this week
• NVlabs / litmustestgen
  Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
  ☆15Updated 7 months ago
• rems-project / rmem
  rmem public repo
  ☆40Updated last month
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 2 years ago
• ychen306 / vegen
  ☆26Updated last year
• ithemal / bhive
  ☆35Updated 2 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• t-crest / patmos-benchmarks
  A collection of benchmarks and tests for the Patmos processor and compiler
  ☆16Updated 2 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆11Updated 4 years ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆74Updated this week
• uw-unsat / serval
  ☆44Updated 2 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆16Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆35Updated this week
• intel / pinball2elf
  ☆34Updated last month
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆16Updated this week
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆52Updated 6 months ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆19Updated 3 years ago