8000 Commits · runtimeverification/llvm-backend · GitHub

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

Commits

Commits on Oct 4, 2018

More alloc stuff
bmmoore
committed
Fix ill-formed terms in test4 and test5
< 8000 div class="Description-module__container--b3n6F">
bmmoore
committed

WIP

committed

Switch allocation function

committed

alloc change in string, plus hacks

committed

Try to switch allocator

committed

Add optimization flags

committed

Switch to LLVM 6

committed

fix bug involving MakePattern

Dwight Guth

committed

update outputs

Dwight Guth

committed

fix compiler errors

Dwight Guth

committed

fix trap statement in llvm-kompile

Dwight Guth

committed

fix compiler errors from merge

Dwight Guth

committed

change the way collections are passed to eliminate unnecessary allocas

Dwight Guth

committed

support fastcc calling convention and -tailcallelim and -tailcallopt llvm passes

Dwight Guth

committed

use fastcc for eval_ and apply_rule_

Dwight Guth

committed

update output files

Dwight Guth

committed

fix STRING.ord

Dwight Guth

committed

fix pretty printing Set and List

Dwight Guth

committed

fix string escapes in kore

Dwight Guth

committed

leaf nodes are tail calls

Dwight Guth

committed

fix bugs in injection compaction

Dwight Guth

committed

add test for exit code

Dwight Guth

committed

support exit code in llvm backend

Dwight Guth

committed

fix map printing

Dwight Guth

committed

fix bug in map/set scoring

Dwight Guth

committed

print to file instead of stdout

Dwight Guth

committed

fix compile error

Dwight Guth

committed

llvm backend install target

Dwight Guth

committed

some tweaks to scoring to support map and set columns better

Dwight Guth

committed

don't cache score as it goes out of date when clauses change

Dwight Guth

committed

use lto only for release build

Dwight Guth

committed

add test for set matching

Dwight Guth

committed

add set hooks for set matching

Dwight Guth

committed

add set patterns

Dwight Guth

committed

0