Code

Cache randomization calls#175

Code

Open

alwilson wants to merge 13 commits intofvutils:masterfvutils/pyvsc:masterfrom alwilson:rand_cachealwilson/pyvsc:rand_cacheCopy head branch name to clipboard

+419-203

Commits

Commits on Mar 8, 2023

• Cache randomization variables and reuse on next call; Minor doc fixes

  Show description for ef519e3
  alwilson

  committed
  ef519e3

  Copy full SHA for ef519e3

• Drop randomization cache key to mitigate Boolector model slowdown

  Show description for 5819bb9
  alwilson

  committed
  5819bb9

  Copy full SHA for 5819bb9

• Fix randomization caching on with constraints

  Show description for f69d692
  alwilson

  committed
  f69d692

  Copy full SHA for f69d692

• Modify call_hash to use obj ids and mode bits; Cache inspect frame

  Show description for e1eb908
  alwilson

  committed
  e1eb908

  Copy full SHA for e1eb908

• Fix re-randomizing unconstrained variables

  Show description for ba1e85c
  alwilson

  committed
  ba1e85c

  Copy full SHA for ba1e85c

• Fix FieldArrayModel accesses; Dist constraint caching; Misc cleanup

  Show description for 01800dc
  alwilson

  committed
  01800dc

  Copy full SHA for 01800dc

• Reorder set_val calls in post_rand; Add non-rand values to call_hash

  Show description for 0627b6b
  alwilson

  committed
  0627b6b

  Copy full SHA for 0627b6b

• Disable randomize cache for GeneratorModel; Another PrettyPrint change

  alwilson

  committed
  5d693a1

  Copy full SHA for 5d693a1

• Fix pre_rand issues and add unit test; Minor cleanup

  Show description for b610af8
  alwilson

  committed
  b610af8

  Copy full SHA for b610af8

• Add cache_enabled bit

  alwilson

  committed
  8841f32

  Copy full SHA for 8841f32

• Skip caching on dist constraints; Comment cleanup

  Show description for de3eca3
  alwilson

  committed
  de3eca3

  Copy full SHA for de3eca3

• Add min num of calls before caching; Change FieldArrayModel caching hack

  Show description for c22f9a0
  alwilson

  committed
  c22f9a0

  Copy full SHA for c22f9a0

• Add initial rand seed to call hash string

  Show description for cc0f365
  alwilson

  committed
  cc0f365

  Copy full SHA for cc0f365