• Alexander Weigl's avatar
    Merge remote-tracking branch 'origin/extendedState' into weigl-sync · c7ec5de9
    Alexander Weigl authored
    # Conflicts:
    #	rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/graphs/ControlFlowVisitor.java
    #	rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/graphs/PTreeNode.java
    #	rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/graphs/StateGraphWrapper.java
    #	ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/ProofTreeController.java
    c7ec5de9
Name
Last commit
Last update
..
src/main Loading commit data...
pom.xml Loading commit data...