Commits

Breadcrumbs

History for

ontest-pipelines

User selector

All users

All time

Commit History

Commits on Jan 24, 2019

• Use K escape sequences for Kore (#258)

  Show description for a9c2b13
  ttuegel

  authored
  a9c2b13

  Copy full SHA for a9c2b13

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 Jan 21, 2019

• Adding simplification attribute to non-constructor-based equalities (#250)

  traiansf

  authored
  6c42cd3

  Copy full SHA for 6c42cd3

Commits on Jan 16, 2019

• revert mint java code in preparation for mint in k in ocaml backend (#227)

  Show description for a0efc5e
  

  dwightguth

  authored
  a0efc5e

  Copy full SHA for a0efc5e

Commits on Jan 14, 2019

• fix bug where macros with explicit sort checks do not work correctly in llvm (#245)

  

  dwightguth

  authored
  7aedc62

  Copy full SHA for 7aedc62

Commits on Jan 10, 2019

• fix form of rewrites (#241)

  

  dwightguth

  authored
  c601fa2

  Copy full SHA for c601fa2

Commits on Dec 19, 2018

• KProve updates for EVM-semantics (#225)

  

  traiansf

  authored and

  dwightguth

  committed
  dd95c2d

  Copy full SHA for dd95c2d

Commits on Dec 17, 2018

• State logging functionality to support tools like klab (#222)

  Show description for a85d913
  

  ehildenb

  authored
  a85d913

  Copy full SHA for a85d913

Commits on Dec 13, 2018

• `kserver --socket=./my/socket` (#215)

  Show description for acbc8b8
  

  h0nzZik

  authored and

  dwightguth

  committed
  acbc8b8

  Copy full SHA for acbc8b8

• Error messages: improved error message for `--deterministic-functions` (#218)

  Show description for fb8a081
  denis-bogdanas

  authored
  fb8a081

  Copy full SHA for fb8a081

Commits on Dec 12, 2018

• Expose JavaExecutionOptions on command line (#204)

  Show description for a1e858b
  

  ehildenb

  authored and

  dwightguth

  committed
  a1e858b

  Copy full SHA for a1e858b

• Ensure that with `--io on/off` we always get an extra newline on stdin (#217)

  Show description for 28984c6
  

  ehildenb

  authored and

  dwightguth

  committed
  28984c6

  Copy full SHA for 28984c6

Commits on Dec 11, 2018

• Fixes for anywhere rules and strategies (#216)

  Show description for b61559a
  

  dwightguth

  authored
  b61559a

  Copy full SHA for b61559a

Commits on Dec 10, 2018

• nicer messages (#220)

  

  h0nzZik

  authored and

  dwightguth

  committed
  9718a99

  Copy full SHA for 9718a99

Commits on Dec 4, 2018

• Added --depth to kprove for the haskell backend. (#211)

  

  Vladimir Ciobanu

  authored and

  dwightguth

  committed
  516b57c

  Copy full SHA for 516b57c

• KProve frontend for the Haskell backend. (#205)

  Show description for aaa0eae
  traiansf

  authored
  aaa0eae

  Copy full SHA for aaa0eae

Commits on Nov 22, 2018

• Z3 option change (#199)

  Show description for eee7ca5
  denis-bogdanas

  authored
  eee7ca5

  Copy full SHA for eee7ca5

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

• add #isVariable builtin (#182)

  Show description for b67eb81
  

  daejunpark

  authored and

  dwightguth

  committed
  b67eb81

  Copy full SHA for b67eb81

• 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

• 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

• 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

• generate axioms for overloaded productions (#181)

  

  dwightguth

  authored
  f4ea38e

  Copy full SHA for f4ea38e

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

  Show description for a7b316a
  

  dwightguth

  authored
  a7b316a

  Copy full SHA for a7b316a

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

• add [matching] attribute (#168)

  Show description for 7130bbf
  

  daejunpark

  authored and

  dwightguth

  committed
  7130bbf

  Copy full SHA for 7130bbf

Commits on Oct 11, 2018

• add [proj] attribute (#55)

  Show description for 952843c
  

  daejunpark

  authored and

  dwightguth

  committed
  952843c

  Copy full SHA for 952843c

Commits on Oct 10, 2018

• strategy axiom for llvm backend (will not yet work with haskell) (#165)

  Show description for 504ecde
  

  dwightguth

  authored
  504ecde

  Copy full SHA for 504ecde

• add [smt-prelude] attribute (#166)

  Show description for 89c8939
  

  daejunpark

  authored and

  dwightguth

  committed
  89c8939

  Copy full SHA for 89c8939

Commits on Oct 9, 2018

• More llvm backend fixes (#162)

  Show description for 6578b65
  

  dwightguth

  authored
  6578b65

  Copy full SHA for 6578b65

Commits on Oct 2, 2018

• LLVM backend (#159)

  Show description for f403769
  

  dwightguth

  authored
  f403769

  Copy full SHA for f403769