Simon Felix

Put "fat" JAR on a diet?

2

This is a low-priority feature request. GitHub limits individual file sizes by default to 100MB. Because we commit the fat JAR to our GitHub repo (yes, I know...), its size...

Cannot compare Int to UInt32

1

The following code fragment does not validate. ``` import stainless.math.BitVectors._ import scala.language.postfixOps object Constants { val CONSTANT = 4096 * 64 } case class Test() { def x(x: UInt32): Unit...

This is a problem when running Stainless on Windows in watch-mode. It appears that Stainless might keep file handles open for longer than strictly necessary. This is problematic, as files...

I have a scatterplot of randomly sampled algorithm configurations:  It's difficult to see what happens with all the closely aligned points at the left. To better understand where the...

TF Lite: Encountered unresolved custom op: ´`{..

3

Tested with Emgu.TF.Lite 2.4.0.1059. Loading [segm_full_v491.zip](https://github.com/emgucv/emgutf/files/5580735/segm_full_v491.zip) in a .NET 3.1 Core WPF app with `new Interpreter(new FlatBufferModel("segm_lite_v509.tflite")).AllocateTensors();` results in the following exception, with varying random characters for the custom op:...

I cannot use Disasmo in my solution, because of build failures in a referenced VC++ project: ``` MSBuild version 17.9.8+b34f75857 for .NET Determining projects to restore... Restored C:\Users\de\Source\my-awesome-project\CTP1bLibrary\CTP1bLibrary.csproj (in 373...

Quote paths correctly to fix problems with paths containing spaces

1

The current release fails when invoked from paths that contain spaces, because the current path was not escaped. This PR adds quotes around the current path