Commits

Breadcrumbs

History for

onthreads

User selector

All users

All time

Commit History

Commits on Mar 2, 2016

• threads

  

  Dwight Guth

  committed
  0237b4c

  Copy full SHA for 0237b4c

Commits on Feb 29, 2016

• threads

  

  Dwight Guth

  committed
  f043df7

  Copy full SHA for f043df7

Commits on Feb 2, 2016

• fix edgar's comment

  

  Dwight Guth

  committed
  7fc6489

  Copy full SHA for 7fc6489

• fix bug in support for strings in kcc

  

  Dwight Guth

  committed
  4a7a08a

  Copy full SHA for 4a7a08a

Commits on Jan 27, 2016

• uuid function for k

  

  Dwight Guth

  committed
  d21eaf4

  Copy full SHA for d21eaf4

Commits on Jan 25, 2016

• add a couple cases to make dealing with maps easier + add a few checks for rewrites

  

  Dwight Guth

  committed
  d098d10

  Copy full SHA for d098d10

Commits on Jan 20, 2016

• Merge pull request #6 from runtimeverification/domains

  Show description for 1d43f7d
  

  dwightguth

  committed
  1d43f7d

  Copy full SHA for 1d43f7d

• roll back to good commit of domains

  

  Dwight Guth

  committed
  5643957

  Copy full SHA for 5643957

• several scalability fixes to krun

  

  Dwight Guth

  committed
  23083e6

  Copy full SHA for 23083e6

Commits on Jan 17, 2016

• Merge branch 'master' of https://github.com/kframework/k into 5_typesAllLessons

  Show description for f6401db
  laurayuwen

  committed
  f6401db

  Copy full SHA for f6401db

Commits on Jan 16, 2016

• Fix variable type inferencer.

  Show description for b5612a0
  radumereuta

  committed
  b5612a0

  Copy full SHA for b5612a0

Commits on Jan 15, 2016

• Merge branch 'hotfix/fix-copyright-for-k-files' into hotfix/fix2000

  Show description for c118c5c
  cos

  committed
  c118c5c

  Copy full SHA for c118c5c

• also with single year

  Show description for e0cf923
  cos

  committed
  e0cf923

  Copy full SHA for e0cf923

• update copyright for all k files

  Show description for 7a4d30e
  cos

  committed
  7a4d30e

  Copy full SHA for 7a4d30e

• remove quote througout

  Show description for 1902c82
  cos

  committed
  1902c82

  Copy full SHA for 1902c82

Commits on Jan 14, 2016

• rename # in unification.k

  Show description for a56b732
  

  laurayuwen

  authored and

  xiaohe27

  committed
  a56b732

  Copy full SHA for a56b732

Commits on Jan 13, 2016

• Merge branch 'master' into fix1943

  Show description for f0e16d5
  radumereuta

  committed
  f0e16d5

  Copy full SHA for f0e16d5

Commits on Jan 12, 2016

• Fix copyrights.

  Show description for 544b750
  radumereuta

  committed
  544b750

  Copy full SHA for 544b750

• Fixing #1943. Remove backtick and leave only parenthesis as brackets for sort K.

  Show description for fd8373e
  radumereuta

  committed
  fd8373e

  Copy full SHA for fd8373e

Commits on Jan 9, 2016

• Merge remote-tracking branch 'upstream/master' into feature/java-backend-assoc2

  Show description for dd0fd27
  andreistefanescu

  committed
  dd0fd27

  Copy full SHA for dd0fd27

Commits on Jan 7, 2016

• more optimizations to make binary parsing faster

  Show description for 4c5af28
  

  Dwight Guth

  committed
  4c5af28

  Copy full SHA for 4c5af28

• fix copyright

  Show description for f43de84
  

  Dwight Guth

  committed
  f43de84

  Copy full SHA for f43de84

• fix concatenation of terms together

  Show description for 98015a2
  

  Dwight Guth

  committed
  98015a2

  Copy full SHA for 98015a2

Commits on Jan 6, 2016

• Merge remote-tracking branch 'upstream/master' into feature/java-backend-assoc2

  Show description for bb98c98
  andreistefanescu

  committed
  bb98c98

  Copy full SHA for bb98c98

• Merge branch 'master' into binary

  Show description for f854edd
  

  Dwight Guth

  committed
  f854edd

  Copy full SHA for f854edd

Commits on Jan 3, 2016

• imports DOMAINS-SYNTAX in DOMAINS

  Show description for 0c0458c
  laurayuwen

  committed
  0c0458c

  Copy full SHA for 0c0458c

Commits on Jan 2, 2016

• require "kast.k"

  Show description for 9a76f73
  cos

  committed
  9a76f73

  Copy full SHA for 9a76f73

• noPrelude for some tests

  Show description for 554a414
  cos

  committed
  554a414

  Copy full SHA for 554a414

Commits on Jan 1, 2016

• remove K-IO from DOMAINS

  Show description for 4c9e159
  cos

  committed
  4c9e159

  Copy full SHA for 4c9e159

Commits on Dec 30, 2015

• Add parenthesis as brackets for sort K. #1932

  Show description for fa19b37
  radumereuta

  committed
  fa19b37

  Copy full SHA for fa19b37

Commits on Dec 27, 2015

• Merge remote-tracking branch 'upstream/master' into feature/java-backend-assoc2

  Show description for ad6d87a
  andreistefanescu

  committed
  ad6d87a

  Copy full SHA for ad6d87a

Commits on Dec 26, 2015

• fixes to associative lists and their hooks

  Show description for 68fce41
  andreistefanescu

  committed
  68fce41

  Copy full SHA for 68fce41

• Merge pull request #1949 from kframework/hotfix/rename-common-syntax-modules

  Show description for 8e3c3ec
  grosu

  committed
  8e3c3ec

  Copy full SHA for 8e3c3ec

Commits on Dec 23, 2015

• fix

  Show description for a4464d7
  cos

  committed
  a4464d7

  Copy full SHA for a4464d7

• try rename

  Show description for c87dc87
  cos

  committed
  c87dc87

  Copy full SHA for c87dc87