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 30, 2018

• Exponentiation (#85)

  Show description for 8e89d82
  

  dwightguth

  authored
  8e89d82

  Copy full SHA for 8e89d82

Commits on May 29, 2018

• Add parameters to Sort and KLabel (#69)

  Show description for 7b4f030
  

  dwightguth

  authored
  7b4f030

  Copy full SHA for 7b4f030

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Feb 6, 2018

• Improvements in Unparsing (#674)

  Show description for bc7c40d
  

  dwightguth

  authored and

  chathhorn

  committed
  bc7c40d

  Copy full SHA for bc7c40d

Commits on Jan 30, 2018

• RV-K tutorial exercises (#662)

  Show description for a07c02d
  

  dwightguth

  authored
  a07c02d

  Copy full SHA for a07c02d

Commits on Jan 5, 2018

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

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 14, 2017

• Fix ocamlopt kompile and provide fakelibs for c-semantics build

  Show description for 51674e7
  bmmoore

  committed
  51674e7

  Copy full SHA for 51674e7

• Add milliseconds to temp file names

  bmmoore

  committed
  679fcdf

  Copy full SHA for 679fcdf

• Link final kcc output without ocamlc

  bmmoore

  committed
  e29e4d9

  Copy full SHA for e29e4d9

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 Jul 27, 2016

• c++ linking and execution semantics for hello world program (#217)

  Show description for 662b9d9
  

  dwightguth

  authored
  662b9d9

  Copy full SHA for 662b9d9

Commits on May 2, 2016

• module qualify klabels (#159)

  Show description for b4be3fa
  

  dwightguth

  committed
  b4be3fa

  Copy full SHA for b4be3fa

Commits on Jan 14, 2016

• 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

Commits on Jan 9, 2016

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

  Show description for dd0fd27
  andreistefanescu

  committed
  dd0fd27

  Copy full SHA for dd0fd27

Commits on Jan 8, 2016

• Merge pull request #2007 from dwightguth/binary

  Show description for 91651e7
  cos

  committed
  91651e7

  Copy full SHA for 91651e7

• fix cosmin's comments

  Show description for 035ffcb
  

  Dwight Guth

  committed
  035ffcb

  Copy full SHA for 035ffcb

• Merge remote-tracking branch 'origin/master' into feature/k-api2

  Show description for 2b2ba51
  cos

  committed
  2b2ba51

  Copy full SHA for 2b2ba51

Commits on Jan 7, 2016

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

  Show description for f7d6ca9
  andreistefanescu

  committed
  f7d6ca9

  Copy full SHA for f7d6ca9

• Merge branch 'master' into binary

  Show description for 1c0529f
  

  Dwight Guth

  committed
  1c0529f

  Copy full SHA for 1c0529f

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

• fix copyright

  Show description for 5e595bc
  

  Dwight Guth

  committed
  5e595bc

  Copy full SHA for 5e595bc

• Merge remote-tracking branch 'remotes/origin/master' into feature/k-api2

  Show description for 6ffa0cf
  cos

  committed
  6ffa0cf

  Copy full SHA for 6ffa0cf

Commits on Jan 6, 2016

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

  Show description for bb98c98
  andreistefanescu

  committed
  bb98c98

  Copy full SHA for bb98c98

• Merge branch 'master' into binary

  Show description for f854edd
  

  Dwight Guth

  committed
  f854edd

  Copy full SHA for f854edd

Commits on Jan 5, 2016

• add javadoc

  Show description for 01665c9
  

  Dwight Guth

  committed
  01665c9

  Copy full SHA for 01665c9

• Merge branch 'master' into kdoc

  Show description for a6b5b5b
  

  Dwight Guth

  committed
  a6b5b5b

  Copy full SHA for a6b5b5b

Commits on Jan 3, 2016

• ParserUtil no longer dependent on FileUtil

  Show description for 7cbc704
  cos

  committed
  7cbc704

  Copy full SHA for 7cbc704

Commits on Dec 30, 2015

• fix copyright

  Show description for a949d26
  

  Dwight Guth

  committed
  a949d26

  Copy full SHA for a949d26

• update kdoc skeleton for new pipeline

  Show description for fe1eda9
  

  Dwight Guth

  committed
  fe1eda9

  Copy full SHA for fe1eda9

Commits on Dec 27, 2015

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

  Show description for ad6d87a
  andreistefanescu

  committed
  ad6d87a

  Copy full SHA for ad6d87a

Commits on Dec 26, 2015

• add toString to BitSet

  Show description for 6f355ae
  andreistefanescu

  committed
  6f355ae

  Copy full SHA for 6f355ae