Pinned Repositories
sbt-instrumentation
Configurable instrumentation of LLVM bitcode
BBC-Recipe-Web-Scraper
Scrape every recipe from the BBC Food website and search them locally
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
clang-scopes-marker
dg
[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode
erlang-chat-server
Parallel chat server implemented in Erlang with client in Haskell.
file-tree-analyzer
Tool for directory hierarchy analysis
ib109-hw
IB109 homework
llvm-clang-samples
Examples of using the LLVM and Clang compilation libraries and tools
thesis
Master thesis: Instrumentation of LLVM IR
xvitovs1's Repositories
xvitovs1/thesis
Master thesis: Instrumentation of LLVM IR
xvitovs1/clang-scopes-marker
xvitovs1/BBC-Recipe-Web-Scraper
Scrape every recipe from the BBC Food website and search them locally
xvitovs1/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
xvitovs1/dg
[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode
xvitovs1/erlang-chat-server
Parallel chat server implemented in Erlang with client in Haskell.
xvitovs1/file-tree-analyzer
Tool for directory hierarchy analysis
xvitovs1/ib109-hw
IB109 homework
xvitovs1/llvm-clang-samples
Examples of using the LLVM and Clang compilation libraries and tools
xvitovs1/MTAT.08.022-lab8
CPL lab8 homework
xvitovs1/PA093-project
PA093 Computation Geometry Project
xvitovs1/pb029-web-fimuni
School project for PB029
xvitovs1/PV249-library-IS
PV249 final project - Information system for a library
xvitovs1/ra
Range analysis for sbt-instrumentation plugin.
xvitovs1/sv-benchmarks
Collection of Verification Tasks
xvitovs1/symbiotic-benchmarks
Benchmarks for Symbiotic