Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 15, 2020

• Check for duplicate module names (#1024)

  Show description for 1471093
  

  Dwight Guth

  and

  rv-jenkins

  committed
  1471093

  Copy full SHA for 1471093

Commits on Jan 14, 2020

• better performance of unparsing (#1022)

  Show description for 2d3834b
  

  Dwight Guth

  and

  rv-jenkins

  committed
  2d3834b

  Copy full SHA for 2d3834b

Commits on Jan 13, 2020

• Fix issue where typo in configuration results in extremely verbose error message (#1014)

  Show description for 3e4bf42
  

  Dwight Guth

  and

  rv-jenkins

  committed
  3e4bf42

  Copy full SHA for 3e4bf42

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 Dec 16, 2019

• cache isNat for performance (#981)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  35995c2

  Copy full SHA for 35995c2

Commits on Dec 11, 2019

• fix bug involving sort inference of sort parameters (#965)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  20c1c88

  Copy full SHA for 20c1c88

Commits on Dec 7, 2019

• Fix for sort annotations on parametric KApply (#948)

  Show description for 9e9e2df
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  9e9e2df

  Copy full SHA for 9e9e2df

Commits on Dec 3, 2019

• new MINT module and polymorphic sort support (#839)

  Show description for f041eae
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  f041eae

  Copy full SHA for f041eae

Commits on Nov 27, 2019

• better code to get production for parametric terms during unparsing (#940)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  271c573

  Copy full SHA for 271c573

Commits on Nov 22, 2019

• Z3 based sort inferencer (#874)

  Show description for 7c6b95b
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  7c6b95b

  Copy full SHA for 7c6b95b

Commits on Nov 19, 2019

• Fixed claim detection for Haskell prove (#920)

  

  traiansf

  authored and

  ehildenb

  committed
  3ba018b

  Copy full SHA for 3ba018b

Commits on Oct 19, 2019

• Remove 'poly' attribute (#819)

  Show description for ae1d5e2
  

  dwightguth

  authored and

  ehildenb

  committed
  ae1d5e2

  Copy full SHA for ae1d5e2

Commits on Oct 18, 2019

• Added attributes for distinguishing claims (#842)

  Show description for 431c8fd
  traiansf

  authored
  431c8fd

  Copy full SHA for 431c8fd

Commits on Oct 16, 2019

• Make KORE slightly more deterministic (#835)

  Show description for d1ce558
  

  dwightguth

  authored
  d1ce558

  Copy full SHA for d1ce558

Commits on Oct 7, 2019

• correct ascii symbol for Bang (#827)

  

  yzhang90

  authored and

  dwightguth

  committed
  2e71166

  Copy full SHA for 2e71166

Commits on Sep 30, 2019

• Make KoreToK easier to construct (#805)

  Show description for 18e39c6
  

  dwightguth

  authored and

  ehildenb

  committed
  18e39c6

  Copy full SHA for 18e39c6

Commits on Sep 24, 2019

• Fix bug in synonym PR (#794)

  Show description for da5cd70
  

  dwightguth

  authored and

  ehildenb

  committed
  da5cd70

  Copy full SHA for da5cd70

Commits on Sep 23, 2019

• Sort Synonyms (#791)

  Show description for 41c3e29
  

  dwightguth

  authored
  41c3e29

  Copy full SHA for 41c3e29

Commits on Sep 16, 2019

• Parsing and Scanning fixes (#780)

  Show description for bb0c539
  

  dwightguth

  authored
  bb0c539

  Copy full SHA for bb0c539

• Fixes for the LLVM backend coverage report. (#772)

  Show description for 5a87abb
  chathhorn

  authored
  5a87abb

  Copy full SHA for 5a87abb

• Generate projections for named nonterminals (#774)

  Show description for 2178532
  

  dwightguth

  authored and

  ehildenb

  committed
  2178532

  Copy full SHA for 2178532

Commits on Sep 13, 2019

• Emit json definitions when kompiling (#771)

  Show description for 91e6990
  ehildenb

  authored
  91e6990

  Copy full SHA for 91e6990

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

• Remove some mvn warnings (#751)

  Show description for aa7ab2e
  ehildenb

  authored
  aa7ab2e

  Copy full SHA for aa7ab2e

• Weaker configuration constraints for more flexible composition (#741)

  Show description for 406f62b
  

  ehildenb

  authored and

  dwightguth

  committed
  406f62b

  Copy full SHA for 406f62b

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