Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

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 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

• 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

Commits on Jan 16, 2020

• 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

• 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

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

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

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

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

Commits on Dec 16, 2019

• Fix NoSuchElementException for klabel (#967)

  Show description for 8e07626
  

  virgil-serbanuta

  authored and

  Dwight Guth

  committed
  8e07626

  Copy full SHA for 8e07626

Commits on Dec 12, 2019

• Coverage (#969)

  Show description for 9e6f758
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  9e6f758

  Copy full SHA for 9e6f758

Commits on Dec 11, 2019

• fix bug involving sort inference of sort parameters (#965)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  20c1c88

  Copy full SHA for 20c1c88

Commits on Dec 10, 2019

• Better fix for issue with casts applied to KApply (#964)

  Show description for 42adeda
  

  Dwight Guth

  authored and

  radumereuta

  committed
  42adeda

  Copy full SHA for 42adeda

Commits on Dec 7, 2019

• kernel/Kompile, KBMC, KEq: refactored to Guice injections (#891)

  Show description for 413f849
  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  413f849

  Copy full SHA for 413f849

• Fix for sort annotations on parametric KApply (#948)

  Show description for 9e9e2df
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  9e9e2df

  Copy full SHA for 9e9e2df

Commits on Dec 6, 2019

• fix bug in krun frontend (#949)

  Show description for b8d5bf8
  

  Dwight Guth

  authored
  b8d5bf8

  Copy full SHA for b8d5bf8

• Existentially quantify variables in Kore (#942)

  Show description for 1ac32f2
  traiansf

  authored
  1ac32f2

  Copy full SHA for 1ac32f2

Commits on Dec 3, 2019

• new MINT module and polymorphic sort support (#839)

  Show description for f041eae
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  f041eae

  Copy full SHA for f041eae

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