8000 Tags · ai4dev/dg · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: ai4dev/dg

Tags

v0.9-pre

Toggle v0.9-pre's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update downloading.md

Add the AUR package.

svcomp2020

Toggle svcomp2020's commit message 
SV-COMP 2020 version

thesis

Toggle thesis's commit message 
ps-show,rd-show,llvmdg-dump: use xdot when available

nice viewer

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

v0.0.2

Toggle v0.0.2's commit message 
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

Toggle 0.0.2-pre's commit message 
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 mchalupa#73

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

v0.0.1

Toggle v0.0.1's commit message 
reaching-defs: use getOperand from analysis-generic

take care about ConstantExpr

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