frosc / arm-assembler-latex-listings

Related projects ⓘ

Alternatives and complementary repositories for arm-assembler-latex-listings

• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆62Updated last month
• bitwuzla / bitwuzla
  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…
  ☆212Updated this week
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆122Updated 4 years ago
• mewmew / lstlangs
  Language definitions and styles for listings in LaTeX.
  ☆65Updated 4 years ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆110Updated 5 years ago
• rems-project / rmem
  rmem public repo
  ☆40Updated 3 months ago
• seahorn / crab
  A library for building abstract interpretation-based analyses
  ☆233Updated last month
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆244Updated last week
• krobelus / rate
  DRAT/DPR proof checker
  ☆9Updated 2 years ago
• intel / yarpgen
  Yet Another Random Program Generator
  ☆490Updated 3 months ago
• smackers / smack
  SMACK Software Verifier and Verification Toolchain
  ☆432Updated last month
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆82Updated last month
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆77Updated this week
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆50Updated 7 months ago
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆37Updated last year
• martinjonas / Q3B
  ☆26Updated 6 months ago
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆114Updated this week
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆162Updated 5 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆306Updated 2 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆219Updated last year
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆227Updated this week
• travitch / whole-program-llvm
  A wrapper script to build whole-program LLVM bitcode files
  ☆692Updated 9 months ago
• inducer / pycparserext
  Extensions for Eli Bendersky's pycparser
  ☆83Updated 3 months ago
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆21Updated 8 months ago
• lowRISC / riscv-llvm
  RISC-V support for LLVM projects (LLVM, Clang, ...)
  ☆253Updated 3 months ago
• mangpo / greenthumb
  ☆85Updated 2 years ago
• rems-project / sail-arm
  Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
  ☆71Updated last month