Commits

Branch selector

 withConfig2

User selector

All users

Datepicker

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

• add new test

  

  Dwight Guth

  committed
  df48501

  Copy full SHA for df48501

• Update submodule dependencies (#461)

  Show description for bdc6871
  ehildenb

  authored
  bdc6871

  Copy full SHA for bdc6871

• try to fix crash in mvn deploy

  

  Dwight Guth

  committed
  bb54a1a

  Copy full SHA for bb54a1a

Commits on May 10, 2019

• Java Backend: ConjunctiveFormula.toString custom: include truth value when false. (#448)

  Show description for cb91271
  

  denis-bogdanas

  authored and

  ehildenb

  committed
  cb91271

  Copy full SHA for cb91271

• 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

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

  Show description for 7097e81
  ehildenb

  authored
  7097e81

  Copy full SHA for 7097e81

• Allow #AG spec for bounded model checking (#458)

  Show description for 2669fd7
  

  yzhang90

  authored and

  dwightguth

  committed
  2669fd7

  Copy full SHA for 2669fd7

Commits on May 9, 2019

• Update Haskell backend submodule, fix kprove kompilation on Haskell backend (#456)

  Show description for 325fb9d
  ehildenb

  authored
  325fb9d

  Copy full SHA for 325fb9d

• Refactor injected options in the haskell backend (#457)

  Show description for 4acdf8f
  

  ehildenb

  authored and

  dwightguth

  committed
  4acdf8f

  Copy full SHA for 4acdf8f

• FFI struct type (#451)

  Show description for 0bdace2
  mickyabir

  authored
  0bdace2

  Copy full SHA for 0bdace2

• Allowing non-rewrite claims; proper encoding for ML binders (#452)

  Show description for 8837bbf
  traiansf

  authored
  8837bbf

  Copy full SHA for 8837bbf

• Better implementation of fresh constants and function context (#455)

  Show description for 6104067
  

  dwightguth

  authored
  6104067

  Copy full SHA for 6104067

Commits on May 8, 2019

• kernel: BinaryLoader - added shared file lock on reading (#445)

  Show description for f9041b7
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  f9041b7

  Copy full SHA for f9041b7

Commits on May 6, 2019

• Bug fixes for kore generation and also a new test harness for testing generated kore (#441)

  Show description for 26604e2
  

  dwightguth

  authored
  26604e2

  Copy full SHA for 26604e2

Commits on May 3, 2019

• Fix bug involving configuration cell under #as pattern (#443)

  Show description for ca35a02
  

  dwightguth

  authored
  ca35a02

  Copy full SHA for ca35a02

• don't require user to set ~/.cargo/bin on the PATH (#446)

  

  dwightguth

  authored
  fab8ad9

  Copy full SHA for fab8ad9

Commits on May 2, 2019

• Adding parseKAST tests (#424)

  Show description for 737c5f0
  

  radumereuta

  authored and

  dwightguth

  committed
  737c5f0

  Copy full SHA for 737c5f0

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

  Show description for 652d4a6
  

  dwightguth

  authored
  652d4a6

  Copy full SHA for 652d4a6

Commits on May 1, 2019

• Configuration formatting improvements (#431)

  Show description for 6920de4
  

  nishantjr

  authored and

  dwightguth

  committed
  6920de4

  Copy full SHA for 6920de4

Commits on Apr 30, 2019

• haskell-backend: update submodule, handle exit-code correctly (#439)

  Show description for 5ec23aa
  

  ehildenb

  authored and

  dwightguth

  committed
  5ec23aa

  Copy full SHA for 5ec23aa

• Add missing regression tests back (#432)

  Show description for 7f1d3b4
  

  dwightguth

  authored
  7f1d3b4

  Copy full SHA for 7f1d3b4

• Java Backend: refactorings & tests for spec rule application (#438)

  Show description for de3174e
  denis-bogdanas

  authored
  de3174e

  Copy full SHA for de3174e

• Java Backend: Minor refactorings (#434)

  Show description for 20b86e1
  denis-bogdanas

  authored
  20b86e1

  Copy full SHA for 20b86e1

• Java Backend error logging: adding stack trace with conjunctive formula in case or Z3 error. (#435)

  denis-bogdanas

  authored
  0b7464e

  Copy full SHA for 0b7464e

Commits on Apr 29, 2019

• build and deploy k on arch linux (#385)

  Show description for bf7c78a
  

  dwightguth

  authored and

  ehildenb

  committed
  bf7c78a

  Copy full SHA for bf7c78a

• Update k frontend to use new scala pattern matching code (#421)

  Show description for eb4c881
  

  dwightguth

  authored and

  ehildenb

  committed
  eb4c881

  Copy full SHA for eb4c881

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 kompile crash with stream cell (#429)

  Show description for 9ed47fb
  

  dwightguth

  authored and

  ehildenb

  committed
  9ed47fb

  Copy full SHA for 9ed47fb

• fix bug in TermCons.toString (#428)

  Show description for bd03d15
  

  dwightguth

  authored and

  ehildenb

  committed
  bd03d15

  Copy full SHA for bd03d15

Commits on Apr 24, 2019

• Io extras (#403)

  Show description for bb35c45
  radumereuta

  authored
  bb35c45

  Copy full SHA for bb35c45

• 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 22, 2019

• Java Backend log: Log target formula for final implication and spec rules (#419)

  Show description for 860a2d9
  denis-bogdanas

  authored
  860a2d9

  Copy full SHA for 860a2d9

Commits on Apr 21, 2019

• Java Backend performance: introduced KItem.evaluatedRecursively (#416)

  Show description for eb4711a
  denis-bogdanas

  authored
  eb4711a

  Copy full SHA for eb4711a

• Java Backend log: option --log-func-eval, renamed from --log-func-target (#418)

  denis-bogdanas

  authored
  5ceff0f

  Copy full SHA for 5ceff0f

Pagination

Previous

Next