Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 26, 2020

• domains.k: Do not import K-REFLECTION (#1055)

  Show description for b3536fc
  

  ttuegel

  authored and

  ehildenb

  committed
  b3536fc

  Copy full SHA for b3536fc

Commits on Jan 24, 2020

• fix bug involving interaction of function context and macros (#1054)

  Show description for 9c8874c
  

  Dwight Guth

  and

  rv-jenkins

  committed
  9c8874c

  Copy full SHA for 9c8874c

Commits on Jan 23, 2020

• kernel/KRunOptions: remove usused option (#1052)

  Show description for 9c1efe2
  

  ehildenb

  and

  rv-jenkins

  committed
  9c1efe2

  Copy full SHA for 9c1efe2

Commits on Jan 22, 2020

• Update dependency: llvm-backend/src/main/native/llvm-backend (#1051)

  Show description for 0118491
  rv-jenkins

  authored
  0118491

  Copy full SHA for 0118491

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

  rv-jenkins

  authored
  e85da7a

  Copy full SHA for e85da7a

• Revert "Update dependencies (#1029)" (#1050)

  Show description for 1f2933a
  

  ttuegel

  authored and

  rv-jenkins

  committed
  1f2933a

  Copy full SHA for 1f2933a

• Remove DOMAINS import from some regression tests (#1044)

  Show description for fbb9e93
  

  andreiburdusa

  and

  ttuegel

  committed
  fbb9e93

  Copy full SHA for fbb9e93

Commits on Jan 20, 2020

• kernel/KastFrontEnd: make sure to flush output (#1048)

  Show description for 0252ab6
  

  ehildenb

  and

  rv-jenkins

  committed
  0252ab6

  Copy full SHA for 0252ab6

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

  rv-jenkins

  authored
  a8982e8

  Copy full SHA for a8982e8

• Significant performance improvements to parsing and compilation time (#1039)

  Show description for 59e94d6
  

  Dwight Guth

  and

  rv-jenkins

  committed
  59e94d6

  Copy full SHA for 59e94d6

• Makefile system: tweaks to make it compatible with global --debug option (#1042)

  Show description for 488ba60
  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  488ba60

  Copy full SHA for 488ba60

Commits on Jan 16, 2020

• Update dependencies (#1041)

  Show description for c4d448a
  rv-jenkins

  authored
  c4d448a

  Copy full SHA for c4d448a

• Update dependencies (#1029)

  Show description for 195c9c2
  rv-jenkins

  authored
  195c9c2

  Copy full SHA for 195c9c2

• FST serializer: fixes to intermittent, concurrency failures (#1037)

  Show description for c1c2cad
  

  denis-bogdanas

  authored and

  Dwight Guth

  committed
  c1c2cad

  Copy full SHA for c1c2cad

• kernel: KProveOptions: --concrete-rules is now implemented in front-end (#1010)

  Show description for e918a11
  denis-bogdanas

  authored
  e918a11

  Copy full SHA for e918a11

Commits on Jan 15, 2020

• Check for duplicate module names (#1024)

  Show description for 1471093
  

  Dwight Guth

  and

  rv-jenkins

  committed
  1471093

  Copy full SHA for 1471093

• bison in path for K tools on mac (#1028)

  Show description for 828288c
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  828288c

  Copy full SHA for 828288c

• Update dependencies (#1013)

  Show description for ffbe094
  rv-jenkins

  authored
  ffbe094

  Copy full SHA for ffbe094

• Update pending-documentation (#963)

  Show description for c1e46c3
  

  3 peopleauthored
  c1e46c3

  Copy full SHA for c1e46c3

• Stopwatch print time of step (#1025)

  Show description for 2123f63
  radumereuta

  authored
  2123f63

  Copy full SHA for 2123f63

Commits on Jan 14, 2020

• better performance of unparsing (#1022)

  Show description for 2d3834b
  

  Dwight Guth

  and

  rv-jenkins

  committed
  2d3834b

  Copy full SHA for 2d3834b

• Update dependencies (#1017)

  Show description for ee6b9cb
  rv-jenkins

  authored
  ee6b9cb

  Copy full SHA for ee6b9cb

Commits on Jan 13, 2020

• Fix issue where typo in configuration results in extremely verbose error message (#1014)

  Show description for 3e4bf42
  

  Dwight Guth

  and

  rv-jenkins

  committed
  3e4bf42

  Copy full SHA for 3e4bf42

• Rand test with fixed seeds (#1015)

  Show description for 9c059f2
  

  ehildenb

  authored and

  rv-jenkins

  committed
  9c059f2

  Copy full SHA for 9c059f2

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

  rv-jenkins

  authored
  8da05a6

  Copy full SHA for 8da05a6

Commits on Jan 10, 2020

• Update dependencies (#1011)

  Show description for b54761f
  rv-jenkins

  authored
  b54761f

  Copy full SHA for b54761f

• Update dependencies (#1009)

  Show description for 3243b13
  rv-jenkins

  authored
  3243b13

  Copy full SHA for 3243b13

Commits on Jan 9, 2020

• kast --gen-parser prototype (#1003)

  Show description for 5cb2dfe
  

  Dwight Guth

  and

  rv-jenkins

  committed
  5cb2dfe

  Copy full SHA for 5cb2dfe

• Update dependencies (#1008)

  Show description for 204f42b
  rv-jenkins

  authored
  204f42b

  Copy full SHA for 204f42b

Commits on Jan 8, 2020

• Check uniqueness of symbols in kore backends (#973)

  Show description for b95e2fa
  

  Dwight Guth

  and

  rv-jenkins

  committed
  b95e2fa

  Copy full SHA for b95e2fa

• Java Backend: improved simplification of equalities. Allows ==K term evaluation through regular rules before builtin simplification is applied. (#992)

  Show description for 2c9740f
  

  denis-bogdanas

  and

  rv-jenkins

  committed
  2c9740f

  Copy full SHA for 2c9740f

• Update dependencies (#1006)

  Show description for 56ec4dc
  rv-jenkins

  authored
  56ec4dc

  Copy full SHA for 56ec4dc

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

  rv-jenkins

  authored
  44e0868

  Copy full SHA for 44e0868

Commits on Jan 7, 2020

• Update dependencies (#1004)

  Show description for f84831e
  

  rv-jenkins

  authored and

  ehildenb

  committed
  f84831e

  Copy full SHA for f84831e

Commits on Jan 6, 2020

• Fix bug involving kore generation of function rules (#1002)

  Show description for 73635c5
  

  Dwight Guth

  and

  rv-jenkins

  committed
  73635c5

  Copy full SHA for 73635c5

Pagination

Previous

Next