Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 15, 2021

• Update README.md

  Show description for f27067e
  denis-bogdanas

  authored
  f27067e

  Copy full SHA for f27067e

Commits on Mar 16, 2016

• Merge pull request #55 from kframework/verification

  Show description for c202266
  laurayuwen

  committed
  c202266

  Copy full SHA for c202266

Commits on Jan 19, 2016

• Update README.md

  laurayuwen

  committed
  8d88637

  Copy full SHA for 8d88637

Commits on Dec 11, 2015

• correct typo in min

  laurayuwen

  committed
  31822d2

  Copy full SHA for 31822d2

Commits on Nov 22, 2015

• whileImpl => while in Kspecs

  laurayuwen

  committed
  096f576

  Copy full SHA for 096f576

• Merge branch 'master' of github.com:kframework/java-semantics into verification

  laurayuwen

  committed
  273f594

  Copy full SHA for 273f594

Commits on Nov 16, 2015

• Merge pull request #54 from daejunpark/master

  Show description for 747bc70
  laurayuwen

  committed
  747bc70

  Copy full SHA for 747bc70

Commits on Nov 15, 2015

• add smt-sort-flatten

  Show description for d13c4cf
  daejunpark

  committed
  d13c4cf

  Copy full SHA for d13c4cf

Commits on Nov 3, 2015

• Update README.md

  Show description for 63c61e9
  laurayuwen

  committed
  63c61e9

  Copy full SHA for 63c61e9

Commits on Oct 30, 2015

• Update README.md

  laurayuwen

  committed
  053a7a7

  Copy full SHA for 053a7a7

Commits on Oct 7, 2015

• remove <storeMetadata> in spec

  laurayuwen

  committed
  c090d1d

  Copy full SHA for c090d1d

Commits on Oct 6, 2015

• remove whileImpl (todo: change spec)

  laurayuwen

  committed
  c55e3d0

  Copy full SHA for c55e3d0

• remove storeMetadata cell (no longer needed because fields are stored separately from store)

  laurayuwen

  committed
  d4d2735

  Copy full SHA for d4d2735

Commits on Sep 24, 2015

• Merge pull request #51 from kframework/verification

  Show description for aafa49c
  laurayuwen

  committed
  aafa49c

  Copy full SHA for aafa49c

Commits on Sep 12, 2015

• Merge pull request #52 from kframework/concreteSyntax

  Show description for 6ace7b5
  laurayuwen

  committed
  6ace7b5

  Copy full SHA for 6ace7b5

• concrete syntax: rename a var

  laurayuwen

  committed
  0edd30b

  Copy full SHA for 0edd30b

Commits on Aug 31, 2015

• refactor store and lookup, so that they are used generally for array, field and normal loc

  laurayuwen

  committed
  c404af2

  Copy full SHA for c404af2

• change arrayCopy api

  laurayuwen

  committed
  8a70f32

  Copy full SHA for 8a70f32

• change storage way for array

  laurayuwen

  committed
  e097b4d

  Copy full SHA for e097b4d

Commits on Aug 26, 2015

• change storage way for static fields

  laurayuwen

  committed
  b0b1109

  Copy full SHA for b0b1109

Commits on Aug 25, 2015

• Merge branch 'verification' of https://github.com/kframework/java-semantics into verification

  laurayuwen

  committed
  213c2ce

  Copy full SHA for 213c2ce

• Merge pull request #50 from kframework/concreteSyntax

  Show description for 6db4eaf
  laurayuwen

  committed
  6db4eaf

  Copy full SHA for 6db4eaf

• add fieldlookup and remove fieldAccessCheckpoint

  laurayuwen

  committed
  0d4a289

  Copy full SHA for 0d4a289

• merge Deajun's change

  laurayuwen

  committed
  e9f06ae

  Copy full SHA for e9f06ae

• concrete syntax: static-init.k

  laurayuwen

  committed
  e2f25ba

  Copy full SHA for e2f25ba

Commits on Aug 24, 2015

• fix2: concrete syntax of InstanceFields, StaticFileds and StaticInit

  laurayuwen

  committed
  bd1ee60

  Copy full SHA for bd1ee60

Commits on Aug 21, 2015

• fix: concrete syntax of InstanceFields, StaticFileds and StaticInit

  laurayuwen

  committed
  df01866

  Copy full SHA for df01866

• concrete syntax of InstanceFields, StaticFileds and StaticInit

  laurayuwen

  committed
  489e181

  Copy full SHA for 489e181

Commits on Jun 14, 2015

• Merge pull request #49 from kframework/typeDecList

  Show description for dca0412
  laurayuwen

  committed
  dca0412

  Copy full SHA for dca0412

• move syntax of HeatedInterfaceTypeList around

  laurayuwen

  committed
  5f7b0b1

  Copy full SHA for 5f7b0b1

Commits on Jun 12, 2015

• Merge branch 'typeDecList' of https://github.com/kframework/java-semantics into typeDecList

  laurayuwen

  committed
  70b3905

  Copy full SHA for 70b3905

• Merge pull request #48 from kframework/krun

  Show description for 0cc7b9e
  laurayuwen

  committed
  0cc7b9e

  Copy full SHA for 0cc7b9e

• Merge pull request #46 from xiaohe27/krun

  Show description for 9b44e23
  laurayuwen

  committed
  9b44e23

  Copy full SHA for 9b44e23

• fix a bug

  xiaohe27

  committed
  85f791b

  Copy full SHA for 85f791b

• proving merge sort (two whiles proved, func-spek bug)

  laurayuwen

  committed
  0aee5a8

  Copy full SHA for 0aee5a8

Pagination

Previous

Next