Commits

Breadcrumbs

History for

onthreads

User selector

All users

All time

Commit History

Commits on Feb 29, 2016

• threads

  

  Dwight Guth

  committed
  f043df7

  Copy full SHA for f043df7

Commits on Jan 25, 2016

• make better error message for ambiguity

  

  Dwight Guth

  committed
  9aa60b0

  Copy full SHA for 9aa60b0

Commits on Jan 20, 2016

• Merge pull request #6 from runtimeverification/domains

  Show description for 1d43f7d
  

  dwightguth

  committed
  1d43f7d

  Copy full SHA for 1d43f7d

• add comment and rename parameter

  

  Dwight Guth

  committed
  e12683b

  Copy full SHA for e12683b

• giant ugly hack

  

  Dwight Guth

  committed
  6028b73

  Copy full SHA for 6028b73

• 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

• Merge pull request #2088 from kframework/hotfix/unparse-token-with-no-production

  Show description for c79476f
  laurayuwen

  committed
  c79476f

  Copy full SHA for c79476f

• note to self: compile before pushing

  Show description for 77c3079
  cos

  committed
  77c3079

  Copy full SHA for 77c3079

• reset sort to KString when unknown

  Show description for 665804e
  cos

  committed
  665804e

  Copy full SHA for 665804e

• bottom sort for lists with identical klabels

  Show description for 2bdc913
  cos

  committed
  2bdc913

  Copy full SHA for 2bdc913

• Merge remote-tracking branch 'remotes/origin/master' into hotfix/pgm-start-symbol

  Show description for 8890c7d
  cos

  committed
  8890c7d

  Copy full SHA for 8890c7d

• add mapping from config variables to sorts

  Show description for 345dfbd
  cos

  committed
  345dfbd

  Copy full SHA for 345dfbd

• allow unparsing tokens with no productions

  Show description for 85f38fb
  cos

  committed
  85f38fb

  Copy full SHA for 85f38fb

• and apply to programs as well

  Show description for 0ce19db
  cos

  committed
  0ce19db

  Copy full SHA for 0ce19db

Commits on Jan 17, 2016

• stage converting KTokens to Variables

  Show description for 6ebc4d5
  cos

  committed
  6ebc4d5

  Copy full SHA for 6ebc4d5

• Merge pull request #2038 from kframework/feature/super-strict

  Show description for 94e1688
  cos

  committed
  94e1688

  Copy full SHA for 94e1688

• [em] refactoring

  Show description for 9b50956
  daejunpark

  committed
  9b50956

  Copy full SHA for 9b50956

• [em] move into existing class

  Show description for 8584c39
  daejunpark

  committed
  8584c39

  Copy full SHA for 8584c39

• [em] fix #2068

  Show description for d101711
  daejunpark

  committed
  d101711

  Copy full SHA for d101711

• Merge remote-tracking branch 'upstream/master' into feature/super-strict

  Show description for c12c994
  andreistefanescu

  committed
  c12c994

  Copy full SHA for c12c994

• change super-strict to transition

  Show description for 90aeab0
  andreistefanescu

  committed
  90aeab0

  Copy full SHA for 90aeab0

• [em] print cell name

  Show description for b021865
  daejunpark

  committed
  b021865

  Copy full SHA for b021865

• fix exception trace source/location format

  Show description for 9793c3e
  daejunpark

  committed
  9793c3e

  Copy full SHA for 9793c3e

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 9, 2016

• wip

  Show description for 306c5da
  andreistefanescu

  committed
  306c5da

  Copy full SHA for 306c5da

• 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 8, 2016

• fix cosmin's comments

  Show description for 035ffcb
  

  Dwight Guth

  committed
  035ffcb

  Copy full SHA for 035ffcb

• more optimizations

  Show description for ae6f3db
  

  Dwight Guth

  committed
  ae6f3db

  Copy full SHA for ae6f3db

• wip

  Show description for 4075467
  andreistefanescu

  committed
  4075467

  Copy full SHA for 4075467

Commits on Jan 7, 2016

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

  Show description for f7d6ca9
  andreistefanescu

  committed
  f7d6ca9

  Copy full SHA for f7d6ca9

• more optimizations to make binary parsing faster

  Show description for 4c5af28
  

  Dwight Guth

  committed
  4c5af28

  Copy full SHA for 4c5af28

• 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