Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Mar 27, 2015

• Merged

  parasgithub

  committed
  c2deb48

  Copy full SHA for c2deb48

Commits on Mar 26, 2015

• Some changes, not yet working

  parasgithub

  committed
  1420374

  Copy full SHA for 1420374

Commits on Mar 25, 2015

• Fixed some bugs

  parasgithub

  committed
  3a7df81

  Copy full SHA for 3a7df81

Commits on Mar 24, 2015

• Fixed elaboration for 'BlockStmList

  parasgithub

  committed
  91b380b

  Copy full SHA for 91b380b

Commits on Mar 10, 2015

• Merged

  parasgithub

  committed
  0158484

  Copy full SHA for 0158484

• Switch statement now works

  parasgithub

  committed
  910ca43

  Copy full SHA for 910ca43

Commits on Mar 7, 2015

• Merge pull request #33 from kframework/catch

  Show description for aa51178
  laurayuwen

  committed
  aa51178

  Copy full SHA for aa51178

• modification for anonymous classes due to the change of Params

  laurayuwen

  committed
  ab0188c

  Copy full SHA for ab0188c

Commits on Mar 6, 2015

• delete [bug] label when introduced in debugging

  laurayuwen

  committed
  cfc0d21

  Copy full SHA for cfc0d21

• remove ParamImpl (ExtKResult)

  laurayuwen

  committed
  0b39844

  Copy full SHA for 0b39844

• fix bugs, params replaced KListWrap

  laurayuwen

  committed
  771a91f

  Copy full SHA for 771a91f

Commits on Mar 4, 2015

• Added switch statement concrete syntax, but it doesn't work yet

  parasgithub

  committed
  4a0fab9

  Copy full SHA for 4a0fab9

Commits on Mar 2, 2015

• klistwarp => params

  laurayuwen

  committed
  6411aec

  Copy full SHA for 6411aec

• unknown error

  laurayuwen

  committed
  3be64b3

  Copy full SHA for 3be64b3

• Changed a try TryS:K to try B:Block

  parasgithub

  committed
  5728ebf

  Copy full SHA for 5728ebf

Commits on Mar 1, 2015

• concrete rules foor for loop

  laurayuwen

  committed
  ebc79b5

  Copy full SHA for ebc79b5

Commits on Feb 28, 2015

• Merge pull request #32 from kframework/catch

  Show description for 308c2cc
  laurayuwen

  committed
  308c2cc

  Copy full SHA for 308c2cc

• correct a usage of { } to 'Block

  laurayuwen

  committed
  fca98df

  Copy full SHA for fca98df

• Merge pull request #31 from kframework/catch

  Show description for 940845b
  laurayuwen

  committed
  940845b

  Copy full SHA for 940845b

• replace KListWrap for CatchClauses with specific user list (from entrance of the program)

  laurayuwen

  committed
  0e23c96

  Copy full SHA for 0e23c96

Commits on Feb 27, 2015

• correct one syntax definition and do preparation for removal of single toKListWrap macro

  laurayuwen

  committed
  59f7336

  Copy full SHA for 59f7336

Commits on Feb 19, 2015

• Update README.md

  Show description for eb4223b
  laurayuwen

  committed
  eb4223b

  Copy full SHA for eb4223b

Commits on Feb 18, 2015

• Doc: Reviewed the documentation for preprocessing configuration.

  denis-bogdanas

  committed
  018b09a

  Copy full SHA for 018b09a

Commits on Feb 17, 2015

• Latex: just some comments.

  denis-bogdanas

  committed
  ac179fc

  Copy full SHA for ac179fc

• Update README.md

  laurayuwen

  committed
  f1923b4

  Copy full SHA for f1923b4

Commits on Feb 12, 2015

• Doc: reordered modules in K-Java.tex.

  denis-bogdanas

  committed
  5da0ca1

  Copy full SHA for 5da0ca1

• Doc:

  Show description for 17fff9e
  denis-bogdanas

  committed
  17fff9e

  Copy full SHA for 17fff9e

• Merge branch 'latex-line-break'

  denis-bogdanas

  committed
  e76f6d3

  Copy full SHA for e76f6d3

• Doc: Reviewed the documentation for exec configuration.

  denis-bogdanas

  committed
  e346de6

  Copy full SHA for e346de6

Commits on Feb 11, 2015

• Merge branch 'latex-line-break'

  denis-bogdanas

  committed
  82a8390

  Copy full SHA for 82a8390

• Config: Eliminated from preprocessing semantics configuration unused cells. Accordingly eliminated krun parameters from the scripts.

  denis-bogdanas

  committed
  007eccb

  Copy full SHA for 007eccb

• Config: Eliminated from execution semantics configuration unused cells. Accordingly eliminated krun parameters from the scripts.

  denis-bogdanas

  committed
  885f1a5

  Copy full SHA for 885f1a5

• Doc: Fixed the rendering of prep configuration. No more bad boxes.

  denis-bogdanas

  committed
  038ec7c

  Copy full SHA for 038ec7c

• Doc: Fixed the rendering of exec configuration and configuration-subset figures. Now the Exec semantics renders with 0 bad boxes.

  denis-bogdanas

  committed
  73ecde1

  Copy full SHA for 73ecde1

Commits on Feb 10, 2015

• Doc: Properly rendered execution configuration, thanks to improvements in Latex backend.

  denis-bogdanas

  committed
  1df22fe

  Copy full SHA for 1df22fe