Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

Commits on Jan 5, 2018

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

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

• 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 8, 2016

• Merge pull request #2007 from dwightguth/binary

  Show description for 91651e7
  cos

  committed
  91651e7

  Copy full SHA for 91651e7

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

Commits on Jan 6, 2016

• Merge branch 'master' into binary

  Show description for f854edd
  

  Dwight Guth

  committed
  f854edd

  Copy full SHA for f854edd

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 10, 2015

• don't crash if we can't delete the temp directory

  Show description for e7fbcbf
  

  Dwight Guth

  committed
  e7fbcbf

  Copy full SHA for e7fbcbf

Commits on Nov 18, 2015

• temp

  Show description for e40e4b8
  

  Dwight Guth

  committed
  e40e4b8

  Copy full SHA for e40e4b8

• temp

  Show description for 1b256a2
  

  Dwight Guth

  committed
  1b256a2

  Copy full SHA for 1b256a2

• temp

  Show description for 0ffeb11
  

  Dwight Guth

  committed
  0ffeb11

  Copy full SHA for 0ffeb11

Commits on Nov 17, 2015

• use `FileUtil`

  Show description for 5ec5b15
  cos

  committed
  5ec5b15

  Copy full SHA for 5ec5b15

Commits on Aug 31, 2015

• add env var for selecting ocaml binary

  Show description for d00433e
  

  Dwight Guth

  committed
  d00433e

  Copy full SHA for d00433e

Commits on May 6, 2015

• fix java backend for imp

  Show description for 5e53258
  

  Dwight Guth

  committed
  5e53258

  Copy full SHA for 5e53258

Commits on Apr 15, 2015

• add code to generate configuration syntax from declaration + refactor Kompile

  Show description for 93de73b
  

  Dwight Guth

  committed
  93de73b

  Copy full SHA for 93de73b

Commits on Apr 14, 2015

• more improvements to new parser

  Show description for 7f378d5
  

  Dwight Guth

  committed
  7f378d5

  Copy full SHA for 7f378d5

Commits on Apr 13, 2015

• Fix getKIncludeDir

  Show description for 9740805
  bmmoore

  committed
  9740805

  Copy full SHA for 9740805

Commits on Apr 9, 2015

• Utility method to calculate K include directory

  Show description for b53b5cf
  bmmoore

  committed
  b53b5cf

  Copy full SHA for b53b5cf

Commits on Jan 2, 2015

• add better guice scoping in order to share definition deserialization across invocations in a server

  Show description for 992230d
  

  Dwight Guth

  committed
  992230d

  Copy full SHA for 992230d

• Merge pull request #1274 from dwightguth/fixes

  Show description for 8a5cf8f
  

  dwightguth

  committed
  8a5cf8f

  Copy full SHA for 8a5cf8f

• update copyright for 2015 + update copyright on often-modified files

  Show description for 978c82c
  

  Dwight Guth

  committed
  978c82c

  Copy full SHA for 978c82c

Commits on Jan 1, 2015

• change processPgm to use a Reader

  Show description for 2efbaa6
  

  Dwight Guth

  committed
  2efbaa6

  Copy full SHA for 2efbaa6

Commits on Dec 23, 2014

• change output binary to stream output

  Show description for 1494bbc
  

  Dwight Guth

  committed
  1494bbc

  Copy full SHA for 1494bbc

Commits on Dec 15, 2014

• remove all references to maude backend and make java the default

  Show description for 0b1e5cd
  

  Dwight Guth

  committed
  0b1e5cd

  Copy full SHA for 0b1e5cd

Commits on Dec 1, 2014

• minor

  Show description for e7d982f
  cos

  committed
  e7d982f

  Copy full SHA for e7d982f

• fixes based on feedback

  Show description for 4488eb3
  cos

  committed
  4488eb3

  Copy full SHA for 4488eb3

Commits on Nov 21, 2014

• Merge remote-tracking branch 'origin/master' into feature/KORE-convertors

  Show description for cb77c25
  cos

  committed
  cb77c25

  Copy full SHA for cb77c25

• close some memory leaks involving nailgun

  Show description for 191f0ec
  

  Dwight Guth

  committed
  191f0ec

  Copy full SHA for 191f0ec