Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Aug 13, 2019

• fix bug involving strategies (#682)

  Show description for db026d4
  

  dwightguth

  authored and

  ehildenb

  committed
  db026d4

  Copy full SHA for db026d4

Commits on Aug 8, 2019

• Unparse set vars from Kore to K (#676)

  Show description for 9d40543
  traiansf

  authored
  9d40543

  Copy full SHA for 9d40543

Commits on Jul 29, 2019

• fix for bytes pretty printing on concrete backends (#656)

  

  dwightguth

  authored
  01ba514

  Copy full SHA for 01ba514

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

• Refactor KILToKORE to use new `FlatModule` data-structures in outer-ext.scala (#573)

  Show description for c4b32d3
  ehildenb

  authored
  c4b32d3

  Copy full SHA for c4b32d3

• KBMC (#545)

  Show description for 1875e28
  

  yzhang90

  authored and

  dwightguth

  committed
  1875e28

  Copy full SHA for 1875e28

Commits on Jun 26, 2019

• Pyk library: Library for handling frontend JSON KAST terms programatically (#557)

  Show description for e04ca33
  ehildenb

  authored
  e04ca33

  Copy full SHA for e04ca33

Commits on Jun 25, 2019

• add parsing for weakExistsFinally (#554)

  Show description for 8598331
  

  ana-pantilie

  authored and

  dwightguth

  committed
  8598331

  Copy full SHA for 8598331

Commits on Jun 21, 2019

• Fix regression involving strategies (#568)

  Show description for 065d7b2
  

  dwightguth

  authored
  065d7b2

  Copy full SHA for 065d7b2

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 Jun 17, 2019

• [BUGFIX] Fix poly production unparsing off-by-one error (#552)

  Show description for 0bf246e
  ehildenb

  authored
  0bf246e

  Copy full SHA for 0bf246e

• context alias (#531)

  Show description for ef595aa
  

  dwightguth

  authored and

  ehildenb

  committed
  ef595aa

  Copy full SHA for ef595aa

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

• java backend: enabling refactorings for spec automaton (#541)

  Show description for 573112b
  denis-bogdanas

  authored
  573112b

  Copy full SHA for 573112b

Commits on Jun 10, 2019

• fix return sort of initializer for * cells (#522)

  

  dwightguth

  authored
  5e3c3e0

  Copy full SHA for 5e3c3e0

Commits on Jun 7, 2019

• fix strategy (#511)

  Show description for 1995dea
  

  dwightguth

  authored
  1995dea

  Copy full SHA for 1995dea

Commits on May 31, 2019

• better ParseError (#505)

  Show description for 753b1fe
  

  dwightguth

  authored
  753b1fe

  Copy full SHA for 753b1fe

Commits on May 30, 2019

• Faster sort inference of ml primitives in unparsing (#499)

  Show description for 513d15d
  

  dwightguth

  authored and

  ehildenb

  committed
  513d15d

  Copy full SHA for 513d15d

Commits on May 28, 2019

• Concretize cells on poly production (#498)

  Show description for 6a15ae9
  yzhang90

  authored
  6a15ae9

  Copy full SHA for 6a15ae9

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

• Update strategy language and add simple tests (#449)

  Show description for 7097e81
  ehildenb

  authored
  7097e81

  Copy full SHA for 7097e81

• Allow #AG spec for bounded model checking (#458)

  Show description for 2669fd7
  

  yzhang90

  authored and

  dwightguth

  committed
  2669fd7

  Copy full SHA for 2669fd7

Commits on May 9, 2019

• Better implementation of fresh constants and function context (#455)

  Show description for 6104067
  

  dwightguth

  authored
  6104067

  Copy full SHA for 6104067

Commits on Apr 29, 2019

• Update k frontend to use new scala pattern matching code (#421)

  Show description for eb4c881
  

  dwightguth

  authored and

  ehildenb

  committed
  eb4c881

  Copy full SHA for eb4c881

Commits on Apr 27, 2019

• fix bug in TermCons.toString (#428)

  Show description for bd03d15
  

  dwightguth

  authored and

  ehildenb

  committed
  bd03d15

  Copy full SHA for bd03d15

Commits on Apr 24, 2019

• add strategy cell to all rules in definition if strategy module is (#422)

  Show description for b3a269b
  

  dwightguth

  authored
  b3a269b

  Copy full SHA for b3a269b

Commits on Apr 17, 2019

• a few helper methods for the scala kore code (#413)

  

  dwightguth

  authored
  c2174bc

  Copy full SHA for c2174bc

• utils & java-backend: refactoring. 1. added method formatTraceFrame() (#409)

  Show description for f824862
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  f824862

  Copy full SHA for f824862

Commits on Apr 8, 2019

• Implemented injection compaction for the KORE rewrite rule generator. (#398)

  Show description for d6bca15
  

  theo25

  authored and

  dwightguth

  committed
  d6bca15

  Copy full SHA for d6bca15

• Strategy language updates (#393)

  Show description for 08dd712
  

  ehildenb

  authored and

  dwightguth

  committed
  08dd712

  Copy full SHA for 08dd712

• kore/Att.hashCode fix (#386)

  Show description for cebb9ab
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  cebb9ab

  Copy full SHA for cebb9ab

• generate explicit projections for outer casts (#395)

  Show description for 9f5bba3
  

  dwightguth

  authored
  9f5bba3

  Copy full SHA for 9f5bba3

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

• Fix bugs in K frontend compiler (#368)

  Show description for 386aad5
  

  dwightguth

  authored
  386aad5

  Copy full SHA for 386aad5

Commits on Mar 20, 2019

• Fix incorrect priority attribute on :/=K (#364)

  Show description for 525915b
  

  dwightguth

  authored
  525915b

  Copy full SHA for 525915b