Commits

Breadcrumbs

History for

onwithConfig2

User selector

All users

All time

Commit History

Commits on May 13, 2019

• allow sort predicates to call withConfig functions

  

  Dwight Guth

  committed
  3c92d38

  Copy full SHA for 3c92d38

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 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 May 2, 2019

• fix bug in sorting of macro expansions (#433)

  Show description for 652d4a6
  

  dwightguth

  authored
  652d4a6

  Copy full SHA for 652d4a6

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

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

  

  dwightguth

  authored and

  ehildenb

  committed
  7a4e805

  Copy full SHA for 7a4e805

Commits on Apr 8, 2019

• generate explicit projections for outer casts (#395)

  Show description for 9f5bba3
  

  dwightguth

  authored
  9f5bba3

  Copy full SHA for 9f5bba3

Commits on Apr 4, 2019

• Bug fixes for LLVM Backend (#388)

  Show description for dc648b9
  

  dwightguth

  authored
  dc648b9

  Copy full SHA for dc648b9

Commits on Apr 3, 2019

• kompile flag to generate time to parse each rule (#378)

  Show description for 3a45a4f
  

  dwightguth

  authored
  3a45a4f

  Copy full SHA for 3a45a4f

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

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

• Global context in function rules (#318)

  Show description for 33858e7
  

  dwightguth

  authored
  33858e7

  Copy full SHA for 33858e7

Commits on Feb 22, 2019

• Send sentence labels to Kore (#305)

  Show description for 072b22c
  

  ttuegel

  authored and

  ehildenb

  committed
  072b22c

  Copy full SHA for 072b22c

Commits on Feb 8, 2019

• haskell-backend: update submodule (#289)

  Show description for b577155
  ehildenb

  authored
  b577155

  Copy full SHA for b577155

Commits on Jan 23, 2019

• Fix the format attribute for <generatedTop> (#252)

  Show description for 98f44f8
  

  ehildenb

  authored and

  dwightguth

  committed
  98f44f8

  Copy full SHA for 98f44f8

• 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 Dec 10, 2018

• nicer messages (#220)

  

  h0nzZik

  authored and

  dwightguth

  committed
  9718a99

  Copy full SHA for 9718a99

Commits on Nov 13, 2018

• try to fix regression involving serialization

  

  Dwight Guth

  committed
  cb083f6

  Copy full SHA for cb083f6

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

• Fix outdated help for kompile (#186)

  Show description for 698bd2b
  

  hjorthjort

  authored and

  dwightguth

  committed
  698bd2b

  Copy full SHA for 698bd2b

Commits on Nov 8, 2018

• Cache file option, re-done (#188)

  Show description for 4148d28
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  4148d28

  Copy full SHA for 4148d28

Commits on Nov 5, 2018

• Revert "Global options: Option --cache-file to change default location of parse cache (#179)"

  Show description for 6d1e972
  

  Dwight Guth

  committed
  6d1e972

  Copy full SHA for 6d1e972

Commits on Oct 29, 2018

• Global options: Option --cache-file to change default location of parse cache (#179)

  Show description for eb906c7
  denis-bogdanas

  authored
  eb906c7

  Copy full SHA for eb906c7

Commits on Oct 27, 2018

• Parse cache: invalidating entries with matching content but coming from another source file (#178)

  Show description for 9d37120
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  9d37120

  Copy full SHA for 9d37120

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 Sep 18, 2018

• Extracted kore functionality to a proper backend. (#147)

  Show description for 84bdc08
  

  traiansf

  authored and

  dwightguth

  committed
  84bdc08

  Copy full SHA for 84bdc08

Commits on Sep 17, 2018

• Changes to K to KORE to support the llvm backend better (#149)

  Show description for 64f4090
  

  dwightguth

  authored
  64f4090

  Copy full SHA for 64f4090

Commits on Aug 8, 2018

• Update K to generate kore from IELE (#125)

  Show description for 05b915a
  

  dwightguth

  authored
  05b915a

  Copy full SHA for 05b915a

Commits on Jul 19, 2018

• Windows support for kompile and kprove. (#119)

  Show description for 5af0e99
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  5af0e99

  Copy full SHA for 5af0e99

Commits on Jul 16, 2018

• KompileOptions: list java as a potential backend (#116)

  Show description for ddb42c9
  

  chathhorn

  authored and

  dwightguth

  committed
  ddb42c9

  Copy full SHA for ddb42c9

Commits on Jul 9, 2018

• Improved unparsing (#110)

  Show description for a3adf21
  

  dwightguth

  authored
  a3adf21

  Copy full SHA for a3adf21

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