Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Aug 9, 2019

• tests: One more test for `#fun`, failing. Anything simpler passes. (#619)

  Show description for 8b0459d
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  8b0459d

  Copy full SHA for 8b0459d

Commits on Jul 19, 2019

• Add the hasDomainValues attribute to kore (#623)

  Show description for d9ed46a
  

  virgil-serbanuta

  authored and

  dwightguth

  committed
  d9ed46a

  Copy full SHA for d9ed46a

Commits on Jul 4, 2019

• Non-recursive and recursive macros, plus macros applied to tokens. (#592)

  Show description for dadcda0
  

  dwightguth

  authored
  dadcda0

  Copy full SHA for dadcda0

Commits on Jun 26, 2019

• Initial support for set variables (#571)

  Show description for 66945cf
  

  traiansf

  authored and

  ehildenb

  committed
  66945cf

  Copy full SHA for 66945cf

Commits on Jun 25, 2019

• Updates to latest llvm backend (#570)

  Show description for 4d93a35
  

  dwightguth

  authored and

  ehildenb

  committed
  4d93a35

  Copy full SHA for 4d93a35

• add parsing for weakExistsFinally (#554)

  Show description for 8598331
  

  ana-pantilie

  authored and

  dwightguth

  committed
  8598331

  Copy full SHA for 8598331

Commits on Jun 17, 2019

• context alias (#531)

  Show description for ef595aa
  

  dwightguth

  authored and

  ehildenb

  committed
  ef595aa

  Copy full SHA for ef595aa

Commits on Jun 13, 2019

• Kore to k 2 (#538)

  Show description for 1252670
  traiansf

  authored
  1252670

  Copy full SHA for 1252670

Commits on Jun 11, 2019

• Do not mark Kore symbols as constructors that have [macro] rules (#534)

  Show description for 1ec7a9d
  ttuegel

  authored
  1ec7a9d

  Copy full SHA for 1ec7a9d

• Add `injective` to constructor-like Kore symbols (#513)

  Show description for 89aeace
  ttuegel

  authored
  89aeace

  Copy full SHA for 89aeace

• kprove: refactoring. Renamed and moved spliceModule() to actual specification steps in each backend, where it belongs. (#526)

  

  denis-bogdanas

  authored and

  ehildenb

  committed
  e8210a4

  Copy full SHA for e8210a4

Commits on Jun 7, 2019

• fix parentheses matching issue for multiple anonymous variables (#523)

  yzhang90

  authored
  abc7989

  Copy full SHA for abc7989

Commits on Jun 6, 2019

• Support #Forall _/ #Exists _ (#516)

  yzhang90

  authored
  8d8c20b

  Copy full SHA for 8d8c20b

• RefreshRules: avoid variable names from a given set (#519)

  

  traiansf

  authored and

  dwightguth

  committed
  9282633

  Copy full SHA for 9282633

Commits on Jun 4, 2019

• Fixes regression involving function context (#514)

  Show description for 98fafd9
  

  dwightguth

  authored
  98fafd9

  Copy full SHA for 98fafd9

• fix #fun (#510)

  

  dwightguth

  authored
  ebbd69a

  Copy full SHA for ebbd69a

Commits on May 30, 2019

• Faster sort inference of ml primitives in unparsing (#499)

  Show description for 513d15d
  

  dwightguth

  authored and

  ehildenb

  committed
  513d15d

  Copy full SHA for 513d15d

Commits on May 16, 2019

• Resolve interaction between macros and function context (#477)

  Show description for 03ba782
  

  dwightguth

  authored
  03ba782

  Copy full SHA for 03ba782

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

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

• Refactored generation of claims to KORE (#415)

  traiansf

  authored
  7e3d0fd

  Copy full SHA for 7e3d0fd

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

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 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

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

• Revert "Revert "use ml constructs in k and encode them into kore (#336)""

  Show description for fe2f681
  

  Dwight Guth

  committed
  fe2f681

  Copy full SHA for fe2f681

• Revert "use ml constructs in k and encode them into kore (#336)"

  Show description for 2f07aba
  

  Dwight Guth

  committed
  2f07aba

  Copy full SHA for 2f07aba

• use ml constructs in k and encode them into kore (#336)

  Show description for 3a4dd20
  

  traiansf

  authored and

  dwightguth

  committed
  3a4dd20

  Copy full SHA for 3a4dd20