Commits

Breadcrumbs

History for

onrefs/heads/master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 13, 2024

• Bump minor version to 7.1.0 (#4441)

  Show description for 4e8b76c
  

  Baltoli

  and

  tothtamas28

  authored
  4e8b76c

  Copy full SHA for 4e8b76c

Commits on Apr 10, 2024

• Bump version to 7.0.0

  Show description for 0572aa5
  Baltoli

  committed
  0572aa5

  Copy full SHA for 0572aa5

Commits on Feb 22, 2024

• Update dependency: llvm-backend/src/main/native/llvm-backend (#4023)

  Show description for d769fd4
  

  3 peopleauthored
  d769fd4

  Copy full SHA for d769fd4

Commits on Jan 31, 2024

• Update dependency: llvm-backend/src/main/native/llvm-backend (#3938)

  Show description for 1e26f72
  

  3 peopleauthored
  1e26f72

  Copy full SHA for 1e26f72

Commits on Dec 18, 2023

• Migrate from Checkstyle to Spotless (#3874)

  Show description for b5c6368
  

  Scott-Guest

  and

  rv-jenkins

  authored
  b5c6368

  Copy full SHA for b5c6368

Commits on Nov 8, 2023

• V6.1.0 rc (#3744)

  Show description for e9ed600
  

  radumereuta

  and

  Baltoli

  authored
  e9ed600

  Copy full SHA for e9ed600

Commits on Jun 27, 2023

• V6.0.0 rc (#3405)

  Show description for eaac5dd
  radumereuta

  authored
  eaac5dd

  Copy full SHA for eaac5dd

Commits on Apr 5, 2023

• Update timeout (#3296)

  Show description for 685e442
  radumereuta

  authored
  685e442

  Copy full SHA for 685e442

Commits on Mar 21, 2023

• V5.6.0 rc (#3261)

  Show description for 37a7f8d
  

  radumereuta

  and

  rv-jenkins

  authored
  37a7f8d

  Copy full SHA for 37a7f8d

Commits on Feb 22, 2023

• Fix copyright check (#3118)

  Show description for 275a13b
  

  Dwight Guth

  and

  devops

  authored
  275a13b

  Copy full SHA for 275a13b

Commits on Oct 21, 2022

• V5.5.0 rc (#3006)

  Show description for 29e4856
  

  radumereuta

  and

  rv-jenkins

  authored
  29e4856

  Copy full SHA for 29e4856

Commits on Mar 24, 2022

• Version 5.3 (#2500)

  Show description for 735971b
  radumereuta

  authored
  735971b

  Copy full SHA for 735971b

Commits on Jan 25, 2022

• rename kframework/k -> runtimeverification/k (#2416)

  Show description for 0c6a0f9
  

  Dwight Guth

  and

  rv-jenkins

  authored
  0c6a0f9

  Copy full SHA for 0c6a0f9

Commits on Nov 11, 2021

• Version 5.2 (#2027)

  Show description for f41be7b
  

  ehildenb

  and

  radumereuta

  authored
  f41be7b

  Copy full SHA for f41be7b

Commits on Apr 22, 2021

• Version 5.1 (#1921)

  Show description for 3342ca6
  ehildenb

  authored
  3342ca6

  Copy full SHA for 3342ca6

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

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Aug 20, 2015

• update documentation in preparation for K 3.6 release

  Show description for 488baac
  

  Dwight Guth

  committed
  488baac

  Copy full SHA for 488baac

Commits on Mar 17, 2015

• Merge pull request #1403 from dwightguth/default

  Show description for 911ed5e
  

  dwightguth

  committed
  911ed5e

  Copy full SHA for 911ed5e

Commits on Mar 13, 2015

• remove K_NAILGUN env variable

  Show description for 800dc77
  

  Dwight Guth

  committed
  800dc77

  Copy full SHA for 800dc77

• make PatternMatchRewriter the default

  Show description for 764f7c2
  

  Dwight Guth

  committed
  764f7c2

  Copy full SHA for 764f7c2

Commits on Jan 2, 2015

• fix copyright

  Show description for 8a2cec5
  

  Dwight Guth

  committed
  8a2cec5

  Copy full SHA for 8a2cec5

• add better guice scoping in order to share definition deserialization across invocations in a server

  Show description for 992230d
  

  Dwight Guth

  committed
  992230d

  Copy full SHA for 992230d

Commits on Dec 23, 2014

• remove output mode raw

  Show description for 9e10502
  

  Dwight Guth

  committed
  9e10502

  Copy full SHA for 9e10502

Commits on Dec 19, 2014

• fixes from traian's review

  Show description for 4212439
  

  Dwight Guth

  committed
  4212439

  Copy full SHA for 4212439

• update changelog and poms for release version 3.5

  Show description for 407f3f3
  

  Dwight Guth

  committed
  407f3f3

  Copy full SHA for 407f3f3

Commits on Dec 3, 2014

• add new entry to changelog for modular sorts

  Show description for d5e689e
  

  Dwight Guth

  committed
  d5e689e

  Copy full SHA for d5e689e

Commits on Nov 7, 2014

• update changelog with breaking change

  Show description for 587de2e
  

  Dwight Guth

  committed
  587de2e

  Copy full SHA for 587de2e

Commits on Aug 6, 2014

• updated ant pack and chenged capitalization to chaangelog

  Show description for 53fa538
  traiansf

  committed
  53fa538

  Copy full SHA for 53fa538

Loading