Commits

Breadcrumbs

History for

ontimeout-kserver

User selector

All users

All time

Commit History

Commits on Nov 15, 2019

• Jenkinsfile, src/main/scripts/brew*: update ROOT_URL (#907)

  

  ehildenb

  authored and

  rv-jenkins

  committed
  e87b1bd

  Copy full SHA for e87b1bd

Commits on Nov 12, 2019

• Switch to using `hub` command for releases (#863)

  Show description for b2e88d1
  

  ehildenb

  authored and

  Dwight Guth

  committed
  b2e88d1

  Copy full SHA for b2e88d1

Commits on Nov 8, 2019

• Separate out MacOS deploy steps from rest (#888)

  Show description for 0459085
  ehildenb

  authored
  0459085

  Copy full SHA for 0459085

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 Sep 3, 2019

• Update llvm backend and remove rust dependency (#738)

  Show description for f58a897
  

  dwightguth

  authored
  f58a897

  Copy full SHA for f58a897

Commits on Aug 23, 2019

• use correct path to brew scripts (#706)

  

  dwightguth

  authored
  74e3608

  Copy full SHA for 74e3608

Commits on Aug 22, 2019

• refactor brew scripts (#700)

  Show description for 6481ff3
  

  dwightguth

  authored
  6481ff3

  Copy full SHA for 6481ff3

Commits on Aug 19, 2019

• try to release kframework bottle on mac os mojave (#673)

  Show description for 3ccefad
  

  dwightguth

  authored and

  ehildenb

  committed
  3ccefad

  Copy full SHA for 3ccefad

Commits on Jul 23, 2019

• fix packaging script (#636)

  

  dwightguth

  authored
  82de390

  Copy full SHA for 82de390

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 11, 2019

• fix bug in mac build (#606)

  Show description for 6e93392
  

  dwightguth

  authored and

  ehildenb

  committed
  6e93392

  Copy full SHA for 6e93392

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

Commits on Apr 5, 2019

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

  Show description for dd587fd
  

  dwightguth

  authored
  dd587fd

  Copy full SHA for dd587fd

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 24, 2019

• initial commit of experimental jenkins pipeline (#264)

  Show description for da20eba
  

  dwightguth

  authored
  da20eba

  Copy full SHA for da20eba

Commits on Jan 23, 2019

• Build debian package (#262)

  Show description for 2cf7d45
  

  dwightguth

  authored
  2cf7d45

  Copy full SHA for 2cf7d45

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

  Show description for 91a69ed
  

  dwightguth

  authored
  91a69ed

  Copy full SHA for 91a69ed

Commits on Jan 11, 2019

• Build llvm backend into k (#226)

  Show description for 3a99d12
  

  dwightguth

  authored
  3a99d12

  Copy full SHA for 3a99d12

Commits on Jan 7, 2019

• Make Jenkins testing script runnable locally without Jenkins environment setup (#237)

  Show description for 745bf3c
  

  ehildenb

  authored and

  dwightguth

  committed
  745bf3c

  Copy full SHA for 745bf3c

Commits on Dec 28, 2018

• src/.../scripts/jenkins: switch over to exactly jenkins script (#236)

  

  ehildenb

  authored and

  dwightguth

  committed
  6bc147f

  Copy full SHA for 6bc147f

Commits on Dec 27, 2018

• Uniform way of setting KSERVER_SOCKET in lib/checkJava (#235)

  Show description for 4168063
  

  ehildenb

  authored and

  dwightguth

  committed
  4168063

  Copy full SHA for 4168063

Commits on Oct 8, 2018

• update nightly release with new ci params

  

  Dwight Guth

  committed
  7965762

  Copy full SHA for 7965762

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Feb 16, 2018

• fix nightly release script after repo moved (#727)

  

  dwightguth

  authored
  617cf3f

  Copy full SHA for 617cf3f

Commits on Feb 12, 2018

• more escaping fixes to nightly release for k

  

  Dwight Guth

  committed
  babeea3

  Copy full SHA for babeea3

• fix nightly-release script

  

  Dwight Guth

  committed
  02ea0eb

  Copy full SHA for 02ea0eb

Commits on Feb 9, 2018

• fix broken ktest (#699)

  Show description for 12c80e6
  

  dwightguth

  authored
  12c80e6

  Copy full SHA for 12c80e6

Commits on Feb 8, 2018

• fix bug in nightly-release script (#694)

  

  dwightguth

  authored
  9296b58

  Copy full SHA for 9296b58

Commits on Feb 7, 2018

• update install instructions and fix release process (#676)

  Show description for be4d67d
  

  dwightguth

  authored
  be4d67d

  Copy full SHA for be4d67d

Commits on Jan 30, 2018

• RV-K tutorial exercises (#662)

  Show description for a07c02d
  

  dwightguth

  authored
  a07c02d

  Copy full SHA for a07c02d

Commits on Jan 7, 2016

• fix copyright

  Show description for 5e595bc
  

  Dwight Guth

  committed
  5e595bc

  Copy full SHA for 5e595bc