Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Aug 20, 2019

• java-backend: Variable.equals() is now based on name and sort (#687)

  Show description for 2ced6b6
  

  denis-bogdanas

  authored and

  ehildenb

  committed
  2ced6b6

  Copy full SHA for 2ced6b6

Commits on Aug 13, 2019

• fix bug involving strategies (#682)

  Show description for db026d4
  

  dwightguth

  authored and

  ehildenb

  committed
  db026d4

  Copy full SHA for db026d4

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

• Pyk library updates and fixes to KPrint output (#651)

  Show description for b87f53f
  ehildenb

  authored
  b87f53f

  Copy full SHA for b87f53f

Commits on Jul 26, 2019

• missing bytes hooks (#641)

  Show description for c7c7ca9
  

  dwightguth

  authored
  c7c7ca9

  Copy full SHA for c7c7ca9

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

• Tests for nested #fun. Issues with LLVM backend (#597)

  Show description for 05e91fa
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  05e91fa

  Copy full SHA for 05e91fa

Commits on Jul 10, 2019

• fix bugs in CheckFunctions (#605)

  

  dwightguth

  authored and

  ehildenb

  committed
  353d89c

  Copy full SHA for 353d89c

Commits on Jul 9, 2019

• Refactored #Ceil axiom to use Set vars (#596)

  Show description for 89361d7
  

  traiansf

  authored and

  dwightguth

  committed
  89361d7

  Copy full SHA for 89361d7

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 Jul 3, 2019

• Refactor KILToKORE to use new `FlatModule` data-structures in outer-ext.scala (#573)

  Show description for c4b32d3
  ehildenb

  authored
  c4b32d3

  Copy full SHA for c4b32d3

• KBMC (#545)

  Show description for 1875e28
  

  yzhang90

  authored and

  dwightguth

  committed
  1875e28

  Copy full SHA for 1875e28

• ocaml-backend kompile: test for a missing kompile error. +Int in LHS (#589)

  Show description for a688a7b
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  a688a7b

  Copy full SHA for a688a7b

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

• made Rewriter::prove return RewriterResult (#562)

  Show description for fe44659
  traiansf

  authored
  fe44659

  Copy full SHA for fe44659

• Integrated KORE output into KPrint (#561)

  Show description for 90ee840
  

  traiansf

  authored and

  ehildenb

  committed
  90ee840

  Copy full SHA for 90ee840

Commits on Jun 19, 2019

• add project:KItem (#560)

  Show description for d037ffe
  

  dwightguth

  authored
  d037ffe

  Copy full SHA for d037ffe

• Fix parsing bugs (#559)

  Show description for a1acdfd
  

  dwightguth

  authored and

  ehildenb

  committed
  a1acdfd

  Copy full SHA for a1acdfd

Commits on Jun 18, 2019

• autoDeserialize in KRead (#558)

  Show description for 5804f25
  

  gtrepta

  authored and

  ehildenb

  committed
  5804f25

  Copy full SHA for 5804f25

• Report error when trying to heat a KSequence. (#556)

  Show description for 1bb5fc4
  

  dwightguth

  authored and

  ehildenb

  committed
  1bb5fc4

  Copy full SHA for 1bb5fc4

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

• More KRead stuff, plus renaming KoreParser (#540)

  Show description for 121d8e1
  

  gtrepta

  authored and

  ehildenb

  committed
  121d8e1

  Copy full SHA for 121d8e1

Commits on Jun 11, 2019

• fix bug in MinimizeTermConstruction (#530)

  Show description for 58a1a87
  

  dwightguth

  authored and

  ehildenb

  committed
  58a1a87

  Copy full SHA for 58a1a87

• fix bug in kompile -I (#536)

  

  dwightguth

  authored
  50d9f84

  Copy full SHA for 50d9f84

• 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

• Adding more robustness to the front end to take various input formats (#524)

  Show description for e67143f
  

  gtrepta

  authored and

  ehildenb

  committed
  e67143f

  Copy full SHA for e67143f

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

• fix KAs case in ExpandMacros.sort (#529)

  

  dwightguth

  authored
  321458b

  Copy full SHA for 321458b

• fix return sort of initializer for * cells (#522)

  

  dwightguth

  authored
  5e3c3e0

  Copy full SHA for 5e3c3e0

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