Commits

Breadcrumbs

History for

onthreads

User selector

All users

All time

Commit History

Commits on Jan 20, 2016

• fix copyright

  

  Dwight Guth

  committed
  433ddb1

  Copy full SHA for 433ddb1

• several scalability fixes to krun

  

  Dwight Guth

  committed
  23083e6

  Copy full SHA for 23083e6

Commits on Jan 19, 2016

• Merge pull request #2093 from kframework/hotfix/pgm-start-symbol

  Show description for aeb79d0
  andreistefanescu

  committed
  aeb79d0

  Copy full SHA for aeb79d0

Commits on Jan 18, 2016

• bottom sort for lists with identical klabels

  Show description for 2bdc913
  cos

  committed
  2bdc913

  Copy full SHA for 2bdc913

• add mapping from config variables to sorts

  Show description for 345dfbd
  cos

  committed
  345dfbd

  Copy full SHA for 345dfbd

Commits on Jan 15, 2016

• exception: priority tag with no associated prod.

  Show description for 3ae5a2d
  cos

  committed
  3ae5a2d

  Copy full SHA for 3ae5a2d

Commits on Jan 8, 2016

• fix cosmin's comments

  Show description for 035ffcb
  

  Dwight Guth

  committed
  035ffcb

  Copy full SHA for 035ffcb

Commits on Jan 7, 2016

• Merge branch 'master' into binary

  Show description for 1c0529f
  

  Dwight Guth

  committed
  1c0529f

  Copy full SHA for 1c0529f

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

• fix copyright

  Show description for 5e595bc
  

  Dwight Guth

  committed
  5e595bc

  Copy full SHA for 5e595bc

• fix concatenation of terms together

  Show description for 98015a2
  

  Dwight Guth

  committed
  98015a2

  Copy full SHA for 98015a2

Commits on Jan 6, 2016

• Merge branch 'master' into binary

  Show description for f854edd
  

  Dwight Guth

  committed
  f854edd

  Copy full SHA for f854edd

Commits on Dec 28, 2015

• fixes

  Show description for 9d185e5
  cos

  committed
  9d185e5

  Copy full SHA for 9d185e5

• Parser @API interface

  Show description for 205711c
  cos

  committed
  205711c

  Copy full SHA for 205711c

Commits on Dec 9, 2015

• Merge remote-tracking branch 'origin/feature/configuration-inheritance' into feature/basic-strategies

  Show description for cd6d82f
  cos

  committed
  cd6d82f

  Copy full SHA for cd6d82f

• Move KRewrite.scala out of src/main/java directory

  Show description for 01bf887
  bmmoore

  committed
  01bf887

  Copy full SHA for 01bf887

Commits on Dec 8, 2015

• allow THIS_CONFIGURATION on the RHS

  Show description for 6ed9ca2
  cos

  committed
  6ed9ca2

  Copy full SHA for 6ed9ca2

• Merge remote-tracking branch 'origin/feature/better-kore-transformers' into feature/basic-strategies

  Show description for 505ad38
  cos

  committed
  505ad38

  Copy full SHA for 505ad38

• copyright

  Show description for 04e687a
  cos

  committed
  04e687a

  Copy full SHA for 04e687a

Commits on Dec 7, 2015

• extra utilities

  Show description for 4151350
  cos

  committed
  4151350

  Copy full SHA for 4151350

• extra utilities

  Show description for 16c98b5
  cos

  committed
  16c98b5

  Copy full SHA for 16c98b5

• Merge branch 'feature/better-kore-transformers' into feature/basic-strategies

  Show description for e22b4b8
  cos

  committed
  e22b4b8

  Copy full SHA for e22b4b8

Commits on Dec 6, 2015

• changes to transformers

  Show description for 1763c98
  cos

  committed
  1763c98

  Copy full SHA for 1763c98

• K transformers refactoring and improvements

  Show description for 962634b
  cos

  committed
  962634b

  Copy full SHA for 962634b

Commits on Nov 28, 2015

• Merge branch 'feature/refactoring-of-scala-use' into feature/basic-strategies

  Show description for 7e5b10a
  cos

  committed
  7e5b10a

  Copy full SHA for 7e5b10a

Commits on Nov 27, 2015

• Merge remote-tracking branch 'remotes/origin/master' into feature/supercooling-by-strategy

  Show description for d180c6c
  cos

  committed
  d180c6c

  Copy full SHA for d180c6c

Commits on Nov 20, 2015

• more optimizations

  Show description for b14bece
  

  Dwight Guth

  committed
  b14bece

  Copy full SHA for b14bece

Commits on Nov 18, 2015

• make scala collections use uniform

  Show description for 46a2ba9
  cos

  committed
  46a2ba9

  Copy full SHA for 46a2ba9

• temp

  Show description for 0ffeb11
  

  Dwight Guth

  committed
  0ffeb11

  Copy full SHA for 0ffeb11

• fast binary parser for k

  Show description for 39e91c5
  

  Dwight Guth

  committed
  39e91c5

  Copy full SHA for 39e91c5

Commits on Nov 16, 2015

• fix for generated top

  Show description for 9e2a190
  cos

  committed
  9e2a190

  Copy full SHA for 9e2a190

Commits on Nov 5, 2015

• work around not having ConfigurationInfo

  Show description for d007c82
  cos

  committed
  d007c82

  Copy full SHA for d007c82

• not using constant anymore

  Show description for 7b7cad7
  cos

  committed
  7b7cad7

  Copy full SHA for 7b7cad7

Commits on Nov 4, 2015

• use KLabels.TOP_CELL constant everywhere

  Show description for 4a22037
  cos

  committed
  4a22037

  Copy full SHA for 4a22037

• refactor generated-top

  Show description for e068830
  cos

  committed
  e068830

  Copy full SHA for e068830