Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 20, 2020

• kernel/KastFrontEnd: make sure to flush output (#1048)

  Show description for 0252ab6
  

  ehildenb

  and

  rv-jenkins

  committed
  0252ab6

  Copy full SHA for 0252ab6

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 Sep 11, 2019

• Refactor Kast/KRead/KPrint - less pretty printers (#759)

  Show description for 921c742
  ehildenb

  authored
  921c742

  Copy full SHA for 921c742

Commits on Jun 20, 2019

• Integrated KORE output into KPrint (#561)

  Show description for 90ee840
  

  traiansf

  authored and

  ehildenb

  committed
  90ee840

  Copy full SHA for 90ee840

Commits on Jun 13, 2019

• Kore to k 2 (#538)

  Show description for 1252670
  traiansf

  authored
  1252670

  Copy full SHA for 1252670

Commits on Jun 12, 2019

• More KRead stuff, plus renaming KoreParser (#540)

  Show description for 121d8e1
  

  gtrepta

  authored and

  ehildenb

  committed
  121d8e1

  Copy full SHA for 121d8e1

Commits on Jun 11, 2019

• Adding more robustness to the front end to take various input formats (#524)

  Show description for e67143f
  

  gtrepta

  authored and

  ehildenb

  committed
  e67143f

  Copy full SHA for e67143f

Commits on Jun 4, 2019

• kerenl/KastFrontEnd: simplify logic for selecting parsing module (#506)

  Show description for 4d46732
  ehildenb

  authored
  4d46732

  Copy full SHA for 4d46732

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 13, 2019

• Kast respects output, allows specifying any output format for `kast` (#406)

  Show description for cb3afa4
  ehildenb

  authored
  cb3afa4

  Copy full SHA for cb3afa4

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 15, 2019

• fix bug in FrontEnd involving --help and FileUtil (#411)

  

  dwightguth

  authored and

  ehildenb

  committed
  7a4e805

  Copy full SHA for 7a4e805

Commits on Mar 15, 2019

• Revert "Revert "use ml constructs in k and encode them into kore (#336)""

  Show description for fe2f681
  

  Dwight Guth

  committed
  fe2f681

  Copy full SHA for fe2f681

• Revert "use ml constructs in k and encode them into kore (#336)"

  Show description for 2f07aba
  

  Dwight Guth

  committed
  2f07aba

  Copy full SHA for 2f07aba

• use ml constructs in k and encode them into kore (#336)

  Show description for 3a4dd20
  

  traiansf

  authored and

  dwightguth

  committed
  3a4dd20

  Copy full SHA for 3a4dd20

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

• Better fix for resolving overloads of 0-ary productions (#184)

  Show description for cff1ca0
  

  dwightguth

  authored
  cff1ca0

  Copy full SHA for cff1ca0

Commits on Nov 5, 2018

• resolve overloaded 0-ary productions to normal form (#180)

  Show description for a7b316a
  

  dwightguth

  authored
  a7b316a

  Copy full SHA for a7b316a

Commits on Sep 11, 2018

• add top cell initializer to definition attributes (#146)

  Show description for b904c81
  

  dwightguth

  authored
  b904c81

  Copy full SHA for b904c81

Commits on Aug 9, 2018

• add code to generate kore from kast (#130)

  

  dwightguth

  authored
  3ce9c6a

  Copy full SHA for 3ce9c6a

Commits on Jul 9, 2018

• Improved unparsing (#110)

  Show description for a3adf21
  

  dwightguth

  authored
  a3adf21

  Copy full SHA for a3adf21

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 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 Feb 28, 2018

• expand macros when using kast (#755)

  Show description for 7a93693
  

  dwightguth

  authored
  7a93693

  Copy full SHA for 7a93693

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 Dec 26, 2015

• remove kem field from CompiledDefinition

  Show description for 69beb63
  cos

  committed
  69beb63

  Copy full SHA for 69beb63

Commits on Dec 24, 2015

• rename and javadoc

  Show description for 26299c8
  cos

  committed
  26299c8

  Copy full SHA for 26299c8

Commits on Dec 23, 2015

• rename method

  Show description for 8636b16
  cos

  committed
  8636b16

  Copy full SHA for 8636b16

• refactoring

  Show description for 0a78b31
  cos

  committed
  0a78b31

  Copy full SHA for 0a78b31

• cleanup: no more mainSyntaxModule

  Show description for 88398ae
  cos

  committed
  88398ae

  Copy full SHA for 88398ae