cdl-saarland/AnICA-UI cdl-saarland/AnICA-UI

  • Stars
    star
    1
  • Language
    Python
  • License
    MIT License
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cdl-saarland/AnICA-UI
github

cdl-saarland

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A user interface to work with the results of AnICA.

More Repositories

1

rv

RV: A Unified Region Vectorizer for LLVM
C++
101
star
2

axtor

AST - Extractor for LLVM
C++
17
star
3

pmevo-artifact

PLDI'20 Research Artifact for the PMEvo Project
Python
7
star
4

pmtestbench

Code development and artifact for our port mapping inference approaches
Python
6
star
5

CGO17_ArtifactEvaluation

Artifact evaluation repository for the CGO17 paper: Optimistic Loop Optimization
C
5
star
6

AnICA

Analyzing Inconsistencies of Code Analyzers
Python
4
star
7

iwho

Instructions With Holes: A library for matching instructions to more abstract schemes that can be instantiated with other operands.
Python
4
star
8

MemInstrument

A framework to make C memory safe
C++
3
star
9

PolyhedralExpressionPropagation

Polyhedral Expression Propagation as described by the Compiler Consturction (CC) paper 2018.
C++
3
star
10

vplan-rv

LLVM
2
star
11

MemInstrument-Runtime

C runtime component for MemInstrument
C
2
star
12

llvm-vp

Vector Predication extension for LLVM
LLVM
1
star
13

uniana

Coq
1
star
14

llvm_demystified

Material for "LLVM Demystified: A Hands-On Workshop for HPC Developers"
LLVM
1
star
15

AnICA-Artifact

Vagrant VM config for the AnICA aritfact eval
Shell
1
star