Commits

Breadcrumbs

History for

onthreads

User selector

All users

All time

Commit History

Commits on Feb 25, 2016

• fix error message

  

  Dwight Guth

  committed
  70cc2ce

  Copy full SHA for 70cc2ce

• fix long lines

  

  Dwight Guth

  committed
  56bad1b

  Copy full SHA for 56bad1b

• fix stray typo

  

  Dwight Guth

  committed
  2f7c486

  Copy full SHA for 2f7c486

• add Map type of cell collection

  

  Dwight Guth

  committed
  fae59ce

  Copy full SHA for fae59ce

Commits on Feb 22, 2016

• delete code reference

  

  Dwight Guth

  committed
  bc7a16f

  Copy full SHA for bc7a16f

Commits on Feb 10, 2016

• remove check because it's slow

  

  Dwight Guth

  committed
  8d16dcc

  Copy full SHA for 8d16dcc

Commits on Jan 26, 2016

• fix copyright

  

  Dwight Guth

  committed
  1f5b8a8

  Copy full SHA for 1f5b8a8

Commits on Jan 25, 2016

• add a couple cases to make dealing with maps easier + add a few checks for rewrites

  

  Dwight Guth

  committed
  d098d10

  Copy full SHA for d098d10

Commits on Jan 20, 2016

• update javadoc

  

  Dwight Guth

  committed
  204c52d

  Copy full SHA for 204c52d

• several scalability fixes to krun

  

  Dwight Guth

  committed
  23083e6

  Copy full SHA for 23083e6

Commits on Jan 19, 2016

• Merge branch 'master' of https://github.com/kframework/k into logik

  Show description for 8a230b7
  laurayuwen

  committed
  8a230b7

  Copy full SHA for 8a230b7

• Merge pull request #2110 from kframework/fix/empty-substitution-display

  Show description for a114339
  grosu

  committed
  a114339

  Copy full SHA for a114339

• display "Empty substitution" instead of ""

  Show description for afb3fcd
  cos

  committed
  afb3fcd

  Copy full SHA for afb3fcd

• bugfix for cell fragment variables

  Show description for 1e27815
  daejunpark

  committed
  1e27815

  Copy full SHA for 1e27815

• bugfix for cell fragment variables in function rules

  Show description for 18d85f5
  daejunpark

  committed
  18d85f5

  Copy full SHA for 18d85f5

Commits on Jan 18, 2016

• fix

  Show description for 7bd20a7
  cos

  committed
  7bd20a7

  Copy full SHA for 7bd20a7

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

  Show description for 8890c7d
  cos

  committed
  8890c7d

  Copy full SHA for 8890c7d

• doc

  Show description for 9063129
  cos

  committed
  9063129

  Copy full SHA for 9063129

• rm start symbol from CompiledDefinition constr.

  Show description for aa33f3d
  cos

  committed
  aa33f3d

  Copy full SHA for aa33f3d

• add mapping from config variables to sorts

  Show description for 345dfbd
  cos

  committed
  345dfbd

  Copy full SHA for 345dfbd

• quick fix so that "No Search Results" comes after "Search results:"

  Show description for bf139a9
  laurayuwen

  committed
  bf139a9

  Copy full SHA for bf139a9

• Merge pull request #2059 from kframework/logik

  Show description for e73a25e
  laurayuwen

  committed
  e73a25e

  Copy full SHA for e73a25e

• fix cos's bug

  Show description for 35ce265
  

  Dwight Guth

  committed
  35ce265

  Copy full SHA for 35ce265

• [em] add tests + delete old check

  Show description for f4a9b92
  daejunpark

  committed
  f4a9b92

  Copy full SHA for f4a9b92

• [em] check streams

  Show description for e05c4f8
  daejunpark

  committed
  e05c4f8

  Copy full SHA for e05c4f8

• [em] add comments

  Show description for 501499e
  daejunpark

  committed
  501499e

  Copy full SHA for 501499e

• copyright

  Show description for 7630c2c
  cos

  committed
  7630c2c

  Copy full SHA for 7630c2c

• and apply to programs as well

  Show description for 0ce19db
  cos

  committed
  0ce19db

  Copy full SHA for 0ce19db

Commits on Jan 17, 2016

• [em] remove old check

  Show description for cb8ec23
  daejunpark

  committed
  cb8ec23

  Copy full SHA for cb8ec23

• [em] CheckSortTopUniqueness.java

  Show description for 33a3da8
  daejunpark

  committed
  33a3da8

  Copy full SHA for 33a3da8

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

  Show description for 94e1688
  cos

  committed
  94e1688

  Copy full SHA for 94e1688

• avoid passing in the entire KompileOptions

  Show description for 2f80967
  cos

  committed
  2f80967

  Copy full SHA for 2f80967

• [em] refactoring

  Show description for ddf9267
  daejunpark

  committed
  ddf9267

  Copy full SHA for ddf9267

• [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