Commits

Breadcrumbs

History for

onac-unification

User selector

All users

All time

Commit History

Commits on Jun 1, 2018

• IMP in KORE (#89)

  Show description for 0accfb7
  

  dwightguth

  authored
  0accfb7

  Copy full SHA for 0accfb7

Commits on May 15, 2018

• Rule coverage tool for K (#66)

  Show description for af3c952
  

  dwightguth

  authored
  af3c952

  Copy full SHA for af3c952

Commits on May 9, 2018

• Fix compilation errors with Java 9 (#65)

  

  traiansf

  authored and

  dwightguth

  committed
  a4be64c

  Copy full SHA for a4be64c

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Mar 22, 2018

• output compiled definition as string to compiled.txt (#808)

  

  dwightguth

  authored
  3af731f

  Copy full SHA for 3af731f

Commits on Mar 5, 2018

• Minor fixes to K (#758)

  Show description for 26d36fa
  

  dwightguth

  authored
  26d36fa

  Copy full SHA for 26d36fa

Commits on Mar 2, 2018

• Allow prover to parse multiple modules (#753)

  Show description for a0eadfd
  

  dwightguth

  authored
  a0eadfd

  Copy full SHA for a0eadfd

Commits on Feb 8, 2018

• Java 9 support (#686)

  Show description for b2b710c
  

  dwightguth

  authored
  b2b710c

  Copy full SHA for b2b710c

Commits on Dec 22, 2017

• Java backend in RV-K (#643)

  Show description for a2d9c54
  

  dwightguth

  authored
  a2d9c54

  Copy full SHA for a2d9c54

Commits on May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85

Commits on Mar 29, 2017

• some performance optimizations to kompile (#416)

  

  dwightguth

  authored
  097e611

  Copy full SHA for 097e611

Commits on Mar 9, 2017

• create anonymous function applications in K (#392)

  Show description for 33c4da5
  

  dwightguth

  authored
  33c4da5

  Copy full SHA for 33c4da5

Commits on Nov 17, 2016

• refactor attributes (#296)

  Show description for 784893b
  

  dwightguth

  authored
  784893b

  Copy full SHA for 784893b

Commits on Aug 8, 2016

• interview challenge - code redundancy in k (#226)

  

  dwightguth

  authored
  9f114d0

  Copy full SHA for 9f114d0

Commits on Aug 1, 2016

• Improve time spent parsing (#219)

  Show description for 00ae522
  

  dwightguth

  authored
  00ae522

  Copy full SHA for 00ae522

Commits on Jun 27, 2016

• refactor out linking semantics from C semantics and combine it into C… (#211)

  Show description for 2987496
  

  dwightguth

  authored
  2987496

  Copy full SHA for 2987496

Commits on May 2, 2016

• module qualify klabels (#159)

  Show description for b4be3fa
  

  dwightguth

  committed
  b4be3fa

  Copy full SHA for b4be3fa

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

• rm start symbol from CompiledDefinition constr.

  Show description for aa33f3d
  cos

  committed
  aa33f3d

  Copy full SHA for aa33f3d

• [em] check streams

  Show description for e05c4f8
  daejunpark

  committed
  e05c4f8

  Copy full SHA for e05c4f8

Commits on Jan 17, 2016

• [em] CheckSortTopUniqueness.java

  Show description for 33a3da8
  daejunpark

  committed
  33a3da8

  Copy full SHA for 33a3da8

• avoid passing in the entire KompileOptions

  Show description for 2f80967
  cos

  committed
  2f80967

  Copy full SHA for 2f80967

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

  Show description for c12c994
  andreistefanescu

  committed
  c12c994

  Copy full SHA for c12c994

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

  Show description for b130d3a
  andreistefanescu

  committed
  b130d3a

  Copy full SHA for b130d3a

• [em] print cell name

  Show description for b021865
  daejunpark

  committed
  b021865

  Copy full SHA for b021865

• [em] check duplicate configuration cells

  Show description for f3189be
  daejunpark

  committed
  f3189be

  Copy full SHA for f3189be

Commits on Jan 15, 2016

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

  Show description for 8bdca09
  andreistefanescu

  committed
  8bdca09

  Copy full SHA for 8bdca09

• Merge remote-tracking branch 'remotes/origin/master' into hotfix/fix2000

  Show description for da561be
  cos

  committed
  da561be

  Copy full SHA for da561be

• remove dropQuote

  Show description for 130d3fc
  cos

  committed
  130d3fc

  Copy full SHA for 130d3fc

• save caches invoked only once

  Show description for 52d7ff8
  cos

  committed
  52d7ff8

  Copy full SHA for 52d7ff8

Commits on Jan 14, 2016

• add support for super heating/cooling

  Show description for 949972f
  andreistefanescu

  committed
  949972f

  Copy full SHA for 949972f

• Revert "revert #1962 because of failure to correctly print errors in non compiling definitions"

  Show description for 095af61
  cos

  committed
  095af61

  Copy full SHA for 095af61

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

• revert #1962 because of failure to correctly print errors in non compiling definitions

  Show description for 4d56eb5
  

  Dwight Guth

  committed
  4d56eb5

  Copy full SHA for 4d56eb5

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

  Show description for 26cda20
  andreistefanescu

  committed
  26cda20

  Copy full SHA for 26cda20