Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

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 Feb 25, 2019

• Various improvements to K frontend (#306)

  Show description for 025a572
  

  dwightguth

  authored
  025a572

  Copy full SHA for 025a572

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

• Fix illegal reflective access warnings in Java 11 (#266)

  Show description for 7b591d3
  

  dwightguth

  authored
  7b591d3

  Copy full SHA for 7b591d3

Commits on Jan 23, 2019

• 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 Aug 25, 2018

• Json output (#136)

  Show description for a7f642d
  

  ehildenb

  authored and

  dwightguth

  committed
  a7f642d

  Copy full SHA for a7f642d

Commits on May 15, 2018

• Rule coverage tool for K (#66)

  Show description for af3c952
  

  dwightguth

  authored
  af3c952

  Copy full SHA for af3c952

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Jan 30, 2018

• RV-K tutorial exercises (#662)

  Show description for a07c02d
  

  dwightguth

  authored
  a07c02d

  Copy full SHA for a07c02d

Commits on Aug 31, 2017

• Update dep versions & copyrights for release. (#510)

  

  chathhorn

  authored and

  dwightguth

  committed
  563bc28

  Copy full SHA for 563bc28

Commits on Aug 25, 2017

• fix encoding issue in k startup scripts (#505)

  

  dwightguth

  authored
  3479cd4

  Copy full SHA for 3479cd4

Commits on Mar 16, 2016

• k as submodule

  

  Dwight Guth

  committed
  53d1801

  Copy full SHA for 53d1801

• Merge branch 'master' into nailgun-passwd

  

  dwightguth

  committed
  4ba67b8

  Copy full SHA for 4ba67b8

Commits on Feb 22, 2016

• fix copyright

  

  Dwight Guth

  committed
  76718f4

  Copy full SHA for 76718f4

• delete code reference

  

  Dwight Guth

  committed
  bc7a16f

  Copy full SHA for bc7a16f

Commits on Jan 25, 2016

• fix pom for other oses

  

  Dwight Guth

  committed
  fcb73e8

  Copy full SHA for fcb73e8

• use unix domain sockets for kserver on windows (more secure)

  

  Dwight Guth

  committed
  78d01f9

  Copy full SHA for 78d01f9

Commits on Dec 10, 2015

• [maven-release-plugin] prepare for next development iteration

  Show description for 506ac96
  

  Dwight Guth

  committed
  506ac96

  Copy full SHA for 506ac96

• [maven-release-plugin] prepare release v4.0-beta3

  Show description for 7bf74a1
  

  Dwight Guth

  committed
  7bf74a1

  Copy full SHA for 7bf74a1

Commits on Dec 1, 2015

• [maven-release-plugin] prepare for next development iteration

  Show description for 08bb92d
  

  Dwight Guth

  committed
  08bb92d

  Copy full SHA for 08bb92d

• [maven-release-plugin] prepare release v4.0-beta2

  Show description for 937502c
  

  Dwight Guth

  committed
  937502c

  Copy full SHA for 937502c

Commits on Nov 30, 2015

• [maven-release-plugin] prepare for next development iteration

  Show description for 40aef2b
  

  Dwight Guth

  committed
  40aef2b

  Copy full SHA for 40aef2b

• [maven-release-plugin] prepare release v4.0-beta1

  Show description for 39b00b0
  

  Dwight Guth

  committed
  39b00b0

  Copy full SHA for 39b00b0

Commits on Nov 4, 2015

• update build system to remove sdf stuff

  Show description for af187d1
  

  Dwight Guth

  committed
  af187d1

  Copy full SHA for af187d1

Commits on Aug 25, 2015

• autocomplete working with jline 2

  Show description for 1b943cb
  msaxena2

  committed
  1b943cb

  Copy full SHA for 1b943cb

Commits on Aug 21, 2015

• [maven-release-plugin] prepare for next development iteration

  Show description for 2236ff2
  

  Dwight Guth

  committed
  2236ff2

  Copy full SHA for 2236ff2

• [maven-release-plugin] prepare release v3.6

  Show description for 3a29418
  

  Dwight Guth

  committed
  3a29418

  Copy full SHA for 3a29418

Commits on Aug 10, 2015

• fix #1610 - use new nailgun version

  Show description for 3320c07
  

  Dwight Guth

  committed
  3320c07

  Copy full SHA for 3320c07

Commits on Apr 30, 2015

• basic KORE-based execution in krun

  Show description for 3ae0621
  cos

  committed
  3ae0621

  Copy full SHA for 3ae0621

Commits on Apr 14, 2015

• more improvements to new parser

  Show description for 7f378d5
  

  Dwight Guth

  committed
  7f378d5

  Copy full SHA for 7f378d5

Commits on Jan 13, 2015

• output mode smart replaced with sound, sped up pretty

  Show description for 5b85331
  

  Dwight Guth

  committed
  5b85331

  Copy full SHA for 5b85331

Commits on Dec 23, 2014

• change output binary to stream output

  Show description for 1494bbc
  

  Dwight Guth

  committed
  1494bbc

  Copy full SHA for 1494bbc

Commits on Dec 20, 2014

• Merge branch 'master' into kill-maude-dead2

  Show description for d2117ab
  

  Dwight Guth

  committed
  d2117ab

  Copy full SHA for d2117ab

Commits on Dec 19, 2014

• [maven-release-plugin] prepare for next development iteration

  Show description for 441ba18
  dwightguth

  committed
  441ba18

  Copy full SHA for 441ba18

• [maven-release-plugin] prepare release v3.5

  Show description for 3f551ee
  dwightguth

  committed
  3f551ee

  Copy full SHA for 3f551ee