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

Commits on Aug 9, 2019

• Network hooks (#678)

  Show description for a04e870
  

  dwightguth

  authored and

  ehildenb

  committed
  a04e870

  Copy full SHA for a04e870

Commits on Aug 6, 2019

• update llvm backend (#671)

  

  dwightguth

  authored
  b81cf39

  Copy full SHA for b81cf39

• update llvm-backend submodule (#670)

  

  dwightguth

  authored
  291c432

  Copy full SHA for 291c432

• Update to latest llvm backend (#669)

  Show description for c435af5
  

  dwightguth

  authored
  c435af5

  Copy full SHA for c435af5

Commits on Jul 31, 2019

• update llvm-backend submodule

  

  Dwight Guth

  committed
  86adea1

  Copy full SHA for 86adea1

Commits on Jul 30, 2019

• update submodule (#657)

  

  dwightguth

  authored
  3f1b114

  Copy full SHA for 3f1b114

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

• update llvm-backend submodule (#652)

  

  dwightguth

  authored
  bbc64d4

  Copy full SHA for bbc64d4

• llvm-backend/src/main/native/llvm-backend: update submodule (#647)

  

  rv-jenkins

  authored and

  dwightguth

  committed
  4505dbd

  Copy full SHA for 4505dbd

Commits on Jul 26, 2019

• Bug fixes (#646)

  Show description for 21156b2
  

  dwightguth

  authored and

  ehildenb

  committed
  21156b2

  Copy full SHA for 21156b2

• llvm-backend/src/main/native/llvm-backend: update submodule (#645)

  

  rv-jenkins

  authored and

  dwightguth

  committed
  d2aefdf

  Copy full SHA for d2aefdf

• missing bytes hooks (#641)

  Show description for c7c7ca9
  

  dwightguth

  authored
  c7c7ca9

  Copy full SHA for c7c7ca9

Commits on Jul 25, 2019

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

• Update dependencies (#629)

  Show description for 6837bef
  

  rv-jenkins

  authored and

  ehildenb

  committed
  6837bef

  Copy full SHA for 6837bef

Commits on Jul 17, 2019

• Update dependencies (#617)

  Show description for 977dbf4
  

  rv-jenkins

  authored and

  dwightguth

  committed
  977dbf4

  Copy full SHA for 977dbf4

Commits on Jul 11, 2019

• Update dependencies (#608)

  Show description for d054267
  

  rv-jenkins

  authored and

  dwightguth

  committed
  d054267

  Copy full SHA for d054267

• Update submodule dependencies (#607)

  Show description for e315f0b
  

  rv-jenkins

  authored and

  ehildenb

  committed
  e315f0b

  Copy full SHA for e315f0b

Commits on Jul 10, 2019

• update llvm backend submodule (#604)

  Show description for 70ca2fe
  

  dwightguth

  authored and

  ehildenb

  committed
  70ca2fe

  Copy full SHA for 70ca2fe

• llvm-backend/src/main/native/llvm-backend: update submodule (#602)

  

  rv-jenkins

  authored and

  ehildenb

  committed
  612f21e

  Copy full SHA for 612f21e

Commits on Jul 9, 2019

• Update submodule dependencies (#600)

  Show description for 8ddacfb
  

  rv-jenkins

  authored and

  ehildenb

  committed
  8ddacfb

  Copy full SHA for 8ddacfb

Commits on Jul 4, 2019

• Update submodule dependencies (#593)

  Show description for c0d7170
  

  rv-jenkins

  authored and

  ehildenb

  committed
  c0d7170

  Copy full SHA for c0d7170

Commits on Jul 3, 2019

• KBMC (#545)

  Show description for 1875e28
  

  yzhang90

  authored and

  dwightguth

  committed
  1875e28

  Copy full SHA for 1875e28

• llvm-backend/src/main/native/llvm-backend: update submodule (#591)

  

  rv-jenkins

  authored and

  ehildenb

  committed
  e6a8194

  Copy full SHA for e6a8194

Commits on Jun 28, 2019

• Update submodule dependencies (#576)

  Show description for 1e25f37
  

  rv-jenkins

  authored and

  ehildenb

  committed
  1e25f37

  Copy full SHA for 1e25f37

Commits on Jun 27, 2019

• update llvm backend submodule (#574)

  

  dwightguth

  authored and

  ehildenb

  committed
  d09e594

  Copy full SHA for d09e594

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

Commits on Jun 21, 2019

• Update submodule dependencies (#564)

  Show description for aa7631e
  

  rv-jenkins

  authored and

  ehildenb

  committed
  aa7631e

  Copy full SHA for aa7631e

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

• fix bug in -ccopt (#563)

  

  dwightguth

  authored
  a8b0e8e

  Copy full SHA for a8b0e8e

Commits on Jun 17, 2019

• Update submodule dependencies (#548)

  Show description for d03b418
  

  ehildenb

  authored and

  dwightguth

  committed
  d03b418

  Copy full SHA for d03b418

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

• Update submodules (#532)

  Show description for 68056f5
  

  dwightguth

  authored and

  ehildenb

  committed
  68056f5

  Copy full SHA for 68056f5

Commits on Jun 7, 2019

• FFI variadic functions (#482)

  Show description for c8e42fa
  mickyabir

  authored
  c8e42fa

  Copy full SHA for c8e42fa