Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 16, 2020

• 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 8, 2020

• 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

Commits on Dec 13, 2019

• Java Backend: implement keys_list hook (#977)

  Show description for 4ce9e84
  

  ehildenb

  authored and

  rv-jenkins

  committed
  4ce9e84

  Copy full SHA for 4ce9e84

Commits on Dec 6, 2019

• Java Backend: Prevent OOMError masking StackOverflowError on func eval (#952)

  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  06ce360

  Copy full SHA for 06ce360

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 25, 2019

• Mkstemp: fix interface (#692)

  Show description for 34e914c
  

  nishantjr

  authored and

  Dwight Guth

  committed
  34e914c

  Copy full SHA for 34e914c

Commits on Nov 22, 2019

• 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: 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 Oct 24, 2019

• Java Backend logging: log cases of ConjunctiveFormula evaluating to false, for final implication and spec rule application. (#851)

  denis-bogdanas

  authored
  a7e2f78

  Copy full SHA for a7e2f78

Commits on Oct 23, 2019

• Java Backend Logging: option --log-impl: log early implication exit points (#849)

  Show description for a070af4
  denis-bogdanas

  authored
  a070af4

  Copy full SHA for a070af4

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 16, 2019

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

  

  dwightguth

  authored and

  ehildenb

  committed
  2461479

  Copy full SHA for 2461479

Commits on Sep 6, 2019

• Weaker configuration constraints for more flexible composition (#741)

  Show description for 406f62b
  

  ehildenb

  authored and

  dwightguth

  committed
  406f62b

  Copy full SHA for 406f62b

Commits on Aug 20, 2019

• java-backend: Variable.equals() is now based on name and sort (#687)

  Show description for 2ced6b6
  

  denis-bogdanas

  authored and

  ehildenb

  committed
  2ced6b6

  Copy full SHA for 2ced6b6

Commits on Jul 23, 2019

• systemResult as symbol and label (#632)

  Show description for 0fdaeb2
  mickyabir

  authored
  0fdaeb2

  Copy full SHA for 0fdaeb2

Commits on Jul 4, 2019

• Non-recursive and recursive macros, plus macros applied to tokens. (#592)

  Show description for dadcda0
  

  dwightguth

  authored
  dadcda0

  Copy full SHA for dadcda0

Commits on Jul 3, 2019

• KBMC (#545)

  Show description for 1875e28
  

  yzhang90

  authored and

  dwightguth

  committed
  1875e28

  Copy full SHA for 1875e28

Commits on Jun 26, 2019

• Initial support for set variables (#571)

  Show description for 66945cf
  

  traiansf

  authored and

  ehildenb

  committed
  66945cf

  Copy full SHA for 66945cf

• java backend: Partial work on automaton for spec rules (#542)

  Show description for a35cfaf
  

  denis-bogdanas

  authored and

  ehildenb

  committed
  a35cfaf

  Copy full SHA for a35cfaf

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 17, 2019

• bug of `in` operator in java backend (#549)

  Show description for d18447c
  

  QianyangPeng

  authored and

  ehildenb

  committed
  d18447c

  Copy full SHA for d18447c

Commits on Jun 12, 2019

• java backend: enabling refactorings for spec automaton (#541)

  Show description for 573112b
  denis-bogdanas

  authored
  573112b

  Copy full SHA for 573112b

• More KRead stuff, plus renaming KoreParser (#540)

  Show description for 121d8e1
  

  gtrepta

  authored and

  ehildenb

  committed
  121d8e1

  Copy full SHA for 121d8e1

• Better error message for unsupported #as patterns in Java backend. (#533)

  Show description for 4f11031
  ehildenb

  authored
  4f11031

  Copy full SHA for 4f11031

Commits on Jun 11, 2019

• kprove: refactoring. Renamed and moved spliceModule() to actual specification steps in each backend, where it belongs. (#526)

  

  denis-bogdanas

  authored and

  ehildenb

  committed
  e8210a4

  Copy full SHA for e8210a4

Commits on Jun 4, 2019

• Fixes regression involving function context (#514)

  Show description for 98fafd9
  

  dwightguth

  authored
  98fafd9

  Copy full SHA for 98fafd9

Commits on May 31, 2019

• Statelog reachresults for reporting the unreached terms (#504)

  Show description for 85c07f4
  ehildenb

  authored
  85c07f4

  Copy full SHA for 85c07f4

Commits on May 30, 2019

• java-backend/{JavaExecutionOptions,StateLog,InitializeRewriter}: emit SEARCHREACHED events (#503)

  ehildenb

  authored
  177a16e

  Copy full SHA for 177a16e

Commits on May 28, 2019

• Fix bug involving fresh functions and top sort in ocaml backend (#489)

  Show description for a0b6ba5
  

  dwightguth

  authored
  a0b6ba5

  Copy full SHA for a0b6ba5

Commits on May 23, 2019

• Java Bachend engine: improvements to ConjunctiveFormula.simplify() (#473)

  Show description for 6cb3a1c
  denis-bogdanas

  authored
  6cb3a1c

  Copy full SHA for 6cb3a1c

• Java Backend builtin map: fixed map.removeAll when attempting to remove symbolic elements (#465)

  Show description for 1f54001
  denis-bogdanas

  authored
  1f54001

  Copy full SHA for 1f54001

Commits on May 16, 2019

• Resolve interaction between macros and function context (#477)

  Show description for 03ba782
  

  dwightguth

  authored
  03ba782

  Copy full SHA for 03ba782

Commits on May 15, 2019

• Java Backend engine: Fixes required to make Bottom a valid RHS of Substitution (#468)

  Show description for 957f832
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  957f832

  Copy full SHA for 957f832