Commits

Breadcrumbs

History for

ontimeout-kserver

User selector

All users

All time

Commit History

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 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 Feb 8, 2018

• add proof regression test and fix z3 library to use JNA (#695)

  Show description for 90facd6
  

  dwightguth

  authored
  90facd6

  Copy full SHA for 90facd6

• Java 9 support (#686)

  Show description for b2b710c
  

  dwightguth

  authored
  b2b710c

  Copy full SHA for b2b710c

Commits on Dec 22, 2017

• Java backend in RV-K (#643)

  Show description for a2d9c54
  

  dwightguth

  authored
  a2d9c54

  Copy full SHA for a2d9c54

Commits on Nov 17, 2016

• delete a bunch of stuff (#295)

  Show description for 2f2e734
  

  dwightguth

  authored
  2f2e734

  Copy full SHA for 2f2e734

Commits on Mar 16, 2016

• k as submodule

  

  Dwight Guth

  committed
  53d1801

  Copy full SHA for 53d1801

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 Sep 2, 2015

• Revert "Revert "added support for cells with multiplicity=* in the kore to java-backe…""

  Show description for 9ce6260
  andreistefanescu

  committed
  9ce6260

  Copy full SHA for 9ce6260

Commits on Aug 31, 2015

• Revert "added support for cells with multiplicity=* in the kore to java-backe…"

  Show description for a5c05c5
  

  dwightguth

  committed
  a5c05c5

  Copy full SHA for a5c05c5

Commits on Aug 29, 2015

• Merge pull request #1639 from andreistefanescu/kore1

  Show description for 70c4992
  andreistefanescu

  committed
  70c4992

  Copy full SHA for 70c4992

Commits on Aug 27, 2015

• updated cloning library

  Show description for a2513b8
  andreistefanescu

  committed
  a2513b8

  Copy full SHA for a2513b8

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 Jan 30, 2015

• Revert "Revert "Symbolic constraint refactoring""

  Show description for c7b36c4
  andreistefanescu

  committed
  c7b36c4

  Copy full SHA for c7b36c4

Commits on Jan 29, 2015

• Revert "Symbolic constraint refactoring"

  Show description for 54ab470
  

  dwightguth

  committed
  54ab470

  Copy full SHA for 54ab470

Commits on Jan 23, 2015

• Merge remote-tracking branch 'upstream/master'

  Show description for 658872a
  andreistefanescu

  committed
  658872a

  Copy full SHA for 658872a

Commits on Jan 22, 2015

• fix copyright... ugh...

  Show description for 7fd87d1
  cos

  committed
  7fd87d1

  Copy full SHA for 7fd87d1

Commits on Jan 16, 2015

• added pcollections to pom.xml

  Show description for b7d8bda
  andreistefanescu

  committed
  b7d8bda

  Copy full SHA for b7d8bda

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

• update changelog and poms for release version 3.5

  Show description for 407f3f3
  

  Dwight Guth

  committed
  407f3f3

  Copy full SHA for 407f3f3

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Commits on Oct 22, 2014

• clean up some pom dependencies

  Show description for 0b2c32c
  

  Dwight Guth

  committed
  0b2c32c

  Copy full SHA for 0b2c32c

Commits on Oct 10, 2014

• switch to new universal distribution format

  Show description for 72d953f
  

  Dwight Guth

  committed
  72d953f

  Copy full SHA for 72d953f

Commits on Oct 6, 2014

• fix missing classifier in pom

  Show description for 4bbcf1a
  

  Dwight Guth

  committed
  4bbcf1a

  Copy full SHA for 4bbcf1a

• fix z3 on windows machines that do not have ms vc++

  Show description for 9874b4b
  

  Dwight Guth

  committed
  9874b4b

  Copy full SHA for 9874b4b