8000 Commits · mchalupa/dg · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Dec 13, 2022

CI: install LLVM 14 on macOS runners

lzaoral
authored and
mchalupa
committed
llvm-slicer: move criteriaAreNextInstr to llvm-slicer-opts.cpp

lzaoral
authored and
mchalupa
committed
llvm-slicer: move cutoffDiverging to llvm-slicer-opts.cpp

lzaoral
authored and
mchalupa
committed
llvm-slicer.cpp: simplify *M.get() to *M

lzaoral
authored and
mchalupa
committed
llvm-slicer.cpp: use F instead of I to indentify Functions

lzaoral
authored and
mchalupa
committed
clang-tidy: disable readability-identifier-length

lzaoral
authored and
mchalupa
committed

Commits on May 18, 2022

Dockerfile: use Ubuntu 22.04 as a base

lzaoral
authored and
mchalupa
committed
llvm14: CallBase::getNumArgOperands was removed

lzaoral
authored and
mchalupa
committed
llvm-utils.h: add include with llvm::errs

lzaoral
authored and
mchalupa
committed
cmake: LLVM 14 requires C as a project language

lzaoral
authored and
mchalupa
committed
CI: Add LLVM 14 jobs

lzaoral
authored and
mchalupa
committed

Commits on May 17, 2022

CI: update actions/cache to v3

lzaoral
authored and
mchalupa
committed
CI: do not build SVF 2.4 with -Werror

lzaoral
authored and
mchalupa
committed
CI: update the macOS job to macOS 12

lzaoral
authored and
mchalupa
committed
CI: update the SVF job to use Ubuntu 22.04

lzaoral
authored and
mchalupa
committed
CI: use matrix.os even when we use only one system

lzaoral
authored and
mchalupa
committed
CI: use clang-format 14 for style checking

lzaoral
authored and
mchalupa
committed
CI: update actions/checkout to v3

lzaoral
authored and
mchalupa
committed
CI: add Ubuntu 22.04 jobs for LLVM 13 and newer

lzaoral
authored and
mchalupa
committed

Commits on May 9, 2022

crits: fix matching variables without information
mchalupa
committed

Commits on May 5, 2022

tests: Update Catch2 to 2.13.9

lzaoral
authored and
mchalupa
committed

Commits on May 2, 2022

tools/llvm-slicer-metadata: Fix compilation with GCC 12

lzaoral
authored and
mchalupa
committed
tools/CMakeLists.txt: Add llvm-slicer-metadata.cpp to libdgllvmslicer

lzaoral
authored and
mchalupa
committed

0