Symbolk / IntelliMerge
A graph-based refactoring-aware three-way merging tool for Java programs.
☆23Updated 3 years ago
Alternatives and similar repositories for IntelliMerge:
Users that are interested in IntelliMerge are comparing it to the libraries listed below
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆95Updated 5 months ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆165Updated last week
- The Core Algorithm of SmartCommit.☆25Updated 3 years ago
- A Reproducible Benchmark of Recent Java Bugs☆35Updated 2 weeks ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆40Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated last year
- A framework for testing compilers' type checkers☆52Updated 8 months ago
- fast and effective way to access and analyze java bytecode☆27Updated last week
- A python library to build graphs for programs written in different programming languages.☆11Updated 2 years ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆45Updated last year
- A program slicer for Java, based on the system dependence graph (SDG).☆66Updated last year
- ☆22Updated last year
- Towards converting multilingual source code into one language-agnostic graph representation.☆46Updated 2 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆93Updated 3 years ago
- Official repository for PraPR source code☆14Updated 3 years ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- IDE Integration of Facebook Infer☆15Updated 2 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆33Updated last week
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆80Updated 6 months ago
- A dynamic method for detecting faults in incremental and parallel builds.☆17Updated 2 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- Open paper reading club @ JetBrains☆37Updated 6 months ago
- Lightweight tool for slicing☆35Updated 3 weeks ago
- A Java program synthesizer.☆21Updated 6 years ago
- ☆26Updated 2 weeks ago
- Practical Program Repair via Bytecode Mutation☆64Updated 2 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- ☆20Updated 10 months ago
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆35Updated 2 years ago