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

• 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

• 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

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

• Java Backend log: indent logs generated during function evaluation (#417)

  Show description for 62106fc
  denis-bogdanas

  authored
  62106fc

  Copy full SHA for 62106fc

Commits on Apr 19, 2019

• Refactored generation of claims to KORE (#415)

  traiansf

  authored
  7e3d0fd

  Copy full SHA for 7e3d0fd

Commits on Apr 16, 2019

• [BUGFIX] Determining rule for getExitCode relies on top cell being named generatedTop (#407)

  Show description for d521ed9
  ehildenb

  authored
  d521ed9

  Copy full SHA for d521ed9

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

• Latex serializer/output mode (#380)

  Show description for 55e905b
  

  ehildenb

  authored and

  dwightguth

  committed
  55e905b

  Copy full SHA for 55e905b

Commits on Apr 9, 2019

• fix withConfig in requires (#400)

  Show description for f7cf3d3
  

  dwightguth

  authored
  f7cf3d3

  Copy full SHA for f7cf3d3

Commits on Apr 8, 2019

• kore/Att.hashCode fix (#386)

  Show description for cebb9ab
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  cebb9ab

  Copy full SHA for cebb9ab

• generate explicit projections for outer casts (#395)

  Show description for 9f5bba3
  

  dwightguth

  authored
  9f5bba3

  Copy full SHA for 9f5bba3

Commits on Apr 5, 2019

• don't emit no confusion for ml syntax (#396)

  

  dwightguth

  authored
  8c3325c

  Copy full SHA for 8c3325c

• try to build k on mac os during ci (#362)

  Show description for dd587fd
  

  dwightguth

  authored
  dd587fd

  Copy full SHA for dd587fd

Commits on Apr 4, 2019

• Factored identifier encoding (#394)

  Show description for 5dcfc59
  

  ehildenb

  authored and

  dwightguth

  committed
  5dcfc59

  Copy full SHA for 5dcfc59

• 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 Apr 2, 2019

• fix bug involving function with context and multiple cases (#384)

  Show description for 9ad8edd
  

  dwightguth

  authored
  9ad8edd

  Copy full SHA for 9ad8edd

Commits on Mar 27, 2019

• Added refresh rules implementation and owise test. CI should fail (#373)

  Show description for ab43b4d
  traiansf

  authored
  ab43b4d

  Copy full SHA for ab43b4d

• BinaryLoader: proper intra-VM synchronization before reading/writing parse cache (#369)

  Show description for 98d9220
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  98d9220

  Copy full SHA for 98d9220

Commits on Mar 22, 2019

• Fix bugs in K frontend compiler (#368)

  Show description for 386aad5
  

  dwightguth

  authored
  386aad5

  Copy full SHA for 386aad5

• Added smt-hook attribute (#365)

  Show description for 9e09af6
  traiansf

  authored
  9e09af6

  Copy full SHA for 9e09af6