Commits

Breadcrumbs

History for

onthreads

User selector

All users

All time

Commit History

Commits on Jan 21, 2016

• fix test failure

  

  Dwight Guth

  committed
  949eade

  Copy full SHA for 949eade

• fix equals check on klabel

  

  Dwight Guth

  committed
  486fd82

  Copy full SHA for 486fd82

Commits on Jan 20, 2016

• Merge pull request #6 from runtimeverification/domains

  Show description for 1d43f7d
  

  dwightguth

  committed
  1d43f7d

  Copy full SHA for 1d43f7d

• giant ugly hack

  

  Dwight Guth

  committed
  6028b73

  Copy full SHA for 6028b73

• several scalability fixes to krun

  

  Dwight Guth

  committed
  23083e6

  Copy full SHA for 23083e6

Commits on Jan 19, 2016

• this is a bit too easy...

  Show description for fe3b9f3
  cos

  committed
  fe3b9f3

  Copy full SHA for fe3b9f3

Commits on Jan 18, 2016

• bottom sort for lists with identical klabels

  Show description for 2bdc913
  cos

  committed
  2bdc913

  Copy full SHA for 2bdc913

• Merge pull request #2059 from kframework/logik

  Show description for e73a25e
  laurayuwen

  committed
  e73a25e

  Copy full SHA for e73a25e

• Merge pull request #2073 from kframework/fix_search_pattern

  Show description for b08fc57
  cos

  committed
  b08fc57

  Copy full SHA for b08fc57

• address some comments

  Show description for 3508a5f
  andreistefanescu

  committed
  3508a5f

  Copy full SHA for 3508a5f

• fix description

  Show description for 7bdcb77
  cos

  committed
  7bdcb77

  Copy full SHA for 7bdcb77

• fixed binder (for now)

  Show description for 7367840
  andreistefanescu

  committed
  7367840

  Copy full SHA for 7367840

• and apply to programs as well

  Show description for 0ce19db
  cos

  committed
  0ce19db

  Copy full SHA for 0ce19db

• wip

  Show description for 26b75e6
  andreistefanescu

  committed
  26b75e6

  Copy full SHA for 26b75e6

• remove CellCollection use from KOREtoBackendKIL

  Show description for 0bce4e8
  andreistefanescu

  committed
  0bce4e8

  Copy full SHA for 0bce4e8

• Revert "Revert "use new pattern matcher for search patterns""

  Show description for 6466f1d
  andreistefanescu

  committed
  6466f1d

  Copy full SHA for 6466f1d

Commits on Jan 17, 2016

• stage converting KTokens to Variables

  Show description for 6ebc4d5
  cos

  committed
  6ebc4d5

  Copy full SHA for 6ebc4d5

• Revert "use new pattern matcher for search patterns"

  Show description for 5f0d114
  andreistefanescu

  committed
  5f0d114

  Copy full SHA for 5f0d114

• use new pattern matcher for search patterns

  Show description for 98af7f0
  andreistefanescu

  committed
  98af7f0

  Copy full SHA for 98af7f0

• change super-strict to transition

  Show description for 90aeab0
  andreistefanescu

  committed
  90aeab0

  Copy full SHA for 90aeab0

• minor

  Show description for 97739b3
  andreistefanescu

  committed
  97739b3

  Copy full SHA for 97739b3

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

  Show description for b130d3a
  andreistefanescu

  committed
  b130d3a

  Copy full SHA for b130d3a

• wip

  Show description for 2eb2fea
  andreistefanescu

  committed
  2eb2fea

  Copy full SHA for 2eb2fea

Commits on Jan 16, 2016

• wip

  Show description for 017b66f
  andreistefanescu

  committed
  017b66f

  Copy full SHA for 017b66f

• wip

  Show description for 8eae1ac
  andreistefanescu

  committed
  8eae1ac

  Copy full SHA for 8eae1ac

Commits on Jan 15, 2016

• rename superheat to super-strict; remove supercool

  Show description for 6c61a30
  andreistefanescu

  committed
  6c61a30

  Copy full SHA for 6c61a30

• wip

  Show description for 86be634
  andreistefanescu

  committed
  86be634

  Copy full SHA for 86be634

• wip

  Show description for 6639815
  andreistefanescu

  committed
  6639815

  Copy full SHA for 6639815

• wip

  Show description for 9f05270
  andreistefanescu

  committed
  9f05270

  Copy full SHA for 9f05270

• remove quote througout

  Show description for 1902c82
  cos

  committed
  1902c82

  Copy full SHA for 1902c82

• remove dropQuote

  Show description for 130d3fc
  cos

  committed
  130d3fc

  Copy full SHA for 130d3fc

Commits on Jan 14, 2016

• wip

  Show description for 3d2576a
  andreistefanescu

  committed
  3d2576a

  Copy full SHA for 3d2576a

• add support for super heating/cooling

  Show description for 949972f
  andreistefanescu

  committed
  949972f

  Copy full SHA for 949972f

Commits on Jan 12, 2016

• Merge pull request #1955 from kframework/feature/java-backend-assoc2

  Show description for 2cd48c5
  cos

  committed
  2cd48c5

  Copy full SHA for 2cd48c5

• comments

  Show description for f78a0bb
  andreistefanescu

  committed
  f78a0bb

  Copy full SHA for f78a0bb