nandor / mkcheckLinks
Incremental Build Verification
☆15Updated last year
Alternatives and similar repositories for mkcheck
Users that are interested in mkcheck are comparing it to the libraries listed below
Sorting:
- A dynamic method for detecting faults in incremental and parallel builds.☆19Updated 3 years ago
- ☆21Updated 6 years ago
- ☆30Updated 2 months ago
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆19Updated 5 years 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…☆21Updated 4 years ago
- ☆17Updated 7 months ago
- A framework for testing compilers' type checkers☆19Updated last year
- PyDFix is a tool that helps detect and fix dependency errors that cause the unreproducibility of Python builds. PyDFix takes as input the…☆12Updated 2 years ago
- A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.☆54Updated 6 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Updated 2 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 4 years ago
- SyPet: Component-Based Synthesis for Complex APIs☆20Updated 7 years ago
- A SyGuS Solver☆30Updated 6 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆57Updated this week
- A framework for testing compilers' type checkers☆60Updated last year
- PPLite: convex polyhedra library for Abstract Interpretation☆28Updated last month
- Java Ranger is a path-merging extension of Symbolic PathFinder☆14Updated 11 months ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Updated 6 years ago
- An LLVM-based formal verification frontend for C programs.☆26Updated 4 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆98Updated 4 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- A Fast Floating-Point Satisfiability Solver☆28Updated 4 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 8 months ago
- Apron Numerical Abstract Domain Library☆142Updated 8 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated 2 weeks ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆57Updated 3 months ago
- ☆15Updated last month
- SymDiff-Differential-Program-Verifier☆38Updated 3 months ago