Mark T. Tomczak

Proof checker cannot collapse constant arithmetic

4

Fact: (outIdx + 2) < 400 What I expect: outIdx < 400 is provable Observed: "cannot prove "outIdx < 400": failed at (...). Facts: [. . .] (outIdx + 2)...

"Find Blobs" doesn't expose convexity or inertia parameters

1

The "Find Blobs" operation lacks attachment for convexity or inertia parameters, and therefore uses the defaults from OpenCV (filterByInertia=true, minInertiaRatio=0.1f, maxInertiaRatio = MAX_FLOAT ; filterByConvexity = true; minConvexity = 0.95f;...

It is possible to hang Shuffleboard by setting Graph Update Rate too high

1

**Describe the bug** If the Graph Update Rate is set too high in the Base Plugin, Shuffleboard hangs and the preferences tab cannot be accessed again. The resulting error is...

Symbol parsing caps out at 32 characters

1

If the size of a symbol exceeds the `SBOLSZ - 1` limit (https://github.com/camsaul/nesasm/blob/master/source/symbol.c#L57), reading more characters for the symbol silently bails. This can cause aliasing of symbols if `really_very_surprisingly_long_name` and...

LabVIEW driver does not expose accelerometer data

1

Compared to the set of functions available on the Java driver's API (https://github.com/juchong/ADIS16448-RoboRIO-Driver/blob/master/java/src/main/java/com/analog/adis16448/frc/ADIS16448_IMU.java), the LabVIEW driver's API is missing instantaneous accelerometer values for X, Y, Z. (I'm happy to look...