Commits

Branch selector

 timeout-kserver

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 28, 2019

• code review fix

  denis-bogdanas

  committed
  0a53030

  Copy full SHA for 0a53030

• kernel: option --timeout: support for kserver mode

  denis-bogdanas

  committed
  a79c1bc

  Copy full SHA for a79c1bc

Commits on Nov 27, 2019

• kernel/KProve, ProofDefinitionBuilder: refactored to Guice injections (#887)

  Show description for 18ad1ba
  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  18ad1ba

  Copy full SHA for 18ad1ba

• better code to get production for parametric terms during unparsing (#940)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  271c573

  Copy full SHA for 271c573

• add --concrete-rules option (#935)

  Show description for b0b7ee6
  

  daejunpark

  authored and

  denis-bogdanas

  committed
  b0b7ee6

  Copy full SHA for b0b7ee6

Commits on Nov 26, 2019

• Reverted changes to haskell imp (#931)

  Show description for 0f1da67
  

  traiansf

  authored and

  rv-jenkins

  committed
  0f1da67

  Copy full SHA for 0f1da67

• fix null token issue in sort inferencer (#939)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  33a6466

  Copy full SHA for 33a6466

• Make llvm backend default (refactored) (#883)

  Show description for 729ea37
  

  Dwight Guth

  authored
  729ea37

  Copy full SHA for 729ea37

• Update dependencies (#932)

  Show description for c123cbe
  rv-jenkins

  authored
  c123cbe

  Copy full SHA for c123cbe

Commits on Nov 25, 2019

• Jenkinsfile: migrate to new dependency updater (#933)

  

  ehildenb

  authored and

  rv-jenkins

  committed
  39bec73

  Copy full SHA for 39bec73

• Mkstemp: fix interface (#692)

  Show description for 34e914c
  

  nishantjr

  authored and

  Dwight Guth

  committed
  34e914c

  Copy full SHA for 34e914c

• Update dependencies (#923)

  Show description for 936f447
  rv-jenkins

  authored
  936f447

  Copy full SHA for 936f447

Commits on Nov 22, 2019

• Z3 based sort inferencer (#874)

  Show description for 7c6b95b
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  7c6b95b

  Copy full SHA for 7c6b95b

• Improve llvm backend optimization flags (#928)

  Show description for c0d519e
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  c0d519e

  Copy full SHA for c0d519e

• java-backend/Profiler2: printing JVM init time (#925)

  Show description for b14091f
  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  b14091f

  Copy full SHA for b14091f

Commits on Nov 21, 2019

• kernel/binaryLoader: corrected file locking mechanism issues caused by JDK limitations (#917)

  Show description for a8f8c4e
  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  a8f8c4e

  Copy full SHA for a8f8c4e

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

  rv-jenkins

  authored
  56ebb31

  Copy full SHA for 56ebb31

• [pyk] newLines unparser and fix to splitConfigFrom (#921)

  Show description for 129af93
  

  ehildenb

  authored and

  rv-jenkins

  committed
  129af93

  Copy full SHA for 129af93

• fix name bottle is deployed under (#926)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  6c64f53

  Copy full SHA for 6c64f53

• kernel: startTime refactoring. Now it is created at very beginning of execution. Necessary to debug a run time anomaly on Jenkins. (#924)

  

  denis-bogdanas

  authored and

  Dwight Guth

  committed
  1d916da

  Copy full SHA for 1d916da

Commits on Nov 20, 2019

• Update dependencies (#918)

  Show description for 99bf1c2
  rv-jenkins

  authored
  99bf1c2

  Copy full SHA for 99bf1c2

• Time (#905)

  Show description for cac1217
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  cac1217

  Copy full SHA for cac1217

Commits on Nov 19, 2019

• Fixed claim detection for Haskell prove (#920)

  

  traiansf

  authored and

  ehildenb

  committed
  3ba018b

  Copy full SHA for 3ba018b

Commits on Nov 18, 2019

• Fix Arch directory/package name (#909)

  Show description for d8ef1b9
  

  ehildenb

  authored and

  rv-jenkins

  committed
  d8ef1b9

  Copy full SHA for d8ef1b9

• Update dependencies (#904)

  Show description for 470cab6
  rv-jenkins

  authored
  470cab6

  Copy full SHA for 470cab6

Commits on Nov 16, 2019

• Jenkinsfile: fix deploy stage (#908)

  

  ehildenb

  authored and

  rv-jenkins

  committed
  b8e3dca

  Copy full SHA for b8e3dca

Commits on Nov 15, 2019

• Jenkinsfile, src/main/scripts/brew*: update ROOT_URL (#907)

  

  ehildenb

  authored and

  rv-jenkins

  committed
  e87b1bd

  Copy full SHA for e87b1bd

Commits on Nov 14, 2019

• domains.k: Add token attribute to Bytes sort (#903)

  Show description for 5a053f8
  

  ttuegel

  authored and

  rv-jenkins

  committed
  5a053f8

  Copy full SHA for 5a053f8

• kernel: refactoring KPrint and dependencies to Guice injections (#877)

  Show description for 6e969ee
  denis-bogdanas

  authored
  6e969ee

  Copy full SHA for 6e969ee

Commits on Nov 13, 2019

• Arch packaging (#901)

  Show description for 2a4d829
  ehildenb

  authored
  2a4d829

  Copy full SHA for 2a4d829

• Update dependencies (#899)

  Show description for bdabad9
  rv-jenkins

  authored
  bdabad9

  Copy full SHA for bdabad9

• fix regression in kore generation (#898)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  1670709

  Copy full SHA for 1670709

Commits on Nov 12, 2019

• Update dependencies (#895)

  Show description for f0dee5d
  rv-jenkins

  authored
  f0dee5d

  Copy full SHA for f0dee5d

• Switch to using `hub` command for releases (#863)

  Show description for b2e88d1
  

  ehildenb

  authored and

  Dwight Guth

  committed
  b2e88d1

  Copy full SHA for b2e88d1

Commits on Nov 11, 2019

• Update dependencies (#890)

  Show description for dacb8bf
  rv-jenkins

  authored
  dacb8bf

  Copy full SHA for dacb8bf

Pagination

Previous

Next