Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 9, 2020

• kast --gen-parser prototype (#1003)

  Show description for 5cb2dfe
  

  Dwight Guth

  and

  rv-jenkins

  committed
  5cb2dfe

  Copy full SHA for 5cb2dfe

Commits on Nov 6, 2019

• Maven: Use --batch-mode for CI (#873)

  Show description for 1cfe0ba
  ttuegel

  authored
  1cfe0ba

  Copy full SHA for 1cfe0ba

Commits on Oct 16, 2019

• Update to latest llvm backend (#838)

  Show description for 6390734
  

  dwightguth

  authored and

  ehildenb

  committed
  6390734

  Copy full SHA for 6390734

Commits on Sep 5, 2019

• Debugger fixes (#746)

  Show description for e0b3b2c
  

  dwightguth

  and

  ehildenb

  authored
  e0b3b2c

  Copy full SHA for e0b3b2c

Commits on Jul 31, 2019

• Revert "Packaging updates (#655)"

  Show description for 1af4b5c
  

  Dwight Guth

  committed
  1af4b5c

  Copy full SHA for 1af4b5c

• Revert "Installed pinned version of Stack from Haskell backend (#658)"

  Show description for bff6781
  

  Dwight Guth

  committed
  bff6781

  Copy full SHA for bff6781

Commits on Jul 30, 2019

• disable stack protector on debian package (#659)

  

  dwightguth

  authored and

  ehildenb

  committed
  5baa577

  Copy full SHA for 5baa577

• Installed pinned version of Stack from Haskell backend (#658)

  Show description for 2cadab8
  

  ttuegel

  authored and

  ehildenb

  committed
  2cadab8

  Copy full SHA for 2cadab8

• Packaging updates (#655)

  Show description for ccf142e
  

  ehildenb

  authored and

  dwightguth

  committed
  ccf142e

  Copy full SHA for ccf142e

Commits on Jul 25, 2019

• Update dependencies + Debian Buster (#640)

  Show description for ec2e4e7
  

  dwightguth

  authored and

  ehildenb

  committed
  ec2e4e7

  Copy full SHA for ec2e4e7

Commits on Jul 22, 2019

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

  Show description for 3e97d7d
  

  dwightguth

  authored and

  ehildenb

  committed
  3e97d7d

  Copy full SHA for 3e97d7d

Commits on Jul 18, 2019

• point destdir at prefix (#622)

  

  dwightguth

  authored and

  ehildenb

  committed
  32a7ce0

  Copy full SHA for 32a7ce0

Commits on Jul 10, 2019

• update llvm backend submodule (#604)

  Show description for 70ca2fe
  

  dwightguth

  authored and

  ehildenb

  committed
  70ca2fe

  Copy full SHA for 70ca2fe

Commits on Jun 11, 2019

• Update submodules (#532)

  Show description for 68056f5
  

  dwightguth

  authored and

  ehildenb

  committed
  68056f5

  Copy full SHA for 68056f5

Commits on Apr 29, 2019

• build and deploy k on arch linux (#385)

  Show description for bf7c78a
  

  dwightguth

  authored and

  ehildenb

  committed
  bf7c78a

  Copy full SHA for bf7c78a

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

  Show description for eb4c881
  

  dwightguth

  authored and

  ehildenb

  committed
  eb4c881

  Copy full SHA for eb4c881

Commits on Mar 20, 2019

• fix llvm backend in debian package (#366)

  Show description for a9ab98c
  

  dwightguth

  authored
  a9ab98c

  Copy full SHA for a9ab98c

Commits on Feb 5, 2019

• Build Debian Package on Xenial and Stretch (#274)

  Show description for 167f3f6
  

  dwightguth

  authored
  167f3f6

  Copy full SHA for 167f3f6

Commits on Jan 28, 2019

• Build and test debian package (#268)

  Show description for bfa41eb
  

  dwightguth

  authored
  bfa41eb

  Copy full SHA for bfa41eb

Commits on Jan 23, 2019

• Build debian package (#262)

  Show description for 2cf7d45
  

  dwightguth

  authored
  2cf7d45

  Copy full SHA for 2cf7d45

Loading