JK
Is this still active? There are several bugs in the python3 blink1 module from pypi that are fixed in this repo. Will there be an update in pypi?
Well the bugs I mean are all fixed in this repo. All that would be required is to update your repo with the contents of this one or use this...
I would add `-d` to the default Debug profile in Optimization.
> > I would add `-d` to the default Debug profile in Optimization. > > gprbuild's `-d Display compilation progress`? If yes, then it's not a compiler option, so outside...
I tried to reproduce the issue with the following spec: ```Ada package Test is type Element is mod 2 ** 8; type Message is message E : Element; end message;...
One problem with this behavior is that it prevents the proof of the remaining unit. To work around this maybe a ghost variable with an assume can be used in...
After an offline discussion we came to the conclusion that we cannot prove that the private part of a context is unchanged after a platform function call. This change could...
I updated **O2**.
If we move the operator definitions to the child package I think we will get errors in the currently generated code as it doesn't know about the operators and therefor...
This spec reproduces the problem: ```Ada package Test is type Message is message Data : Opaque; end message; generic Channel : Channel with Writable; with function Get_Message return Message; session...