Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Jul 4, 2019

• Non-recursive and recursive macros, plus macros applied to tokens. (#592)

  Show description for dadcda0
  

  dwightguth

  authored
  dadcda0

  Copy full SHA for dadcda0

Commits on Jul 3, 2019

• KBMC (#545)

  Show description for 1875e28
  

  yzhang90

  authored and

  dwightguth

  committed
  1875e28

  Copy full SHA for 1875e28

Commits on Jun 20, 2019

• made Rewriter::prove return RewriterResult (#562)

  Show description for fe44659
  traiansf

  authored
  fe44659

  Copy full SHA for fe44659

Commits on May 28, 2019

• Fix bug involving fresh functions and top sort in ocaml backend (#489)

  Show description for a0b6ba5
  

  dwightguth

  authored
  a0b6ba5

  Copy full SHA for a0b6ba5

Commits on May 16, 2019

• another unused open (#481)

  

  dwightguth

  authored
  e48133f

  Copy full SHA for e48133f

Commits on May 10, 2019

• don't add hook attribute or hooked- prefix to unknown hooks (#460)

  Show description for 1328e72
  

  dwightguth

  authored and

  ehildenb

  committed
  1328e72

  Copy full SHA for 1328e72

Commits on Apr 24, 2019

• Io extras (#403)

  Show description for bb35c45
  radumereuta

  authored
  bb35c45

  Copy full SHA for bb35c45

Commits on Apr 18, 2019

• Fixes for the C semantics with the latest version of K (#414)

  Show description for 32e626d
  

  dwightguth

  authored
  32e626d

  Copy full SHA for 32e626d

Commits on Apr 5, 2019

• try to build k on mac os during ci (#362)

  Show description for dd587fd
  

  dwightguth

  authored
  dd587fd

  Copy full SHA for dd587fd

Commits on Apr 4, 2019

• Factored identifier encoding (#394)

  Show description for 5dcfc59
  

  ehildenb

  authored and

  dwightguth

  committed
  5dcfc59

  Copy full SHA for 5dcfc59

Commits on Mar 20, 2019

• support or with named vars in ocaml backend (#367)

  Show description for 9b3024c
  

  dwightguth

  authored
  9b3024c

  Copy full SHA for 9b3024c

Commits on Mar 8, 2019

• fix bug in or patterns when used outside of a rewrite (#340)

  Show description for 3e98406
  

  dwightguth

  authored
  3e98406

  Copy full SHA for 3e98406

Commits on Mar 5, 2019

• Java Backend debug: option `--boundary-cells` (#311)

  Show description for 4a99ff2
  denis-bogdanas

  authored
  4a99ff2

  Copy full SHA for 4a99ff2

Commits on Mar 4, 2019

• Mainline klab (#303)

  Show description for 0aa75fa
  

  mhhf

  authored and

  ehildenb

  committed
  0aa75fa

  Copy full SHA for 0aa75fa

Commits on Feb 25, 2019

• Various improvements to K frontend (#306)

  Show description for 025a572
  

  dwightguth

  authored
  025a572

  Copy full SHA for 025a572

Commits on Feb 13, 2019

• KProve architecture extension: made pretty printing available to Rewriter (#292)

  Show description for 178c2f6
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  178c2f6

  Copy full SHA for 178c2f6

Commits on Feb 5, 2019

• Build Debian Package on Xenial and Stretch (#274)

  Show description for 167f3f6
  

  dwightguth

  authored
  167f3f6

  Copy full SHA for 167f3f6

Commits on Feb 1, 2019

• run tutorial from anywhere (#283)

  

  dwightguth

  authored
  b8535fa

  Copy full SHA for b8535fa

Commits on Jan 16, 2019

• revert mint java code in preparation for mint in k in ocaml backend (#227)

  Show description for a0efc5e
  

  dwightguth

  authored
  a0efc5e

  Copy full SHA for a0efc5e

Commits on Nov 12, 2018

• Fix Array sort for Haskell and LLVM backends (#187)

  Show description for 898d39c
  

  dwightguth

  authored
  898d39c

  Copy full SHA for 898d39c

Commits on Oct 2, 2018

• LLVM backend (#159)

  Show description for f403769
  

  dwightguth

  authored
  f403769

  Copy full SHA for f403769

Commits on Sep 25, 2018

• KORE fixes for IELE (#151)

  Show description for 8b9f1ba
  

  dwightguth

  authored
  8b9f1ba

  Copy full SHA for 8b9f1ba

Commits on Aug 20, 2018

• [REFACTORING] Kprint (#117)

  Show description for 10ee906
  

  ehildenb

  authored and

  dwightguth

  committed
  10ee906

  Copy full SHA for 10ee906

Commits on Jul 9, 2018

• Improved unparsing (#110)

  Show description for a3adf21
  

  dwightguth

  authored
  a3adf21

  Copy full SHA for a3adf21

Commits on Jul 2, 2018

• add Bytes sort to K (#103)

  Show description for afe46f6
  

  dwightguth

  authored
  afe46f6

  Copy full SHA for afe46f6

Commits on Jun 1, 2018

• IMP in KORE (#89)

  Show description for 0accfb7
  

  dwightguth

  authored
  0accfb7

  Copy full SHA for 0accfb7

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

• Improve performance of coverage tool (#68)

  Show description for 6e240f3
  

  dwightguth

  authored
  6e240f3

  Copy full SHA for 6e240f3

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

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on May 4, 2018

• improve performance of ocaml backend with -O3 (#60)

  

  dwightguth

  authored
  208f36f

  Copy full SHA for 208f36f

Commits on Apr 30, 2018

• -fnative-binary flag (#826)

  Show description for f5ea5c7
  chathhorn

  authored
  f5ea5c7

  Copy full SHA for f5ea5c7

Commits on Apr 12, 2018

• fix nasty escaping bug in string literals in the ocaml backend (#816)

  Show description for 02d62e4
  

  dwightguth

  authored
  02d62e4

  Copy full SHA for 02d62e4

Commits on Mar 28, 2018

• Improved error reporting/recovery (#763)

  Show description for a4eccac
  

  chathhorn

  authored and

  dwightguth

  committed
  a4eccac

  Copy full SHA for a4eccac

Commits on Mar 12, 2018

• pass the sort of the cell collection variables to the java backend (#34)

  Show description for 6b04221
  

  andreistefanescu

  authored and

  dwightguth

  committed
  6b04221

  Copy full SHA for 6b04221