mewmew / lstlangs
Language definitions and styles for listings in LaTeX.
☆65Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for lstlangs
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆37Updated last year
- A library for building abstract interpretation-based analyses☆233Updated last month
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆212Updated this week
- Static Analyzer for LLVM bitcode based on Abstract Interpretation☆277Updated 7 months ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆335Updated 2 months ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆162Updated 5 months ago
- The opensmt solver☆78Updated this week
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆71Updated last month
- A verification tool for many memory models☆77Updated this week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆86Updated this week
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆214Updated 5 years ago
- Solver for Constrained Horn Clauses☆34Updated this week
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆114Updated this week
- ☆62Updated 5 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- Apron Numerical Abstract Domain Library☆114Updated 3 months ago
- Symbolic execution tool for Sail ISA specifications☆62Updated last month
- Whole Program LLVM: wllvm ported to go☆303Updated 6 months ago
- 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…☆20Updated 3 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆227Updated this week
- Example implementation of Arm's Architecture Specification Language (ASL)☆36Updated 2 years ago
- Yet Another Random Program Generator☆490Updated 3 months ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆32Updated last month
- The Eldarica model checker☆80Updated last month
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆84Updated this week
- ☆16Updated last year
- SAT Solver SATCH☆108Updated 2 years ago
- ☆50Updated last year
- CCG is a random C Code Generator☆43Updated 2 years ago