Cole Vick

Add exporting only pattern as PDF

10

Hi, I opened issue #1756 because I wanted to print only the pattern into a PDF without any of the extra information that is normally provided by "Export PDF". These...

Export only pattern in Visualize and Export > PDF Export?

3

I was wondering if there's a way to export the realistic view of a pattern without the extra information provided in the PDF Export tool. All I really need is...

Any interest in reading in BX format?

11

Hey, I just found out about the BX format that Embrilliance [uses](https://embrilliance.com/bxlist). I was wondering if there was any plans for pyembroidery to read in BX files and produce the...

SVG to PES

6

I think I saw a previous issue where this was shown, but I can't find it again. I remember that it involved some code that @tatarize had previously written for...

Getting Coverage information without calling the command line

3

### Component Other (please describe) ### Describe the feature you would like Feature: Getting coverage information from anywhere by attaching a `CoverageInspector` to the `Executor`. I'm trying to find coverage...

Substituting Function Symbols without providing Interpretations

3

I was wondering if I have a large term `phi` that contains an FNode like: ``` lhs = Read(Write(client-1, x-1, False) Y-1) ``` and I want to rewrite the whole...

Replicating Daedaluzz Benchmarks

2

Hey, I was wondering if there are any scripts for replicating the Daedaluzz and Verismart benchmark results with. I've tried running ityfuzz on one of the Daedaluzz benchmarks, but I...

### Description of changes: Adds 58 Bolero harnesses and all necessary `TypeGenerator` derivations. These harnesses were automatically generated by a tool currently under development by the Kani team. Summary of...

Disable Divide by 0 Checks for Floats

4

Proposed change: Remove divide by 0 checks for floating point numbers, as they are [well-defined in Rust](https://doc.rust-lang.org/std/primitive.f32.html)? A similar change for +/- Inf was made in [this PR](https://github.com/model-checking/kani/pull/3162). Motivation: This...