Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 20, 2020

• Significant performance improvements to parsing and compilation time (#1039)

  Show description for 59e94d6
  

  Dwight Guth

  and

  rv-jenkins

  committed
  59e94d6

  Copy full SHA for 59e94d6

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

• fix null token issue in sort inferencer (#939)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  33a6466

  Copy full SHA for 33a6466

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

• Fix another issue with sort inference (#880)

  Show description for 9a53e4e
  

  Dwight Guth

  authored
  9a53e4e

  Copy full SHA for 9a53e4e

Commits on Nov 4, 2019

• k-distribution,kernel: remove notInRules (#870)

  Show description for 25b4df6
  

  ehildenb

  authored and

  rv-jenkins

  committed
  25b4df6

  Copy full SHA for 25b4df6

• Fix bug in sort inference in beacon chain (#871)

  Show description for 6781ef6
  

  Dwight Guth

  authored and

  ehildenb

  committed
  6781ef6

  Copy full SHA for 6781ef6

Commits on Nov 1, 2019

• Make ambiguities report as errors - b (#855)

  Show description for d76cc4d
  radumereuta

  authored
  d76cc4d

  Copy full SHA for d76cc4d

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

• refactor some places to use Sentence.withAtt (#836)

  

  dwightguth

  authored and

  ehildenb

  committed
  2461479

  Copy full SHA for 2461479

Commits on Oct 10, 2019

• Fix a pretty serious bug in sort inference + better debugging info (#833)

  Show description for cbd0230
  

  dwightguth

  authored
  cbd0230

  Copy full SHA for cbd0230

Commits on Sep 30, 2019

• Structured JSON serialized attributes (#806)

  Show description for 2963272
  ehildenb

  authored
  2963272

  Copy full SHA for 2963272

• Make KoreToK easier to construct (#805)

  Show description for 18e39c6
  

  dwightguth

  authored and

  ehildenb

  committed
  18e39c6

  Copy full SHA for 18e39c6

Commits on Sep 23, 2019

• Sort Synonyms (#791)

  Show description for 41c3e29
  

  dwightguth

  authored
  41c3e29

  Copy full SHA for 41c3e29

Commits on Sep 17, 2019

• fix bug in scanner fix (#787)

  

  dwightguth

  authored
  15e6d60

  Copy full SHA for 15e6d60

Commits on Sep 16, 2019

• Parsing and Scanning fixes (#780)

  Show description for bb0c539
  

  dwightguth

  authored
  bb0c539

  Copy full SHA for bb0c539

• 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 Aug 23, 2019

• tests for #fun: One more failure case required for Beacon Chain. (#684)

  Show description for d992df9
  denis-bogdanas

  authored
  d992df9

  Copy full SHA for d992df9

Commits on Jun 19, 2019

• Fix parsing bugs (#559)

  Show description for a1acdfd
  

  dwightguth

  authored and

  ehildenb

  committed
  a1acdfd

  Copy full SHA for a1acdfd

Commits on Jun 18, 2019

• autoDeserialize in KRead (#558)

  Show description for 5804f25
  

  gtrepta

  authored and

  ehildenb

  committed
  5804f25

  Copy full SHA for 5804f25

• Report error when trying to heat a KSequence. (#556)

  Show description for 1bb5fc4
  

  dwightguth

  authored and

  ehildenb

  committed
  1bb5fc4

  Copy full SHA for 1bb5fc4

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

• Tighten rules about anywhere rules (#507)

  Show description for 302f383
  

  dwightguth

  authored
  302f383

  Copy full SHA for 302f383

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

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

  Show description for 7097e81
  ehildenb

  authored
  7097e81

  Copy full SHA for 7097e81

Commits on Apr 27, 2019

• fix bug in parser where variables of sort K were not type checked (#427)

  

  dwightguth

  authored and

  ehildenb

  committed
  f2ce063

  Copy full SHA for f2ce063

• fix bug in TermCons.toString (#428)

  Show description for bd03d15
  

  dwightguth

  authored and

  ehildenb

  committed
  bd03d15

  Copy full SHA for bd03d15