Commits

Breadcrumbs

History for

ontimeout-kserver

User selector

All users

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

• 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

• 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

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

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

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

• 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

• fix regression in kore generation (#898)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  1670709

  Copy full SHA for 1670709

Commits on Nov 7, 2019

• kernel/BinaryLoader: better fix for OverlappingFileLockException (#885)

  

  denis-bogdanas

  authored and

  Dwight Guth

  committed
  f616ef8

  Copy full SHA for f616ef8

Commits on Nov 6, 2019

• Fix another issue with sort inference (#880)

  Show description for 9a53e4e
  

  Dwight Guth

  authored
  9a53e4e

  Copy full SHA for 9a53e4e

Commits on Nov 4, 2019

• kernel/AddCoolLikeAtt: first check if enough elements before getting first element (#872)

  

  ehildenb

  authored and

  rv-jenkins

  committed
  7bdcf8f

  Copy full SHA for 7bdcf8f

• k-distribution,kernel: remove notInRules (#870)

  Show description for 25b4df6
  

  ehildenb

  authored and

  rv-jenkins

  committed
  25b4df6

  Copy full SHA for 25b4df6

• Fix bug in sort inference in beacon chain (#871)

  Show description for 6781ef6
  

  Dwight Guth

  authored and

  ehildenb

  committed
  6781ef6

  Copy full SHA for 6781ef6

• kernel/BinaryLoader: Workaround for a FST bug causing OverlappingFileLockException (#868)

  Show description for 5de8012
  denis-bogdanas

  authored
  5de8012

  Copy full SHA for 5de8012

Commits on Nov 2, 2019

• kernel/BinaryLoader: replacing default JDK serializer with FST, for performance (#864)

  Show description for 3eeeba4
  denis-bogdanas

  authored
  3eeeba4

  Copy full SHA for 3eeeba4

• GlobalOptions: option --timeout, formatted as Duration object (#857)

  Show description for cad7c82
  denis-bogdanas

  authored
  cad7c82

  Copy full SHA for cad7c82

Commits on Nov 1, 2019

• Make ambiguities report as errors - b (#855)

  Show description for d76cc4d
  radumereuta

  authored
  d76cc4d

  Copy full SHA for d76cc4d

Commits on Oct 22, 2019

• cache topCellSort String and make the code more readable (#848)

  

  yzhang90

  authored and

  dwightguth

  committed
  25fe7e7

  Copy full SHA for 25fe7e7

Commits on Oct 19, 2019

• Remove 'poly' attribute (#819)

  Show description for ae1d5e2
  

  dwightguth

  authored and

  ehildenb

  committed
  ae1d5e2

  Copy full SHA for ae1d5e2

Commits on Oct 18, 2019

• Added attributes for distinguishing claims (#842)

  Show description for 431c8fd
  traiansf

  authored
  431c8fd

  Copy full SHA for 431c8fd

Commits on Oct 17, 2019

• make StringBuilder an explict argument to convert functions (#844)

  

  yzhang90

  authored and

  dwightguth

  committed
  39ffdb4

  Copy full SHA for 39ffdb4

Commits on Oct 16, 2019

• Make KORE slightly more deterministic (#835)

  Show description for d1ce558
  

  dwightguth

  authored
  d1ce558

  Copy full SHA for d1ce558

• refactor some places to use Sentence.withAtt (#836)

  

  dwightguth

  authored and

  ehildenb

  committed
  2461479

  Copy full SHA for 2461479

Commits on Oct 10, 2019

• Fix a pretty serious bug in sort inference + better debugging info (#833)

  Show description for cbd0230
  

  dwightguth

  authored
  cbd0230

  Copy full SHA for cbd0230

Commits on Oct 3, 2019

• Emit warnings for non exhaustive matches and useless rules (#815)

  Show description for 725c256
  

  dwightguth

  authored and

  ehildenb

  committed
  725c256

  Copy full SHA for 725c256

Commits on Sep 30, 2019

• Structured JSON serialized attributes (#806)

  Show description for 2963272
  ehildenb

  authored
  2963272

  Copy full SHA for 2963272

• Make KoreToK easier to construct (#805)

  Show description for 18e39c6
  

  dwightguth

  authored and

  ehildenb

  committed
  18e39c6

  Copy full SHA for 18e39c6

Commits on Sep 27, 2019

• Always generate unique id map (#804)

  Show description for 8125126
  ehildenb

  authored
  8125126

  Copy full SHA for 8125126

Commits on Sep 25, 2019

• add return sort to symbol generation in kore backends (#797)

  Show description for 30b4897
  

  dwightguth

  authored and

  ehildenb

  committed
  30b4897

  Copy full SHA for 30b4897

Commits on Sep 23, 2019

• Nice freezers for context aliases (#789)

  Show description for 0350dcc
  

  h0nzZik

  authored and

  dwightguth

  committed
  0350dcc

  Copy full SHA for 0350dcc

• Sort Synonyms (#791)

  Show description for 41c3e29
  

  dwightguth

  authored
  41c3e29

  Copy full SHA for 41c3e29