Commits

History for

Commits on May 13, 2019

Update submodule dependencies (#461)
ehildenb
authored

Commits on May 10, 2019

don't add hook attribute or hooked- prefix to unknown hooks (#460)

dwightguth
authored and
ehildenb
committed

Commits on May 9, 2019

Better implementation of fresh constants and function context (#455)
dwightguth
authored

Commits on Apr 29, 2019

Update k frontend to use new scala pattern matching code (#421)

dwightguth
authored and
ehildenb
committed

Commits on Apr 5, 2019

try to build k on mac os during ci (#362)
dwightguth
authored

Commits on Apr 4, 2019

Bug fixes for LLVM Backend (#388)
dwightguth
authored

Commits on Apr 3, 2019

llvm-backend: update submodule (#387)
ehildenb
authored

Commits on Mar 13, 2019

Update llvm backend submodule (#356)

dwightguth
authored and
ehildenb
committed

Commits on Feb 25, 2019

Various improvements to K frontend (#306)
dwightguth
authored

Commits on Feb 7, 2019

update llvm-backend submodule (#285)
dwightguth
authored

Commits on Jan 23, 2019

fix bug with parsing of NaN and Infinity in modules with identifiers (#247)
dwightguth
authored

Commits on Jan 11, 2019

Build llvm backend into k (#226)
dwightguth
authored

Loading