Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 9, 2020

• kast --gen-parser prototype (#1003)

  Show description for 5cb2dfe
  

  Dwight Guth

  and

  rv-jenkins

  committed
  5cb2dfe

  Copy full SHA for 5cb2dfe

Commits on Nov 14, 2019

• kernel: refactoring KPrint and dependencies to Guice injections (#877)

  Show description for 6e969ee
  denis-bogdanas

  authored
  6e969ee

  Copy full SHA for 6e969ee

Commits on Jun 13, 2019

• Kore to k 2 (#538)

  Show description for 1252670
  traiansf

  authored
  1252670

  Copy full SHA for 1252670

Commits on Apr 3, 2019

• kompile flag to generate time to parse each rule (#378)

  Show description for 3a45a4f
  

  dwightguth

  authored
  3a45a4f

  Copy full SHA for 3a45a4f

Commits on Mar 12, 2019

• Global options: option --debug-warnings to print stack trace of warnings. Old option --debug now only prints stack traces of errors. (#344)

  denis-bogdanas

  authored
  4375ba0

  Copy full SHA for 4375ba0

Commits on Jan 23, 2019

• fix bug with parsing of NaN and Infinity in modules with identifiers (#247)

  Show description for 91a69ed
  

  dwightguth

  authored
  91a69ed

  Copy full SHA for 91a69ed

Commits on Dec 13, 2018

• Error messages: improved error message for `--deterministic-functions` (#218)

  Show description for fb8a081
  denis-bogdanas

  authored
  fb8a081

  Copy full SHA for fb8a081

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

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