Commits

Breadcrumbs

History for

onsubsort-ambiguity-bug

User selector

All users

All time

Commit History

Commits on Feb 8, 2019

• haskell-backend: update submodule (#289)

  Show description for b577155
  ehildenb

  authored
  b577155

  Copy full SHA for b577155

• Revert "KProve architecture extension: made pretty printing available to Rewriter (#288)"

  Show description for cc72c39
  

  Dwight Guth

  committed
  cc72c39

  Copy full SHA for cc72c39

• KProve architecture extension: made pretty printing available to Rewriter (#288)

  Show description for 542bf00
  denis-bogdanas

  authored
  542bf00

  Copy full SHA for 542bf00

Commits on Feb 1, 2019

• Fix Stopwatch formatting. (#278)

  Show description for 0ebb5c9
  radumereuta

  authored
  0ebb5c9

  Copy full SHA for 0ebb5c9

Commits on Jan 30, 2019

• Build Haskell backend as a submodule, hook into Maven (#228)

  Show description for c50bfa2
  ehildenb

  authored
  c50bfa2

  Copy full SHA for c50bfa2

• [BUGFIX] Only process local sentences in GeneratedTopFormat Kompile pass (#276)

  Show description for deca3bb
  

  ehildenb

  authored and

  dwightguth

  committed
  deca3bb

  Copy full SHA for deca3bb

Commits on Jan 29, 2019

• Enquoting STDIN input (#273)

  

  traiansf

  authored and

  dwightguth

  committed
  dc09401

  Copy full SHA for dc09401

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