Skip to content

Tags: mchalupa/dg

Tags

cav21

Version used in artifact for CAV 21

v0.9-pre

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Update downloading.md

Add the AUR package.

svcomp2020

SV-COMP 2020 version

thesis

ps-show,rd-show,llvmdg-dump: use xdot when available

nice viewer

Signed-off-by: Marek Chalupa <mchqwerty@gmail.com>

v0.0.2

llvm-slicer: fix case when all successors are the same

forget to cover the case when all successors are the same - in that
case there are two successors and the branch inst is going away,
but there's no self-loop, so the assert killed the slicer

Signed-off-by: Marek Chalupa <mchqwerty@gmail.com>

0.0.2-pre

llvm-dg: abort on BB self-loop

we don't handle them correctly now, so abort on them
instead of slicing incorrectly. This patch will be reverted
once we handle them correctly

see #73

Signed-off-by: Marek Chalupa <mchqwerty@gmail.com>

v0.0.1

reaching-defs: use getOperand from analysis-generic

take care about ConstantExpr

Signed-off-by: Marek Chalupa <mchqwerty@gmail.com>