8000 Commits · runtimeverification/llvm-backend · GitHub

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

Commits

Commits on Jun 21, 2019

Merge branch 'master' into pseudo
dwightguth
authored
average path length (#158)
dwightguth
authored
Heuristic F (#155)

mickyabir
authored and
dwightguth
committed
pseudo heuristics
Dwight Guth
committed
llvm-krun injections (#153)
dwightguth
authored
fix vars (#152)
dwightguth
authored
priority (#151)
dwightguth
authored
tree_stats.py (#157)
dwightguth
authored
Heuristic R (#156)
mickyabir
authored
Q and B heuristics + Heuristic selection (#154)
dwightguth
authored
FFI Pointers Hooks (#139)

mickyabir
authored and
dwightguth
committed
Added support for multiple gc roots (#142)

theo25
authored and
dwightguth
committed

Commits on Jun 20, 2019

llvm-krun (#150)
dwightguth
authored
remove spurious phi nodes (#149)
dwightguth
authored

Commits on Jun 19, 2019

Heuristic small default (#147)

mickyabir
authored and
dwightguth
committed
Injection compaction in initial configuration (#148)
dwightguth
authored
anywhere rules in initial configuration (#146)

dwightguth
authored and
mickyabir
committed
llvm-krun script (#145)
10000

dwightguth
authored and
mickyabir
committed

Commits on Jun 14, 2019

adds heuristic a (#144)

mickyabir
authored and
dwightguth
committed
Refactor pattern matching heuristic (#143)

mickyabir
authored and
dwightguth
committed

Commits on Jun 11, 2019

Elimination of no-gc allocations for sret parameters (#140)

theo25
authored and
dwightguth
committed
fixes for ffi on mac os (#141)
dwightguth
authored

Commits on Jun 10, 2019

Improvements to codegen for execution semantics (#137)
dwightguth
authored

Commits on Jun 7, 2019

rand and srand (#138)

dwightguth
authored and
mickyabir
committed

Commits on Jun 6, 2019

Refactor set/map choice (#135)
dwightguth
authored
adds -lffi (#136)

mickyabir
authored and
dwightguth
committed

Commits on Jun 4, 2019

added move_int to runtime/header.h (#134)

theo25
authored and
dwightguth
committed
FFI Variadic Hook (#132)
mickyabir
authored
matching/Parser.scala: allow manual rule priorities in building matcher (#133)
ehildenb
authored

Commits on Jun 3, 2019

Fixes for decision tree generation for linking semantics (#131)
dwightguth
authored

Commits on May 28, 2019

fix linking error of evm node in debug mode (#130)
dwightguth
authored

Commits on May 15, 2019

go back to old way of lto because new way does not work on mac os (#128)
dwightguth
authored

Commits on May 14, 2019

pkg-config libffi on mac os (#127)
dwightguth
authored

Commits on May 13, 2019

fix ffi for arch linux (#126)
dwightguth
authored
add FastBuild config mode which is release but not lto (#124)
dwightguth
authored

0