Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

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

Commits on Jul 10, 2015

• more tweaks to ocaml: many C programs now compile and execute

  Show description for 09d9f37
  

  Dwight Guth

  committed
  09d9f37

  Copy full SHA for 09d9f37

Commits on Jan 2, 2015

• update copyright for 2015 + update copyright on often-modified files

  Show description for 978c82c
  

  Dwight Guth

  committed
  978c82c

  Copy full SHA for 978c82c

Commits on Sep 25, 2014

• fix copyright

  Show description for d7248af
  

  Dwight Guth

  committed
  d7248af

  Copy full SHA for d7248af

• rename files

  Show description for 728a750
  

  Dwight Guth

  committed
  728a750

  Copy full SHA for 728a750

Commits on Sep 12, 2014

• fix spaces on linux

  Show description for 2478d1a
  

  Dwight Guth

  committed
  2478d1a

  Copy full SHA for 2478d1a

• add quotes to PATH in batch scripts

  Show description for 96638a6
  

  Dwight Guth

  committed
  96638a6

  Copy full SHA for 96638a6

• refactor build system to use maven - change code files to make build system work

  Show description for 6cf97cf
  

  Dwight Guth

  committed
  6cf97cf

  Copy full SHA for 6cf97cf

• refactor build system to use maven - moving all files

  Show description for 43ad501
  

  Dwight Guth

  committed
  43ad501

  Copy full SHA for 43ad501