Alex Wilson

[proposed bug] SSL partial write causing distorted image

1

Important things first, setting up HTTPS and password protection worked like a charm and I have really enjoyed using this project. Thank you! After enabling SSL I have noticed that...

Random distribution of 2-variable constraints not uniform

10

[ Using pyvsc-0.7.6 ] I've been curious about how uniform the random distributions for SV and pyvsc constraints are and cooked up some 2D examples to help visualize the distribution...

slang-netlist: isKind assertion on code using an interface

2

**Describe the bug** Running `slang-netlist` on code using an interface results in a segfault (Release) or an assertion `'T::isKind(kind)'` (Debug). ```cpp Assertion 'T::isKind(kind)' failed in file /home/alex/git/slang/tools/netlist/../../include/slang/ast/Symbol.h, line 208 function:...

Solve order of randsz_list_t size constraints within foreach incorrect [v0.8.8]

5

I was looking into adding a randsz_list_t example to the docs and I think I ran into a bug with size constraints within foreach loops. Also I had fun digging...

Calling the sum constraint after the size constraints seems to work well, which I think is due to the size being solved in a RandSet before the sum RandSet. Calling...

Cache randomization calls

4

Adds a cache of the objects generated by a do_randomize/randomize calls (VariableBoundVisitor, RandInfo, Randomizer, field_model_l, constraint_l, Boolector, and Boolector expressions) keyed on a string consisting of: randstate obj ID, PrettyPrintModel...