Commits

History for

Commits on Jul 25, 2019

Update dependencies + Debian Buster (#640)

dwightguth
authored and
ehildenb
committed

Commits on Jul 22, 2019

Automatically generate tools in bin dir of package from prefix. (#633)

dwightguth
authored and
ehildenb
committed

Commits on Jul 18, 2019

point destdir at prefix (#622)

dwightguth
authored and
ehildenb
committed

Commits on Jul 10, 2019

update llvm backend submodule (#604)

dwightguth
authored and
ehildenb
committed

Commits on Jun 11, 2019

Update submodules (#532)

dwightguth
authored and
ehildenb
committed

Commits on Apr 29, 2019

build and deploy k on arch linux (#385)

dwightguth
authored and
ehildenb
committed
Update k frontend to use new scala pattern matching code (#421)

dwightguth
authored and
ehildenb
committed

Commits on Mar 20, 2019

fix llvm backend in debian package (#366)
dwightguth
authored

Commits on Feb 5, 2019

Build Debian Package on Xenial and Stretch (#274)
dwightguth
authored

Commits on Jan 28, 2019

Build and test debian package (#268)
dwightguth
authored

Commits on Jan 23, 2019

Build debian package (#262)
dwightguth
authored

Loading