Commits

Breadcrumbs

History for

onwasm-coverage

User selector

All users

All time

Commit History

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

• Java Backend error logging: KILtoSMTLib error message improved (#471)

  denis-bogdanas

  authored
  1f3fbf4

  Copy full SHA for 1f3fbf4

• Java Backend: NPE fix (#469)

  Show description for 6268e85
  

  denis-bogdanas

  authored and

  ehildenb

  committed
  6268e85

  Copy full SHA for 6268e85

• Java Backend log: properly printing all cells when there are multiple cells with the same name. (#472)

  denis-bogdanas

  authored
  4b33f2e

  Copy full SHA for 4b33f2e

• Java Backend krun: step logging (#447)

  denis-bogdanas

  authored
  ae65bb5

  Copy full SHA for ae65bb5

Commits on May 10, 2019

• Java Backend: ConjunctiveFormula.toString custom: include truth value when false. (#448)

  Show description for cb91271
  

  denis-bogdanas

  authored and

  ehildenb

  committed
  cb91271

  Copy full SHA for cb91271

• don't add hook attribute or hooked- prefix to unknown hooks (#460)

  Show description for 1328e72
  

  dwightguth

  authored and

  ehildenb

  committed
  1328e72

  Copy full SHA for 1328e72

Commits on May 2, 2019

• Adding parseKAST tests (#424)

  Show description for 737c5f0
  

  radumereuta

  authored and

  dwightguth

  committed
  737c5f0

  Copy full SHA for 737c5f0

Commits on Apr 30, 2019

• Java Backend: refactorings & tests for spec rule application (#438)

  Show description for de3174e
  denis-bogdanas

  authored
  de3174e

  Copy full SHA for de3174e

• Java Backend: Minor refactorings (#434)

  Show description for 20b86e1
  denis-bogdanas

  authored
  20b86e1

  Copy full SHA for 20b86e1

• Java Backend error logging: adding stack trace with conjunctive formula in case or Z3 error. (#435)

  denis-bogdanas

  authored
  0b7464e

  Copy full SHA for 0b7464e

Commits on Apr 24, 2019

• Io extras (#403)

  Show description for bb35c45
  radumereuta

  authored
  bb35c45

  Copy full SHA for bb35c45

Commits on Apr 22, 2019

• Java Backend log: Log target formula for final implication and spec rules (#419)

  Show description for 860a2d9
  denis-bogdanas

  authored
  860a2d9

  Copy full SHA for 860a2d9

Commits on Apr 21, 2019

• Java Backend performance: introduced KItem.evaluatedRecursively (#416)

  Show description for eb4711a
  denis-bogdanas

  authored
  eb4711a

  Copy full SHA for eb4711a

• Java Backend log: option --log-func-eval, renamed from --log-func-target (#418)

  denis-bogdanas

  authored
  5ceff0f

  Copy full SHA for 5ceff0f