Commits

Breadcrumbs

History for

onwithConfig2

User selector

All users

All time

Commit History

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

• Java Backend log: indent logs generated during function evaluation (#417)

  Show description for 62106fc
  denis-bogdanas

  authored
  62106fc

  Copy full SHA for 62106fc

Commits on Apr 20, 2019

• java-backend: refactoring: removed Rule.global (#412)

  Show description for 9b1c1eb
  denis-bogdanas

  authored
  9b1c1eb

  Copy full SHA for 9b1c1eb

Commits on Apr 18, 2019

• java-backend: cleanup (#410)

  Show description for db6c1c9
  denis-bogdanas

  authored
  db6c1c9

  Copy full SHA for db6c1c9

Commits on Apr 17, 2019

• utils & java-backend: refactoring. 1. added method formatTraceFrame() (#409)

  Show description for f824862
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  f824862

  Copy full SHA for f824862

Commits on Apr 15, 2019

• Java Backend log: --log-func-target, more KItem and global logs (#402)

  Show description for 934bafd
  denis-bogdanas

  authored
  934bafd

  Copy full SHA for 934bafd

Commits on Apr 8, 2019

• Strategy language updates (#393)

  Show description for 08dd712
  

  ehildenb

  authored and

  dwightguth

  committed
  08dd712

  Copy full SHA for 08dd712

• generate explicit projections for outer casts (#395)

  Show description for 9f5bba3
  

  dwightguth

  authored
  9f5bba3

  Copy full SHA for 9f5bba3

Commits on Apr 5, 2019

• Java backend engine bugfix: Resetting constraint at the beginning of each step (#397)

  Show description for a1fc7e4
  denis-bogdanas

  authored
  a1fc7e4

  Copy full SHA for a1fc7e4

Commits on Apr 4, 2019

• java-backend/Z3Wrapper: cleanup. Removed unused loop, considering whole z3 output as result, not swallowing any content. (#390)

  denis-bogdanas

  authored
  c1b1759

  Copy full SHA for c1b1759

• java-backend profiler: counters for exit points for function/anywhere evaluation (#382)

  Show description for c8c8ddc
  denis-bogdanas

  authored
  c8c8ddc

  Copy full SHA for c8c8ddc

Commits on Mar 29, 2019

• java-backend/FastRuleMatcher: output failing symbolic maps instead of silent failure (#375)

  ehildenb

  authored
  94d293d

  Copy full SHA for 94d293d

Commits on Mar 28, 2019

• Java Backend logging: Option --log-success-pc-diff & better ConjunctiveFormula logging (#372)

  Show description for 4c82fae
  denis-bogdanas

  authored
  4c82fae

  Copy full SHA for 4c82fae

Commits on Mar 27, 2019

• Profiler2: initialize time entries regardless of option --verbose. Required to print the summary box when Exception is thrown. (#370)

  denis-bogdanas

  authored
  6e7645a

  Copy full SHA for 6e7645a

• Profiler2: made impliesSMTTimer non-static. Root cause of intermittent exceptions on Jenkins when using kprove+nailgun. (#371)

  denis-bogdanas

  authored
  ff7e546

  Copy full SHA for ff7e546

Commits on Mar 22, 2019

• Added smt-hook attribute (#365)

  Show description for 9e09af6
  traiansf

  authored
  9e09af6

  Copy full SHA for 9e09af6

• Java Backend exception handling: FastRuleMatcher: adding stack frames when exception is caught (#359)

  Show description for 815efa0
  denis-bogdanas

  authored
  815efa0

  Copy full SHA for 815efa0

Commits on Mar 13, 2019

• add z3 and rule application feedback functionality (#343)

  Show description for 5efe344
  

  mhhf

  authored and

  ehildenb

  committed
  5efe344

  Copy full SHA for 5efe344

Commits on Mar 12, 2019

• Global options: option --debug-warnings to print stack trace of warnings. Old option --debug now only prints stack traces of errors. (#344)

  denis-bogdanas

  authored
  4375ba0

  Copy full SHA for 4375ba0

• Java Backend: function cache fix for impure/freshVar (#354)

  Show description for 36ec12b
  denis-bogdanas

  authored
  36ec12b

  Copy full SHA for 36ec12b

• Invoke hook map update function when map is builtin and key is concrete (#290)

  yzhang90

  authored
  a1bccb2

  Copy full SHA for a1bccb2

• Java Backend: eliminating non-determinism in logs. Sorting rules so that they always appear in collections in the same order, to eliminate non-determinism when running same task in different enviro…

  Show description for 2a0ec31
  denis-bogdanas

  authored
  2a0ec31

  Copy full SHA for 2a0ec31

• fix regression in K-IO on java backend (#355)

  

  dwightguth

  authored
  e518d1a

  Copy full SHA for e518d1a

• Java Backend: move options chaining logic to InitializeRewriter. Makes them available to all tools, from initialization phase. (#351)

  denis-bogdanas

  authored
  05201d9

  Copy full SHA for 05201d9

Commits on Mar 8, 2019

• Machine Int (bit-vector) semantics of left shift operation. (#253)

  Show description for b0e7922
  

  sdasgup3

  authored and

  dwightguth

  committed
  b0e7922

  Copy full SHA for b0e7922

Commits on Mar 7, 2019

• Java backend: memory profiling (#332)

  Show description for b71285e
  denis-bogdanas

  authored
  b71285e

  Copy full SHA for b71285e