Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Aug 20, 2019

• [BUGFIX] LLVM backend crashes on integers prefixed with `+` (#690)

  Show description for 179d1c5
  

  ehildenb

  authored and

  mickyabir

  committed
  179d1c5

  Copy full SHA for 179d1c5

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

• try to release kframework bottle on mac os mojave (#673)

  Show description for 3ccefad
  

  dwightguth

  authored and

  ehildenb

  committed
  3ccefad

  Copy full SHA for 3ccefad

Commits on Aug 16, 2019

• revert haskell backend submodule (#694)

  Show description for 677104b
  

  dwightguth

  authored
  677104b

  Copy full SHA for 677104b

Commits on Aug 14, 2019

• k-distribution/pyk/kastManip: import loggers explicitely (#688)

  ehildenb

  authored
  824ffc8

  Copy full SHA for 824ffc8

Commits on Aug 12, 2019

• Smtlibs int - add SMTLIB translation for bitwise Int operations (#680)

  Show description for 684abb8
  ehildenb

  authored
  684abb8

  Copy full SHA for 684abb8

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

• Network hooks (#678)

  Show description for a04e870
  

  dwightguth

  authored and

  ehildenb

  committed
  a04e870

  Copy full SHA for a04e870

Commits on Aug 8, 2019

• Unparse set vars from Kore to K (#676)

  Show description for 9d40543
  traiansf

  authored
  9d40543

  Copy full SHA for 9d40543

• Updated haskell-backend with set-vars (#675)

  Show description for 5e3594a
  

  traiansf

  authored and

  dwightguth

  committed
  5e3594a

  Copy full SHA for 5e3594a

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

• fix for bytes pretty printing on concrete backends (#656)

  

  dwightguth

  authored
  01ba514

  Copy full SHA for 01ba514

Commits on Jul 26, 2019

• missing bytes hooks (#641)

  Show description for c7c7ca9
  

  dwightguth

  authored
  c7c7ca9

  Copy full SHA for c7c7ca9

Commits on Jul 25, 2019

• Update dependencies + Debian Buster (#640)

  Show description for ec2e4e7
  

  dwightguth

  authored and

  ehildenb

  committed
  ec2e4e7

  Copy full SHA for ec2e4e7

• The test case about `String2Base` function under llvm backend. (#634)

  Show description for 6ed0220
  

  QianyangPeng

  authored and

  ehildenb

  committed
  6ed0220

  Copy full SHA for 6ed0220

Commits on Jul 23, 2019

• systemResult as symbol and label (#632)

  Show description for 0fdaeb2
  mickyabir

  authored
  0fdaeb2

  Copy full SHA for 0fdaeb2

Commits on Jul 22, 2019

• Automatically generate tools in bin dir of package from prefix. (#633)

  Show description for 3e97d7d
  

  dwightguth

  authored and

  ehildenb

  committed
  3e97d7d

  Copy full SHA for 3e97d7d

• Temporary roll back of set var axioms (#630)

  

  traiansf

  authored and

  dwightguth

  committed
  3026f0c

  Copy full SHA for 3026f0c

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

• test case for f32 multiplication with llvm backend (#601)

  

  QianyangPeng

  authored and

  ehildenb

  committed
  0e2317b

  Copy full SHA for 0e2317b

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

• py-kframework/kast.py: fixes to unparsing code (#599)

  ehildenb

  authored
  13c1466

  Copy full SHA for 13c1466

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

• Pyk library: Library for handling frontend JSON KAST terms programatically (#557)

  Show description for e04ca33
  ehildenb

  authored
  e04ca33

  Copy full SHA for e04ca33

Commits on Jun 25, 2019

• add parsing for weakExistsFinally (#554)

  Show description for 8598331
  

  ana-pantilie

  authored and

  dwightguth

  committed
  8598331

  Copy full SHA for 8598331

Commits on Jun 21, 2019

• Fix regression involving strategies (#568)

  Show description for 065d7b2
  

  dwightguth

  authored
  065d7b2

  Copy full SHA for 065d7b2

Commits on Jun 20, 2019

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

  Show description for fe44659
  traiansf

  authored
  fe44659

  Copy full SHA for fe44659

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