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 4 months ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆164Updated last week
- The Core Algorithm of SmartCommit.☆25Updated 3 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆78Updated 7 months ago
- A Tool for Mining Rich Abstract Syntax Trees from Code☆58Updated last year
- A python library to build graphs for programs written in different programming languages.☆11Updated 2 years ago
- Public-facing course info for program analysis materials.☆40Updated 3 months ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆41Updated last year
- A Java program synthesizer.☆21Updated 6 years ago
- Towards converting multilingual source code into one language-agnostic graph representation.☆45Updated 2 years ago
- A Reproducible Benchmark of Recent Java Bugs☆34Updated last week
- Official repository for PraPR source code☆14Updated 3 years ago
- A generic Java implementation of Andreas Zeller's delta debugging algorithm☆23Updated 8 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆65Updated last year
- Open paper reading club @ JetBrains☆37Updated 5 months ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 5 months ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- Finding similar repositories on GitHub☆48Updated 2 years ago
- ☆19Updated 2 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last month
- Plugin for checking license compatibility in IntelliJ IDEA☆24Updated 3 years ago
- ☆26Updated last month
- ADD extracts features from patches such as repair patterns.☆13Updated last year
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆35Updated 2 years ago
- src2abs is a tool that abstracts Java source code☆35Updated 5 years ago
- ☆13Updated 7 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated 2 weeks ago
- A constraint solver abstraction layer for Java☆21Updated last year
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago