regehr / guided-tree-search
heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
☆12Updated last year
Alternatives and similar repositories for guided-tree-search:
Users that are interested in guided-tree-search are comparing it to the libraries listed below
- A tool for testing C compilers automatically☆20Updated 9 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆72Updated this week
- Parser for the llvm bitcode format☆60Updated 5 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 5 months ago
- SMT solver for the theory of floating-point arithmetic☆26Updated 7 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 2 months ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆15Updated 4 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 3 weeks ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- XML representation of the x86 instruction set☆28Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- Experimental MLIR based points-to analysis tool☆14Updated last month
- Verified, Incremental, Binary Editing with Synthesis☆52Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated last month
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆48Updated 2 weeks ago
- An awesome list of e-graph resources☆126Updated 2 weeks ago
- ☆17Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Stratified synthesis for learning machine code instruction semantics☆36Updated 5 months ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated last year
- A benchmark for C program verification☆15Updated 11 months ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆14Updated last year
- Cerberus C semantics☆60Updated this week
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago